第6回スタートHaskell2
.@hiratara @xuwei_k 1階に @brain_apple さんが着いたので迎えに行っていただけますか?次に遅れた方が来たときは @brain_apple さん、お願いします。 #start_haskell
2012-11-18 13:15:38#start_haskell newtype って1つの型に同一のクラスの別インスタンスを与えられるものと捉えてもいいのかあ。
2012-11-18 13:27:48@koie import Data.Monoid してないってだけではないでしょうか? こちらは同じバージョンですがうまく行ってます。 #start_haskell
2012-11-18 13:29:16複数の条件で比較するときにOrderingがMonoidであることは便利、と。#start_haskell
2012-11-18 13:33:51newtypeとdataとでundefinedのときの挙動が違う話、どちらもコンストラクタは呼ばれてる(実際にCoolBool構造体?がメモリ上に置かれる)がスロット値のundefinedがlazyになってるかどうかが違うという理解でいいん? #start_haskell
2012-11-18 13:36:44#start_haskell foldlはfoldrで定義できるよ、ってkazu_yamamotoさんがおっしゃってたはず。
2012-11-18 13:53:11(++) <$> take 2 . drop 1 <*> take 1 . drop 18 $ [1..20] → take 2 . drop 1 <> take 1 . drop 18 $ [1..20] おー。#start_haskell
2012-11-18 13:57:26今日のLT資料をあらかじめアップロードしました http://t.co/8fZEuUc8 #start_haskell
2012-11-18 14:01:30半環は計算量をめっちゃ減らしてくれることがあるらしい see semi ring fusion #start_haskell
2012-11-18 14:06:06#start_haskell Num aはMonoidと違って(*)と(-)も定義しなくていい!
2012-11-18 14:09:15