2017年が終わりそうなので、今年の振り返りと来年の目標（のようなもの）を設定しておこうかなと思います。 特に深い意味はなくて、雑でもいいからなんか書いておいたほうが思い出せるし、自分へのプレッシャーになって良いかなあと考えた次第です。 コンピ…

Idrisは超ざっくり言うと文法はHaskellにそっくりで機能的にはCoqに近い、依存型を使う言語です。Idris自体の簡単な紹介は前に書いたスライドがあるので、興味がある方はそっちを読んでみてください。 yoda-jp.hatenablog.com 今回は Type Driven Developmen…

プログラミング言語Idrisの勉強会をやりました。 テーマを勢いよく選んだあとConnpassのイベントページを作りながら「これ参加してくれる人いるのだろうか…？」と不安になっていたのですが、定員いっぱいまで申し込みがあり、更に参加率も非常に高く、非常に…