実用期を迎えた関数プログラミング

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

準クォートでdslパーサとソースを埋め込む。 #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

型安全:　代数データ型でルーティング。アプリ内ではリンク切れ無し。 #seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

Warp高速なHTTPサーバー　#seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

型安全URL。テンプレート+型検査。 #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

コンパイルが通ればだいたい思い通りに動く。これは大事だなあ。 #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

yesod:フルスタックWebアプリケーションフレームワーク。高速で安全。 #seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

動物本も出ます。Yesod　#seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

Yesodとは何か。　フルスタックの。Webアプリケーション　とっても安全・とっても高速 #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

次はパネルディスカッション。まずは @kazu_yamamoto のyesod。 #seaforum0305

suzuki shingo @giantneco

hmm 関数型プログラミングが実用的かはまだちょっと疑問がある。設計とかテストとか。今日聞ければいいけど #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

coq無料チュートリアルが。素晴らしい。 #seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

手続き型のサンプルコードにバグがありました。やっぱり関数型ですね。という良いオチ　#seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

関数プログラミングは実績あり！ #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

d-bus<->jsonを証明&自動生成！ #seaforum0305

kmizu @kmizu

Coqを用いて、JSONで記述された要求で全てのD-BUS操作が可能な事を証明した事例(in ITプランニングさん) #seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

形式手法とは、数学的に厳密な手法を用いて開発を支援する手法　#seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

coqからocaml,haskellコードを自動生成 #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

coqによる証明 #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

関数プログラミングと形式手法は相性がいい！ #seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

形式手法とのつながり。 #seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

「プログラミングの基礎」買ったけど読む前になくした(´；ω；｀) #seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

代数データ型の利点。共用体の中身の種類を判別できる。守らなければいけないお約束が減らせる。木構造のような場合分けが或るようなデータ構造を簡潔に記述できる。　#seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

nullが勝手に意図せぬ別の処理に入り込むことがないはず。　#seaforum0305

極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda

網羅性の確保による安全性。 #seaforum0305

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

Option型、HaskellならMaybeか #seaforum0305