自己紹介自己紹介的なリソースがあると分かりやすいという事で書いてみる事にしました。 名前。坂口和彦。pi8027 などと名乗っている時もあります。1992年生まれ。 普段は大体プログラムとか書いているようです。高2の夏のアルバイトで Haskell を教えられてからλ教徒に。 その前は C を良く書いていたようです。あとは Scheme も書いていましたが、一応使える程度であまり手に馴染まず。 Agda は厳密さも依存型の強力さもモジュールシステムもどれを取っても好きですが、強力過ぎるが故に何も書けないのが残念です。もっと書けるようになりたい。 OCaml は言語としても速度の面でもそれなりに良いのが好きです。モジュールシステムも分からないなりに素敵な感じがします。しかし書いてみるとライブラリへの不満が大きい。 PostScript は遊びとしては楽しめます。動的に命令列を生成できるのがとても良い
