タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

CUFPに関するnitro_idiotのブックマーク (1)

  • CUFP 2011 Tokyo のお知らせ - camlspotter’s blog

    C.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

    CUFP 2011 Tokyo のお知らせ - camlspotter’s blog
  • 1