17/07/29(土)15:08:10 なんに... のスレッド詳細
削除依頼やバグ報告は メールフォーム にお願いします。個人情報、名誉毀損、侵害等については積極的に削除しますので、 メールフォーム より該当URLをご連絡いただけると助かります。
画像ファイル名:1501308490882.png 17/07/29(土)15:08:10 No.442837889
なんに使うねん
1 17/07/29(土)15:10:07 No.442838300
入=
2 17/07/29(土)15:10:50 No.442838453
主に型合わせパズルにつかう 結果として楽しい！という感情が得られる
3 17/07/29(土)15:12:21 No.442838806
関数型って謎
4 17/07/29(土)15:13:43 No.442839120
モナドでらくらく定時退社ける
5 17/07/29(土)15:14:56 No.442839343
研究職しか使わないと勝手に思ってる
6 17/07/29(土)15:15:48 No.442839538
>関数型って謎 ただの単純型付きラムダ計算で自然演繹の証明図であってカルテシアン閉圏だよ 何か問題でも
7 17/07/29(土)15:17:18 No.442839818
にほんごで！にほんごでお願いします！
8 17/07/29(土)15:27:09 No.442842006
Coqもプログラミング言語って感じがしない
9 17/07/29(土)16:00:06 No.442850218
Lispはあんなに簡単なのに