「関数プログラミングの集い」に参加

2011/09/17日にIIJにて開催されたので、行ってきました。
資料のリンクはこちら。参加人数はPARTAKEでは170人くらい参加だったそうです。
びっくり。

OCaml,Haskellerばかりのイベント?だと思ったので、Scalaユーザは少ないかな？
と思ったんですが、使っている言語ランキングは２位でした。意外と使われているんですねぇ。

あと、結構本を書いている人とか、名前を知っている人とかが来ていたし、
懇親会で話をしていると知識が豊富だなぁ〜と思って、まだまだだと実感。
最後にコップ本争奪じゃんけん大会があったんですが、さっくり負けてしまいました。
ちゃんとamazonでクリックします。

こういう勉強会に参加すると自分はまだまだだなと再認識されますね。
日々精進です。

以下各発表を簡単に

関数プログラミングの道しるべ

関数プログラミングについて簡単と。
関数型プログラミングの定義が統一はされていないため、言語によって異なる。
「世界で最も誤解されているプログラミング言語」→JavaScript。Scheme,Lispに近い。

モナドについて

モナドの説明について聞いてみたが、いまいちぱっとわからない。doのシンタックスシュガーがあるのはわかったけど。

ITプランニングにおける関数プログラミング

OCaml, GAE + Scala(Lift) ,haEx + OCaml + Coq, F#(Windowサーバのため）,Androidアプリ(Scala)
枯れていない言語の採用って客の信頼を得ていないと無理だよねぇ。
影響がないところから、関数型で成功していけば、自ずと。

COBOL meets Haskell ～ Haskellを用いたCOBOLのリバースエンジニアリングツールの開発事例

昔のデファクト言語COBOLの設計書を作る。
strafunski、sglr,Haskellを使って、COBOLのバイナリを解析し、ロジックを解析し、
変数名、関数名などを日本語に変換していく。
日本じゃまだHaskellerはいないため、インド人を引っぱってくる。

言語アップデート1

• scala
• 2.9についてざーっと説明
• 並列コレクション
• I/O プロセス処理(scala.sys.process)
• scala Dynamic ( method_misingみたいなもの)
• Unfilterd, BlueEyes
• Scalaz
• Clojure
• Clojure1.3リリース
• ClosureScript(node.jsも対応）
• Clojure on Heroku
• git push
• Clojure ハッカソン
• Tokyo.clj
• Erlang
• サーバプログラミングフレームワーク
• 軽量プロセス
• 末尾再帰でホットアップデート
• エラー処理はlet it die
• emacsが今のところいいエディタ
• rebar,Dialyzer,Typer,Tider,QuickCheck,Erjang,riak
• Haskell
• GHC7.2x
• Hackage 、Yesod vs Snap,enumerator,attoparsec, blaze-builder , text
• F#
• 型プロバイダ、クエリ式、シーケンス
• 既知の外部リソース(SQLServer)に適切に型をつけてくれる。
• Null許容型演算子の追加。追加の仕方が結構泥臭い。
• 自動実装プロパティ
• SML#
• grassを作った人
• 目的はMLを普通の言語にすること。実用的な言語
• OS,Cライブラリと直接i連携、すべてネイティブ
• SQLの統合、分割コンパイル、
• Cの関数はimportすれば使える。コールバックも使える。
• 関係、演算、クエリも第一級
• 分割コンパイル
• smi,smlをもとにコンパイル。バイナリはCと同じため、Cとリンクができる。
• OCaml
• OCaml ver.3.12.0
• First Class Module
• TypeSafe Plugin
• シグネチャーの合成
• 一般化代数的データ型
• OCSIGENのサイト。
• webframework oscigen server, js_ocaml

LT

• Coq
• Coq
• 定理証明支援言語
• 証明駆動開発
• F#
• F#はREPLのスクリプトファイルがある。
• 
  
• Paraiso計画
• 宇宙物理のシミュレーション計算にHaskellが利用
• 未だにFortranの遺産が沢山。