孤独のHaskell - ぼくのぬまち 出張版

孤独のHaskellに行ってきた．ので，感想とそのフォローアップになりそうなことを書く． とてもいい会だったように思う． 遅刻して現場に付いたらRLEしてみようという例題("AABBCCC"を"A2B2C3"にする関数を書こう)をやっていて， id:khibino0 さんがおもむろに import Data.List ( group ) import Control.Arrow rle = concatMap (uncurry (:) . (head &&& show . length)) . group のような解をブッパしてたりするなど．で，各自自前実装してる人たちのコードとか見ると「細かい操作でボトムアップにやりたいことを実現しようとしてるなー」と感じることが多かった．Haskellの場合(なのかは知らないが)もっと大域的な変換からトップダウンに考えていったほうがシンプルでソレっぽい

[Shtr28]

型から考えるってこういう事だったのか

[puhitaku]

Haskell的思考の勉強

[natsutan]

おもしろい

[okagawa]

型を指針にしたトップダウン設計のアプローチ

[itchyny]

素晴らしい. あとは\str -> (:) (head str) ((show . length) str)であることに気がつけば, headとshow . lengthで2つに分けてからuncurry (:)でまとめるだけと気がつくことができる.

[py0n]

かういふ風に考へて行くのか。

[mainyaa]

これは素晴らしい

[vvakame]

"ﾔﾘｺﾝﾃﾞﾙｰ．" ｗｗｗ にしても、なるほど。Hoogleで型で検索すればいいのか！！ﾅﾙﾎﾄﾞﾅｰ. ﾔﾘｺﾐﾐｾﾀｰ.

[t_f_m]

トップダウンの精神がSICPで学んだこととかぶる

[murashit]

RWHがナチュラルにこういう感じでやっててなるほどなーと思った

[ruicc]

トップダウンに考えるといい、というのはHaskellに限らず静的型付言語まで広げられると思う。動的型付言語はトップダウンでもボトムアップでもいい。多分。

[sirocco]

hlint というツールが面白そう

[hakobe932]

型で考えるのかー

[side_tana]

haskell書き始めてしばらくしたら読むと良さそう