The Mezzo programming language
What is Mezzo? (Description shamelessly stolen from a paper abstract). We present the design of Mezzo, a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory. A balance between simplicity and expressiveness is achieved by marrying a static discipline of permissions and a dynamic mechanism of adoption and abandon. More inform
函数プログラミングの集いに参加してきました - maoeのブログ
毎年、OCamlミーティングというイベントが開催されているそうなのですが、今年はICFPが東京で開かれることもあり、OCamlに限らない関数プログラミングのお祭りとして開催された「函数プログラミングの集い」に参加してきました。 参加者の使用言語の分布が知りたかったので、イベント当日にアンケートを採りました。180人程度の参加者のうち73人の方に協力していただきました。ありがとうございました。 気になる結果はというと、こんなふうになりました。 やはりHaskellユーザが多かったようです。 個人的に面白かったところは tanakhさんのモナドチュートリアルが実践的で良かった SML#とCの相互運用性の高さに驚いた OCamlのモジュールについて勉強したいなと思った などなどでした。 発表の資料は函数プログラミングの集い2011にまとまっています。ちょっと長すぎてみる気が起きませんが、Toge
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - lambdataro/fly2: fly2 は限定継続を実験するためのプログラミング言語です。
