[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
関数型プログラミング言語Haskell Part33 http://mevius.5ch.net/test/read.cgi/tech/1581326256/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
260: デフォルトの名無しさん [sage] 2020/04/25(土) 01:48:47.32 ID:n1+IBCwB くだらない事をダベってるくらいなら、Polysemyの基礎でも勉強してろ https://sir4ur0n.github.io/ http://mevius.5ch.net/test/read.cgi/tech/1581326256/260
262: デフォルトの名無しさん [sage] 2020/04/25(土) 05:14:26.69 ID:n1+IBCwB 簡単に言えば、安全で明確でテストしやすいプログラムが書ける。 IOモナドの関数は中でどんなIOアクションでもできてしまい危険だ。 大事なファイルを上書きしようが、大音量でビープを鳴らそうが。 Polysemyに代表されるエフェクトシステムを使うと、 関数の中で使えるIOアクションの内容を関数シグネチャで制限できる。 ファイル読取アクションを宣言した関数の中では、書込や画像表示など他のIOアクションは一切できず安全だ。 また、ビジネスロジックのコードではどんなアクションをするのか(what)というレシピだけを書き、 そのアクションを実際のIOを使ってどの様に実現するか(how)は別のコードで書くことになる。 whatとhowがしっかり分かれ明確だ。 なので、ビジネスロジックのコードは純粋関数で書け、テストしやすくなる。 howのコードだけをモックに変えることもでき、これもまたテストを容易にする。 と言うようなことを例を交えて分かりやすく説明しているのが >>260 の記事だ。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/262
269: デフォルトの名無しさん [sage] 2020/04/25(土) 18:29:06.56 ID:n1+IBCwB >>268 名前が違うんだし、そりゃ別物だよ。 同じエフェクトシステムというカテゴリの一員ではあるが。 どう違うかは >>260 を読んで判断してくれ。 短い記事だからすぐ読める。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/269
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s