[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
58: ◆QZaw55cn4c 2019/02/03(日)21:53:48.18 ID:t4xt++Qj(11/20) AAS
>>53
＞1で再帰は必ず止まるんでない
「何が」 1 で再帰が止まる、と考えているのですか？
「何が」の部分を答えてください
82: 2019/02/03(日)22:26:31.18 ID:DdA3Wm74(6/9) AAS
>>79
ならないよ。そこが間違ってるんだよ。
100: 2019/02/03(日)22:44:48.18 ID:RwDwNYzW(22/27) AAS
>>98
どうでもよくないから君は間違っている
694: 2019/11/04(月)05:48:03.18 ID:PrFaR+H+(1/3) AAS
モナドの副作用云々は
Scala Monix の並列プログラミングも面白い
710: 2019/11/05(火)21:21:54.18 ID:qlchjqLq(1) AAS
C言語のswitchとenumが貧弱だったせいでコールバック地獄が始まったわけだが
コールバックの一部を、代数的データ型の場合分けで代替できる
数学者のためのデザインとの指摘はあたらない
733: 2019/11/07(木)07:52:29.18 ID:XLcDzJj2(2/2) AAS
CPUレベルで実は関数型言語に翻訳されてたら
数学的に解析しやすいし高速化も数学的にできるしバグも数学的にとれる
という妄想をするんだが
失敗の歴史をウソと考えると
885: 2019/12/23(月)22:05:51.18 ID:/flai8cL(5/5) AAS
>>880
おお、ありがとうございます
そっちでやってみます
957: 2020/01/20(月)19:35:03.18 ID:LcZgWv4y(1) AAS
普段のプログラミングでカリーハワード対応が出てくる場面ってどういうとき？
型レベルで凝ったことをするとプログラムを証明として書くことがあると思うんだけど、
その証明として書いたプログラムは実行するとどうなるの？
この辺少し勉強したいんだが書いたことも見たこともなくてさっぱり想像つかない
992: 2020/02/07(金)00:15:35.18 ID:MJwijXd8(1) AAS
そんなことないでしょ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s