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

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