fugafuga.write

日々のログ

2018-03-07から1日間の記事一覧

すごいH本 part79

Monoid 大集合 以下のような共通の性質をもつ関数が存在する。 関数は引数を2つとる 2つの引数および返り値の型はすべて等しい 2引数関数を施して相手を変えないような特殊な値が存在する ++ なら空リスト * なら 1 例: x * 1, "hoho" ++ [] 例 *Main> (3 * …

すごいH本 part78

newtype と 遅延評価 undefined という値がある。これは、ぶっ壊れた計算を表す。 この値を評価すると Haskell はすごく怒る。 *Main> undefined *** Exception: Prelude.undefined CallStack (from HasCallStack): error, called at libraries/base/GHC/Err…