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