2013-01-01から1年間の記事一覧
idris-0.9.10 がリリースされたのでちょっと触ってみた。http://www.idris-lang.org/idris-0-9-10-released/ 証明付き型クラス 以前の idris では下のツイートのようなことはできなかったのですが、できるようになっていました。 型クラスを実装するときに、…
最近巷で話題の Idris (依存型を持つ純粋関数型言語)ですが、この Idris にも vim と emacs のプラグインがあります。 idris-vim vim の idris-mode です。Idris のメイン開発者である Edwin Brady さんも開発に加わっています。 リポジトリ Edwin Brady さ…
参照: http://cp.reddit.com/r/haskell/comments/1ozukp/anyone_running_ghc_763_on_osx_mavericks/ Xcode 5 が clang を使っていて gcc4.2 を提供しなくなったせいらしい。 clang に対応している GHC7.8 が出るまで待つか GHC HEAD を使えばいいらしいけど…