CUFP 2011 Tokyo のお知らせ - camlspotter’s blogC.U.F.P. (Companhia União Fabril Portuense) 関数型言語の国際会議 ICFP の今年の開催地は東京です。ICFP のアジアでの開催は初めてですね。F# も正式にリリースされましたし Haskell も Haskell Platform が立て続けに出てます。Coq や Agda などの依存型の言語ユーザも増えてきました。(OCaml もひっそりと順調にバージョンが 3.11 から 3.12 にあがりました。) (OO 寄りの Scala とか型の無い言語は僕よくわかりませんごめんなさい。触れてない型付関数型言語ユーザの方もごめんなさい。) そんな訳で関数型言語界隈はこのごろ活気付いています。 2011年は日本における関数型言語ブレイクの年になるか？なると嬉しいなあという方にお知らせです。 ICFP 2011 に併設されて CUFP workshop
