Esko Luontola
My name is Esko Luontola and I'm a test-infected programmer. I also do interaction design using GUIDe+GDD. On this site you can find: My contact information Some of my side projects Screencasts about software development techniques, especially TDD Collection of useful links for developers on programming techniques
Type-Driven Development with Idrisの読書会をやっています - たけぞう瀕死ブログ
社内で4月から週一でType-Driven Development with Idrisの読書会をやっています。 Type-Driven Development with Idris 作者: Edwin Brady出版社/メーカー: Manning Pubns Co発売日: 2017/04/07メディア: ペーパーバックこの商品を含むブログを見る 今年のScalaMatsuriで@cbirchallさんにオススメされたのがキッカケなのですが、依存型（Dependent Type）を使って変態的なことがいろいろできるという話を聞いて面白そうということで有志（いまのところ6人くらい）で集まって緩く読み進めています。 ようやく2章の中盤に差し掛かったところなのでまだ先は長そうですが、1章でIdrisの概要をウォークスルーしたのでIdrisの思想やIdrisでのプログラミングのお作法のようなものが
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
