[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
81: 2020/03/27(金)13:41:08.32 ID:gM1jKcLP(4/6) AAS
>>74は正しいの？
94: 2020/03/27(金)20:19:07.32 ID:inQsOLrL(4/5) AAS
遅延評価と考え方は似てると思う。状態の受け渡しとかが出てきてこんがらがる
121(2): 2020/03/29(日)21:28:27.32 ID:AoSt3bhf(1/2) AAS
Haskellの理解に圏論は必要ないとよく言われるけど、
End/Coend勉強したらHaskellのポリモーフィズムとか
存在型のことがよくわかったし、
コモナドとか余代数は圏論的理解しといた方が絶対にいいなと思った
今はKan拡張に挑戦中だわ
136: 2020/03/31(火)13:55:00.32 ID:0EnDwwx5(2/2) AAS
事前に目的を決めても「俺すげーしたいだけ」とかいう真の目的が後から出てくる
事前に嘘をついていたことか問題だと思えば沈黙が正解
だが隠し事をしていたことが問題だと思えば沈黙は悪
黙っているくらいなら嘘でも何か言った方がマシと思ってますます嘘が増える
260(2): 2020/04/25(土)01:48:47.32 ID:n1+IBCwB(1/5) AAS
くだらない事をダベってるくらいなら、Polysemyの基礎でも勉強してろ
外部ﾘﾝｸ:sir4ur0n.github.io
445: 2020/08/28(金)16:04:05.32 AAS
書いて三日以内のコードをビルドしました
475: 2020/09/05(土)18:33:16.32 ID:mscSzbua(1) AAS
>>472
pandoc は？
646: 2021/01/14(木)10:42:33.32 ID:ApYxPV7C(1) AAS
音やリズムをデザインしてるのか
音読できない言文不一致言語があれば、デザインと論理的構造を分離できそう
648(1): 2021/01/15(金)10:43:33.32 ID:l3Q+U92p(1) AAS
関数型を信じるというよりオブジェクト指向を疑うべき
オブジェクト間の通信がただの関数呼び出しから軽量スレッドに変わったらどうなるか等
677: 2021/01/22(金)08:04:15.32 ID:RWrydEj5(1) AAS
Haskellerのキモオタ「ｼｸﾞﾈﾁｬｧ」
697(2): 2021/02/02(火)01:48:19.32 ID:yyMOWUoH(1) AAS
fixの定義は fix f = let x = f x in x となっていますが、
この x 自体は再帰的に定義されていると言えますか？
758: 2021/02/26(金)10:03:43.32 ID:W2dsUZYE(1) AAS
モノイドでも集合論でも、公理が多過ぎて公理が偽になるなら
公理を減らせばいいじゃん
778(1): 2021/03/20(土)10:28:51.32 ID:Hmrg9tvu(2/2) AAS
>>773
すいません、call by name という名称の由来は分からないです。
いままで気にしたこともなかったです。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s