実用期を迎えた関数プログラミング
ユーザースレッドに関してerlangについて?→erlangはユーザープロセス。状態共有しない。フォールトトレラント狙い。haskellは軽量なユーザースレッド。 #seaforum0305
2012-03-05 16:48:51Haskellのデバッグ。代数データ型は表示形式=リテラル表記。コピペで試せる。IO分離。pure部分は不変条件が見えやすい。そこでランダムテスト。副作用はprintデバッグ。ランダムテストは上手くないっぽい。 #seaforum0305
2012-03-05 16:41:55事前条件が怪しい時のデバッグ→(酒匂氏)事前条件を明示しているから事前条件の間違いに気付くことに繋がる。(佐原氏)事前条件に関して証明課題が生成される。 #seaforum0305
2012-03-05 16:38:41デバッグについて。手続き的パラダイムとは違う。→(酒匂氏)信頼性のある部品を組み合わせる。記述量を減らすことでバグを減らせる。 #seaforum0305
2012-03-05 16:34:25仕様記述は難しいが、全部記述するのか?→API層を一通り書くことが大事。 #seaforum0305
2012-03-05 16:29:01VDMの国内事例:フェリカチップ、証券バックオフィス、FA意味記述。 #seaforum0305
2012-03-05 16:24:16暦の仕様の上に曜日の仕様。そのまた上に営業日の仕様。アルゴリズムは確定させなくても、このように積み上げていくことが可能。 #seaforum0305
2012-03-05 16:22:02関数プログラミング+不変条件を書くこともできる。型、関数本体、事前条件、事後条件。 #seaforum0305
2012-03-05 16:17:14例えば、rubyでパフォーマンスに悩んでる時などにscalaを検討するなど。 #seaforum0305
2012-03-05 16:08:26scalazはHaskell的。applicative、functor等。#seaforum0305
2012-03-05 16:04:42scalaを使うと、直接java資産を使えるし、関数プログラミングの標準ライブラリも使える。 #seaforum0305
2012-03-05 16:02:12unfiltered RESTフレームワーク。パターンマッチを使ったリクエストルーティング。 #seaforum0305
2012-03-05 15:59:44