@functional_bot Profile picture

関数型妹bot

@functional_bot

へー、お兄ちゃんも関数型プログラミング勉強してるんだー。ふーん・・・

Joined February 2013
Similar User
中安 正充知 photo

@masamichi940323

κeen photo

@blackenedgold

かずちん photo

@kazuchin_mag

チャンカパーナ photo

@mug_rabbit

さーてと!お兄ちゃんのHaskellプロジェクトに対してundefinedでgrepしてみよう!


お、お兄ちゃん?仮引数を書きたくないのはわかるけど、実用コードでそのポイントフリースタイルはちょっと・・・


プログラムの定理証明とか偉そうに言ってるけど、お兄ちゃんそもそも高校数学程度の証明問題も解けないじゃん。


型推論が便利なのは解るけど、型定義にはちゃんとドキュメントの役割がある事も考えてて書いてよね。ホラ!その外部に公開する関数は推論されたものそのまま使うよりこうやって別名に置き換えたほうが解りやすいでしょ!


コードの簡潔さにはこだわるけど、部屋は全然簡潔じゃないね。


お兄ちゃん、ラムダラムダ連呼してるけど、ちゃんと関数型学ぶんだったら、「匿名関数の略記法」程度の認識は早いとこ捨てようね。


お兄ちゃんにかかると強力な型システムも型無しだね


型によってバグが防げるっていうのは、テストしないでも良いって意味じゃないんだけどさ…


お兄ちゃんのおやつのプリンは妹型コンストラクタの型引数にしておいたわ。


お兄ちゃんのその疑問はラムダキューブの・・・いやっ、ゲーム機の話じゃなくって・・・。


なんか、C言語を関数型言語って呼ぶ人をやたらバカにしてるけど、もしかしてお兄ちゃんちょっと前までそう思ってたんじゃない?


お兄ちゃんの書いたライブラリ、型設計は丁寧で良いんだけど関数名の英語がひどくて使い方が全然わからないんだけど・・・。


お兄ちゃん、自作モナドも巨大化させ過ぎるとIOモナドと変わらないからね?


お兄ちゃんってさ、大してHaskell書けないわりに"module Main where"って書くのだけは妙にこなれてるよね。


はいはい、ラムダ計算がチューリング完全で素晴らしいのはわかったから、不完全な言語処理系も作れないお兄ちゃんの実装力をどうにかしたら?


「オブジェクト指向vs関数型」なんてしょーもない記事を書いてる暇があったら型無しラムダ計算の勉強でもしたらー?


もし、お兄ちゃんが「物づくりの道具」として関数プログラミングを学んでるなら、いくらfunctionalな実装が上手くても泥臭い部分を手早く作れなきゃ意味ないじゃん。時にはその技術が本当に有用かどうか見極める目も大切だよ。


お兄ちゃん…チャーチ数って言葉を覚えたのがよっぽど嬉しかったんだね…


お兄ちゃん!日常生活を遅延評価しても手が回らなくなるだけだって、この前も言ったでしょ!


あっ、ま~たcabalの依存関係壊してる・・・だからサンドボックス使いなよって言ったのに。


United States Trends
Loading...

Something went wrong.


Something went wrong.