4/25に、Proof Cafe (栄)に参加してきました。 Coq 初体験。 最初は、id:yoshihiro503 さんから資料に沿って Coq の解説が。 Vernacular が分かれば Coq が分かる？ Coq のファイルの拡張子は .v Checkで 型を調べる。 ガリナ(Gallina)：ラムダ式 nat : 型を…

4/24に、第22回 名古屋アジャイル勉強会に参加してきました。 今回は、「テスト駆動開発体験ワークショップ」。 ワークショップ 自分は環境持ってなかったけど、C#がやってみたかったのでC#組に参加。 id:bleis-tift と、biacさんと。環境は bleis の VS 200…

4/16に、第6回名古屋Scala勉強会に参加してきました。 15章の途中までしか見直せてなかったけど、何とかなった。 てか、15章の後半はサンプルで、特に突っこみもなかった。 13章 パッケージとインポート インポートするときにメンバーの名前を変えたり、隠し…

4/14に、名古屋アジャイル勉強会 分科会「『アジャイルな見積りと計画づくり』読書会」 第1回に参加してきました。 1章 計画の目的 アジャイル ドキュメント・計画いらない？ ↑必要。計画はコミットメントではない。ドキュメントは必要に応じて作成。 アジャ…

. こわい。 > ((.) . (.)) succ (+) 1 2 4 > ((.) . (.)) length (++) "hoge" "piyo" 8 > ((.) (.)) (+) 1 succ 2 4

Scala の for を Haskell の do みたいに使ってみる。 Haskell f :: Maybe Int -> Maybe Int -> Maybe Int f am bm = do a <- am b <- bm let c = a + b return (2 * c) > f (Just 3) (Just 1) Just 8 > f Nothing Nothing Nothing > f (Just 3) Nothing Not…