第６回スタートHaskell2

DMスパマーに乗っ取られました @master_q

@brain_apple 自動ドア前まで来れれば、迎えに行けると思います。 #start_haskell

Seizan Shimazaki @seizans

.@hiratara @xuwei_k 1階に @brain_apple さんが着いたので迎えに行っていただけますか？次に遅れた方が来たときは @brain_apple さん、お願いします。 #start_haskell

りんご @aomoriringo

http://t.co/PgXy63jO モノイド #start_haskell

shin @shin16s

#start_haskell へぇ > 「`mappend`の別名として<>が使えるようになった（GHC 7.4から)」

鯉江 @koie

:t (<>)してもNot in scopeになった(ghci7.4.1)。なぜだ #start_haskell

hiratara @hiratara

#start_haskell newtype って1つの型に同一のクラスの別インスタンスを与えられるものと捉えてもいいのかあ。

hiratara @hiratara

@koie import Data.Monoid してないってだけではないでしょうか？ こちらは同じバージョンですがうまく行ってます。 #start_haskell

ssmylh @ssmylh

OrderingはSQLの order by ぽいなぁ。 #start_haskell

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

複数の条件で比較するときにOrderingがMonoidであることは便利、と。#start_haskell

鯉江 @koie

newtypeとdataとでundefinedのときの挙動が違う話、どちらもコンストラクタは呼ばれてる(実際にCoolBool構造体？がメモリ上に置かれる)がスロット値のundefinedがlazyになってるかどうかが違うという理解でいいん？ #start_haskell

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

どれかが成功していればそれを返す、のがFirstとLast #start_haskell

でこすけ @dekosuke

エア #start_haskell http://t.co/bgBeAgcy

鯉江 @koie

Foldable Treeのmappendの順番にされいげない配慮がひかります,の意味がわからん #start_haskell

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

#start_haskell foldlはfoldrで定義できるよ、ってkazu_yamamotoさんがおっしゃってたはず。

りんご @aomoriringo

本の例はinorderですよね http://t.co/A8CZj9HQ #start_haskell

rf @rf0444

(++) <$> take 2 . drop 1 <*> take 1 . drop 18 $ [1..20] → take 2 . drop 1 <> take 1 . drop 18 $ [1..20] おー。#start_haskell

DMスパマーに乗っ取られました @master_q

今日のLT資料をあらかじめアップロードしました http://t.co/8fZEuUc8 #start_haskell

🦀 @jwhaco

「皆さん、群って聞いたことありますよね」 #start_haskell

_ @apstndb

コンテナと型クラスとインスタンスを正確に区別するのは難しい #start_haskell

藤村 @ffu_

群論は高校数学ではやらないので、知らない人もいると思います。僕も一年前くらいまで知らなかったです。 #start_haskell

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

半環は計算量をめっちゃ減らしてくれることがあるらしい see semi ring fusion #start_haskell

_ @apstndb

Real World Monoid的な話．「doctestのエラー集計にMonoidが使われている」 #start_haskell

co1row.jp @co1rowjp

足せればいいんだ！掛け算とか引き算つかわねーし！→それはmonoidですね #start_haskell

YAMAMOTO Yuji （HN: すがすがC言語） @igrep

#start_haskell Num aはMonoidと違って(*)と(-)も定義しなくていい!

🦀 @jwhaco

やばい「Haskell なら FizzBuzz に割り算は必要ない」 #start_haskell