「なぜ関数プログラミングは重要か」を要約してみた（その１） - Okapies' Archive

2015/12/06 189 users Okapies archive 関数プログラミング 利点 論文

2015-12-07 「なぜ関数プログラミングは重要か」を要約してみた（その１） Programming Scala 関数型プログラミング (functional programming) の利点を説く際によく持ち出されるのが、QuickCheck の開発者の一人である John Hughes が 1984 年に著した論文 "Why Functional Programming Matters" ... 続きを読む

たのしいHaskellのツールチェインとC++ - 純粋関数空間

2012/07/20 40 users Haskell ツールチェイン テストフレームワーク パク

というタイトルで、先日、社内の公開セミナーで話しました。 発表資料はこちら。 Haskellのテストフレームワークとベンチマークフレームワークがよくできているので、 これをC++でも使えるんじゃないかという内容です。 概要 背景として、QuickCheck をもっと多くの人に知って/使って貰いたいというのがあります。 QuickCheckは、普段から使っている人間からすると、よくいろいろなバグを拾... 続きを読む

yaakaito のためのHaskellコードの読み方 · yaakaito/NLTQuickCheck Wiki · GitHub

2012/05/20 40 users GitHub yaakaito Haskell int 変数

どの道実装の為にオリジナルのQuickCheckのソースを読むことになるので、ざっくりとした Haskell のコードの読み方を書く 関数宣言 Haskell には変数もオブジェクトも無く、あるのは関数のみ x = 10 -- 名前つき関数xは呼び出した結果 数値型(Num a) 10 を返す x = 20 -- 再代入はできない。コンパイルエラーとなる y :: Int -- (関数名)::(型... 続きを読む