[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
82(1): 2020/03/27(金)16:03:17.87 ID:bZjh3B7N(1/2) AAS
正しいよ
267: 2020/04/25(土)13:20:46.87 ID:n1+IBCwB(4/5) AAS
>>265
なんか、私と貴方の間にリファクタリングという言葉に齟齬があるような・・・
今までIOモナドを直接使っていたコードをPolysemyを使うようにリファクタリングすることはできるよ。
エフェクトシステムの設計者たちはそれを推奨している。
でもそれは、IOライブラリのコードが弄れないから、仕方ないので、Polysemyで擬似的に弄ったように見せましょう、
という話では全くないよ。
353: 2020/06/06(土)08:31:53.87 AAS
let nop = mempty in ...ってやってる（嘘）
376: 2020/08/14(金)17:46:17.87 ID:XgOd4/dA(3/3) AAS
>>375
ありがとうございます。
「すごいHaskellたのしく学ぼう！」という本の第1章を読み終わりました。この本を読んでいこうと思います。
384: 2020/08/17(月)17:36:03.87 ID:CFLjXFs2(1/4) AAS
>>381-382
ありがとうございました。
Types and programming languagesというのが比較的新しい本なので、興味を持ちました。
405(1): 2020/08/21(金)18:53:55.87 ID:VIa1N6p8(3/3) AAS
(f . g) . z = f . (g . z)だから等価だと思ったんですけど、間違っていますか？
412: 2020/08/22(土)01:40:43.87 ID:75MjfSAz(2/2) AAS
>>410
> 個人的には位相空間論の書籍に限定しているのが気になる。どちらかと言うと代数学の方が一般的と思うが。
位相空間論の〜っていうのは言い方が悪かったかな、「集合と位相」みたいなタイプのやつ
大抵最初の方で一般の集合論をやるのでそういうつもりで言った
仮定が大事というのはその通りで
もちろん連続性も全単射も仮定しない一般の写像に対する定理
集合A, B, C, D と写像 f: C->D, g: B->C, h: A->B に対して
(f . g) . h = f . (g . h) が成り立つ
> ＞あと「Haskellによる関数プログラミングの思考法」にも(証明は無いが)言及があった
> こっちはたぶん書籍持ってるかな？ページ数教えてくれる？
省4
486: 2020/09/09(水)10:39:29.87 ID:o85d1us6(1) AAS
圏の圏な
788: 2021/03/23(火)05:16:41.87 ID:EMfQwUjX(1) AAS
そうですか
残念ながら当方計算論はウルマンホップクラフトや西岡先生の教科書しか読んだことないのでかなり知識が数学サイドに寄ってます
仕事もかなり数学よりで計算論はあくまで趣味なのであまり本腰入れて勉強したことはないのでもしかしたら専門に勉強されてる方から見ればそうかもしれません
まぁ本職に悪影響与えない範囲で時間見つけてボチボチ勉強します
838: 2021/05/31(月)10:43:40.87 ID:xvi5eoqv(1) AAS
Rustと同じように、どうにかして型を弱くすれば副作用は好きなだけ使えるよ
862: 2021/07/10(土)23:01:22.87 ID:zugIw5Ja(1) AAS
あざっす
ソース読んで研究しまつ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s