第６回スタートHaskell2

_ @apstndb

関数型イカ娘本4th執筆者募集 http://t.co/2XFzZt4i #start_haskell

_ @apstndb

「mainをCで書くことでtext/data/bssセクションとリンクしているライブラリ数をダイエット．」#start_haskell

_ @apstndb

「GHCを退化していってダイエット．exitとかしないで良いや！GCしなくて良いじゃん！リスト型も自然数型も自作すれば良いじゃん！」#start_haskell

_ @apstndb

肉抜きしすぎたミニ四駆の様相を呈している #start_haskell

hiratara @hiratara

#start_haskell LTのスライドをアップしたとこ。 http://t.co/w1aDk9Uf

_ @apstndb

「SlimHaskell．Haskell側のコードは変えていない．ダミー関数の中身は全部空．exitしないし！タイマー使わないし！（ry」 #start_haskell

_ @apstndb

「ファイルロックするの？ロックしたことにすれば良いでしょ？」ひどいｗｗｗ #start_haskell

_ @apstndb

「動的リンクを全部無くすのがモチベーション」#start_haskell

_ @apstndb

「少しだけHaskell側の構文にもパッチが入っている．hs_initをいじるとstage2がコケるのでhs_init_slimを作った」#start_haskell

_ @apstndb

「モナド則はモナド作る人以外必要無いけど，すごいHaskellに書いてあるので気になる．詳しくはTypeclassopediaを読んでほしいのですが，第3法則は結合の>=>を使った方が説明しやすい．」#start_haskell

_ @apstndb

「両辺の型は違うが，モナド則はモナドがモノイドと同じような挙動をしてほしいという願い」#start_haskell

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

#start_haskell Monad則はMonadがMonoidみたいに>=>で結合できると便利だな、という期待、と。

_ @apstndb

QAで学ぶMonad - あどけない話 http://t.co/UnElGiVa #start_haskell

Connie @Slash_01

今日も濃かったなぁ。。#start_haskell

hiratara @hiratara

#start_haskell ひとまず全部動くようになったとこ。関手の合成がめんどくさいなあ。 https://t.co/RbAcy5uj

鯉江 @koie

まとめました： 第６回スタートHaskell2 http://t.co/iIP1nSMj #start_haskell

saltheads @saltheads

帰り道読んでる。QT @igrep: @apstndb: QAで学ぶMonad - あどけない話 http://t.co/9tvklsso #start_haskell

_ @apstndb

「journal of functional programmingではじめにチュートリアルがあってひとつの論文で完結しているものが多い」#start_haskell

鯉江 @koie

いってきた: 第6回 スタートHaskell2 - koie blog http://t.co/WbYWZ5Cv #start_haskell

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

#start_haskell 今日の放送録画をまとめました https://t.co/aYDPH1j8

hiratara @hiratara

#start_haskell そう言えば今日のLTで、Haskellで自己関手以外の関手の例をって話がありましたが、単にFunctorが自己関手だってだけで、Arrowのarrは自己関手ではない関手でした。ちらっと例に出したKleisliもArrowですが。

saltheads @saltheads

今回も盛況でした。#start_haskell http://t.co/GPtTAxnV

saltheads @saltheads

MacBookな人がうらやましいと思ったのは、AcrobatでPDFにコメント入れながら講義を聴いていたんだけどWindowsなのでkeyファイルの場合はPDFに変換できなくてコメントその場で入れられなかったところ。#start_haskell

山本和彦 @kazu_yamamoto

.@nushio p279の「さりげない配慮が光ります」という訳はどこから来たのでしょうか？ 原著にないこの訳が、スタートHaskell2で大混乱を引き起こしました。 #start_haskell @tanakh