LambdaConf 2015に参加しました! :: Igreque -> Info

This is a Japanese tranlation of Attended LambdaConf 2015 in Boulder!. 5月22日から24日かけてアメリカのコロラド州、 Boulder（ボールダー1）にて開催された、「LambdaConf 2015」に参加しました！ なのでまた超今更の私的まとめです！ 知ったこと いろいろありましたが、以下のセッションに参加しました。 概要と感想は、私が居眠りしないでちゃんと参加できたものだけ書いておきます。 （残念ながら時差ボケにやられてしまったのです…） Day 1 Write Some Idris Idris入門。私にとっては依存型の入門でもありました。 面白かったのですが、詳細を聞き取れなかったせいもあってか、めちゃめちゃ難しかったです。 練習問題中の合間を縫って、まだ答えていない問題の答えを推測したりサンプルコードをいじった

[uehaj]

"Elmは思った通り簡単で強力でした。もっと使いたいなあ。"

[igrep]

またまた私的まとめエントリー、今度はLambdaConf 2015です。英語で書いてたのを訳しました！