虹裏img歴史資料館

ここでは虹裏imgのかなり古い過去ログを閲覧することができます。新しいログはこちらにあります

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はあんなに簡単なのに

↑Top