関数型プログラミング言語Haskell Part33

**デフォルトの名無しさん** · 2020/02/10(月) 18:17:36.49

関数型プログラミング言語 Haskell について語るスレです。

Haskell Language(公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part32
https://mevius.5ch.net/test/read.cgi/tech/1548720347/

**デフォルトの名無しさん** · 2020/04/15(水) 17:47:28.61

お礼書き忘れたすみません
回答ありがとうございますなんとか通ってもらいます

**デフォルトの名無しさん** · 2020/04/15(水) 19:54:09.51

>>216
なんの話かよく知らないけど39を素因数分解してるのなら、
約数として3が見つかったら、その時点でもう39が素数じゃないことが判明するから、13を調べる必要ないよ
√39以下の数字調べればオッケー

**デフォルトの名無しさん** · 2020/04/15(水) 19:55:22.34

間違えた
「素因数分解してるのなら」じゃなくて「素数判定してるのなら」だった

**デフォルトの名無しさん** · 2020/04/16(木) 01:02:59.81

>>208
計算速度や使用メモリ量以前に、解が正しくないよ。
試しに sumOfDivided [8] やってみ。

もう少し言うと、prime_factors 関数がおかしい。
関数名に相応しくない計算をしていられる。

まずは、必要な個数の正しい素数列を作ることを考えた方がいいと思うぞ。

**デフォルトの名無しさん** · 2020/04/16(木) 01:13:24.21

>>216
あ、説明で嘘を吐いてしまった。確かに√m以降に素因数は存在しないは偽だった
それでも尚、√で打ち切っていい手筋は揺るがない。
√39より前の3を発見して、39 `quot` 3 (=13) に対して再帰的に同じことをする
ただし割ることを試すのは今割り切れた素数からね（同じ素数で複数回われることもある）。
もう一回3で割ろうとして失敗し、次は√13 を超えるので打ち切って、13 は素数と判定してリストに加える
だから結果として、√m 以降の素因数を取りこぼすことはない

**デフォルトの名無しさん** · 2020/04/16(木) 09:43:04.65

>>221
素数系のアルゴリズムは手続き的にはよく知られたものが色々あるけど
それをHaskellっぽく(宣言的に)定義しろって言われると割と悩む
STMonadとか使えば手続き的な実装はできるけど何かに負けた気分になる

**デフォルトの名無しさん** · 2020/04/16(木) 12:23:07.85

速度あげようと思ったら、どうのように計算するかということに介入する必要があるから手続き的になるのはしょうがないのでは

**デフォルトの名無しさん** · 2020/04/16(木) 14:44:08.63

魔法を使える主人公がなぜか銃を乱射するというマナー違反
を許せない真面目系脇役の魅力

**デフォルトの名無しさん** · 2020/04/17(金) 17:52:04.90

騎士道はCで書くなど、汚い真似をして勝つことを認めていない

**デフォルトの名無しさん** · 2020/04/17(金) 18:51:48.64

ごきげんよう、高貴なるhaskellプログラマの皆様方
今日も可憐におプログラミングですことよ
ほほほ

**デフォルトの名無しさん** · 2020/04/17(金) 23:16:02.21

haskellマスターすると新型コロナにかからないってよ

**デフォルトの名無しさん** · 2020/04/18(土) 03:43:48.65

コロナ菌に強い言語なん？

**デフォルトの名無しさん** · 2020/04/18(土) 11:31:33.48

C言語プログラムなどを実行すると電磁波の影響で身体への副作用が発生するからな
副作用を抑え人間本来の自然な免疫力を高めるのがhaskell

**デフォルトの名無しさん** · 2020/04/18(土) 12:26:02.03

haskellマスターで彼女ができました！

**デフォルトの名無しさん** · 2020/04/18(土) 13:41:19.98

>>229
我慢できずにモナドに手を出して感染する事例が後を立たない
モナドは自粛すべきと何度も言われているのに
屁理屈をこねて手を出す者が多すぎる

本当にHaskellに副作用がないのだと詭弁を弄せずごり押しするのならば
絶対にモナドをやるべきではないと言われている

**デフォルトの名無しさん** · 2020/04/18(土) 19:32:57.82

モナドを「やる」ってなんだよｗ
モナドを禁止薬物か何かと勘違いしてるのか？

すべての人間は二分される
すなわち「モナドである」人間と、そうでない人間、だ
俺はモナド
お前はモナドではない

「上」で待ってるで

**デフォルトの名無しさん** · 2020/04/18(土) 20:20:58.00

おれモナド使いだけど、おまえ俺に使われてんのか

**デフォルトの名無しさん** · 2020/04/18(土) 20:52:26.11

C言語プログラムなどを実行するとストレスの影響で毛髪への副作用が発生するからな
脱毛を抑え人間本来の自然な論理を書けるのがhaskell

**デフォルトの名無しさん** · 2020/04/18(土) 22:32:39.62

>>233
モナドに使われてるやつほど、自分はモナドを使ってると勘違いするよなｗ

**デフォルトの名無しさん** · 2020/04/18(土) 23:24:30.65

モナドを使う時、モナドもまたあなたを使っているのだ

**デフォルトの名無しさん** · 2020/04/19(日) 01:35:32.46

[状態モナド](https://wiki.haskell.org/State_Monad)を
[随伴](https://en.wikipedia.org/wiki/Adjoint_functors) on Rails
に乗せてみる。

``` code
type W x a b = (a, x) -> (b, x)
type S x a b = a -> x -> (b, x)

in_away :: W x c d -> W x b c -> W x a b -> W x a d
in_away cd bc ab = cd . bc . ab

in_home :: S x c d -> S x b c -> S x a b -> S x a d
-- in_home cd bc ab = to_home $ in_away (to_away cd) (to_away bc) (to_away ab) where
-- in_home cd bc ab = ext cd . ext bc . ab where
in_home cd bc ab a = new a %>>=% ab %>>=% bc %>>=% cd where
(%>>=%) = flip ext
ext = to_home_fmap . to_away
new = to_home id
to_home_fmap = (.)
to_home = curry
to_away = uncurry
```

`to_home`が[記事](https://en.wikipedia.org/wiki/Adjoint_functors)での`Phi`
に、`ext`が[Kleisliのスター](https://en.wikipedia.org/wiki/Kleisli_category)
に対応する。`in_away`は通常の関数の合成で、`in_home`はそれを黒魔術に
翻訳している。
[継続モナド](https://wiki.haskell.org/Continuation)も随伴で書ける。

**デフォルトの名無しさん** · 2020/04/19(日) 01:36:44.08

``` code
type O x a b = (b -> x) -> a -> x
type C x a b = a -> (b -> x) -> x

in_away :: O x c d -> O x b c -> O x a b -> O x a d
in_away cd bc ab = cd %.% bc %.% ab where (%.%) = flip (.)

in_home :: C x c d -> C x b c -> C x a b -> C x a d
-- in_home cd bc ab = to_home $ in_away (to_away cd) (to_away bc) (to_away ab) where
-- in_home cd bc ab = ext cd . ext bc . ab where
in_home cd bc ab a = new a %>>=% ab %>>=% bc %>>=% cd where
(%>>=%) = flip ext
ext = to_home_fmap . to_away
new = to_home id
to_home_fmap = flip (.)
to_home = flip
to_away = flip
```

厳密には、`flip`は随伴ではないが、`Set^op (a, b)`と`Set (b, a)`が集合
として同型になることを使うと、実質的な随伴の役割を果たす。

**デフォルトの名無しさん** · 2020/04/19(日) 23:13:07.04

その話題は伸びない。このスレにはHaskellerいないからコード貼ったって誰も読めないし圏論を理解してるやつなんかいないから

**デフォルトの名無しさん** · 2020/04/20(月) 03:13:59.48

Haskeller 戻ってきて

**デフォルトの名無しさん** · 2020/04/20(月) 04:21:55.04

エアプしかいないの？

**デフォルトの名無しさん** · 2020/04/20(月) 12:33:40.11

ここには数学とプログラミング両方できる人がいるようだからお聞きしたいのだけど
プログラミングのクロージャーってトポロジーのクロージャーから引っ張ってきた用語なの？トポロジーの方の定義を眺めてみてもイマイチつながりが理解出来なくて

**デフォルトの名無しさん** · 2020/04/20(月) 12:39:30.50

まったく別

**デフォルトの名無しさん** · 2020/04/20(月) 12:40:47.15

量子化とかもおいおいって思う

**デフォルトの名無しさん** · 2020/04/20(月) 13:57:45.52

全く別なんすね

ありがとうございます

**デフォルトの名無しさん** · 2020/04/20(月) 21:31:54.79

別でもあるし同じでもある
具体的には

**デフォルトの名無しさん** · 2020/04/21(火) 00:24:43.90

量化子を量子化！

**デフォルトの名無しさん** · 2020/04/21(火) 01:33:16.33

そう言えば、佐野量子化って子もいたな

**デフォルトの名無しさん** · 2020/04/21(火) 21:16:16.93

この言語って純粋に理論的な側面に興味を感じてしまって、アプリ制作進まなくなるわ

**デフォルトの名無しさん** · 2020/04/23(木) 00:29:18.48

それよりメモリ管理の理論に興味を感じないか
static変数のようなものを使えばメモリ管理と無縁のアプリ製作ができるのだが

**デフォルトの名無しさん** · 2020/04/23(木) 02:23:16.94

何を言ってるんだ

**デフォルトの名無しさん** · 2020/04/23(木) 03:15:59.03

メモリ管理に興味を感じないか？　→　メモリ管理と無縁の～ができるのだ

？？？？？？
メモリ管理するんじゃなかったのか？

**デフォルトの名無しさん** · 2020/04/23(木) 07:00:20.01

staticおじさん来てんね

**デフォルトの名無しさん** · 2020/04/23(木) 13:10:01.98

10年以上前から同じ会話してるだろ
免疫がつくまで繰り返すんだぜこれ

**デフォルトの名無しさん** · 2020/04/23(木) 21:43:23.72

Haskellスレって荒らされてるの？

**デフォルトの名無しさん** · 2020/04/23(木) 22:27:14.34

これが平常運転

**デフォルトの名無しさん** · 2020/04/24(金) 01:31:48.04

低俗なねらーにはHaskellはら難しすぎたんや…

**デフォルトの名無しさん** · 2020/04/24(金) 23:19:15.10

メモリ管理の様な世俗的な因習に捕らわれず神の領域を安らかたらしめん為の関数型言語では無かったか

**デフォルトの名無しさん** · 2020/04/25(土) 01:04:25.27

現実のハスケラ達は評価順やサンク潰しの制御のテクニックを競ってマウンティングし合ってるよ

**デフォルトの名無しさん** · 2020/04/25(土) 01:48:47.32

くだらない事をダベってるくらいなら、Polysemyの基礎でも勉強してろ
https://sir4ur0n.github.io/

**デフォルトの名無しさん** · 2020/04/25(土) 04:06:57.78

それを知るとどんな良い事があるのか、学習の動機づけをください

**デフォルトの名無しさん** · 2020/04/25(土) 05:14:26.69

簡単に言えば、安全で明確でテストしやすいプログラムが書ける。

IOモナドの関数は中でどんなIOアクションでもできてしまい危険だ。
大事なファイルを上書きしようが、大音量でビープを鳴らそうが。
Polysemyに代表されるエフェクトシステムを使うと、
関数の中で使えるIOアクションの内容を関数シグネチャで制限できる。
ファイル読取アクションを宣言した関数の中では、書込や画像表示など他のIOアクションは一切できず安全だ。

また、ビジネスロジックのコードではどんなアクションをするのか(what)というレシピだけを書き、
そのアクションを実際のIOを使ってどの様に実現するか(how)は別のコードで書くことになる。
whatとhowがしっかり分かれ明確だ。

なので、ビジネスロジックのコードは純粋関数で書け、テストしやすくなる。
howのコードだけをモックに変えることもでき、これもまたテストを容易にする。

と言うようなことを例を交えて分かりやすく説明しているのが >>260 の記事だ。

**デフォルトの名無しさん** · 2020/04/25(土) 08:08:07.66

目を通しました（理解できたとは言ってない）
粒度の粗い物を制限してもっと細かくして、その組み合わせで書き直すことで間違いを排除する、
（手を入れられない）既存ライブラリに対して、ぼくのかんがえたさいきょうのリファクタリングをエミュレートする基盤となるものですか？

**デフォルトの名無しさん** · 2020/04/25(土) 10:58:51.70

>>263
前半はその通り。

が、すまん、後半は意味が分からない。
リファクタリングをエミュレートするってどういう事？
初めて聞いたフレーズだ。

リファクタリングをする事と、リファクタリングをエミュレートする事の違いを教えてくれ。

**デフォルトの名無しさん** · 2020/04/25(土) 12:04:03.93

真のリファクタリングは、設計しなおしてソースコードも書き直す事が含まれるとすると
標準ライブラリであるIOモナドの設計やソースコードを直接弄ることはできませんから、ポリ蝉版は本当にIOを再設計したわけではなく、
リファクタリングを疑似的に再現したという解釈はできないでしょうか
リファクタリングの真似事なのでエミュレートと言いました

**デフォルトの名無しさん** · 2020/04/25(土) 12:44:25.69

現実問題として純粋関数だけじゃ成り立たないからね

**デフォルトの名無しさん** · 2020/04/25(土) 13:20:46.87

>>265
なんか、私と貴方の間にリファクタリングという言葉に齟齬があるような・・・

今までIOモナドを直接使っていたコードをPolysemyを使うようにリファクタリングすることはできるよ。
エフェクトシステムの設計者たちはそれを推奨している。

でもそれは、IOライブラリのコードが弄れないから、仕方ないので、Polysemyで擬似的に弄ったように見せましょう、
という話では全くないよ。

**デフォルトの名無しさん** · 2020/04/25(土) 17:18:59.24

Polysemyってはじめてきいた
Extensible effectsとは別もの？

**デフォルトの名無しさん** · 2020/04/25(土) 18:29:06.56

>>268
名前が違うんだし、そりゃ別物だよ。
同じエフェクトシステムというカテゴリの一員ではあるが。

どう違うかは >>260 を読んで判断してくれ。
短い記事だからすぐ読める。

**デフォルトの名無しさん** · 2020/04/26(日) 08:52:10.51

IOは副作用じゃなくて作用だからハスケルは副作用が無いんだなんていってるやつ初めて見たんだけど

**デフォルトの名無しさん** · 2020/04/26(日) 09:58:35.47

あらかじめ宣言した型に従う作用じゃなくて
宣言していないことを勝手にやるのが副作用の弊害だから
Haskellにはこの弊害が無いんだな

**デフォルトの名無しさん** · 2020/04/26(日) 10:22:30.54

>>271
そう言うこと。

でもIOは実質なんでもできちゃうから、かなり不安だよね。
もっとeffectを安全に取り扱いたいよね。
その解のひとつがPolysemyだよ、という話しだ。

>>270
PolysemyのブログPart1を読んで思うところがその嘲笑だけなら、
英語ドキュメントの読解にはちょっと向かないかな。

**デフォルトの名無しさん** · 2020/04/26(日) 11:39:57.10

ブログを観る限り素人の書いたクソ記事だな
読む価値なし

**デフォルトの名無しさん** · 2020/04/26(日) 14:00:45.22

この毒舌が日本の平常運転

**デフォルトの名無しさん** · 2020/04/26(日) 14:32:48.40

Haskellの玄人って研究者とか？

**デフォルトの名無しさん** · 2020/04/26(日) 17:02:22.77

このスレ住人のことだよ

**デフォルトの名無しさん** · 2020/04/27(月) 14:12:58.96

「Prelude>:browse」の実行結果をテキストファイルにリダイレクトする方法
browse.hsという名前のファイルに:browseを記入して保存
保存したファイルのあるディレクトリでコマンドプロンプトを立ち上げて以下を実行
stack ghci < browse.hs > browse.txt

Redirecting Haskell GHCi output to text file [duplicate]
https://stackoverflow.com/questions/14688119/redirecting-haskell-ghci-output-to-text-file

**デフォルトの名無しさん** · 2020/04/27(月) 17:47:14.78

このスレで延々と副作用やモナドの話ばかりされてるのなんか既視感があると思ったら、物理学板の相対論スレでポアンカレ群やリーマン幾何の話は一切せず
モノの本で読んだようなマイケルソン・モーレイの実験の話に関する持論をひたすら展開して相対論は間違ってる！って騒いでる連中に似てる

**デフォルトの名無しさん** · 2020/04/27(月) 17:48:43.80

相対性理論も量子力学もどっちも間違ってる

**デフォルトの名無しさん** · 2020/04/27(月) 18:04:41.79

まあ副作用やモナドに関する理解の甘さは初心者にありがちだからな

**デフォルトの名無しさん** · 2020/04/27(月) 19:40:47.96

最新 stack で 7.8.4 をセットアップしようとしたら realgcc.exe を使おうとしてコケる
新しい GHC にはあるみたいだけど古い GHC には mingw\bin に存在しないようだ
なのに使おうとしている
なぜ古いのを入れようとしてるかというと競プロサイトのGHCが古いからだ
最新版で通るコードが向こうで弾かれたりして苛ついたから、じゃあそっちの環境で通るコードを提出してやるよとなってインストールを試みたのだ
スタックで古いバージョンのセットアップに自身ニキ、助けて

**デフォルトの名無しさん** · 2020/04/27(月) 21:15:06.74

静的型付けの話は一切せず
実行時の振る舞いに関する持論をひたすら展開してモナドがーって

これ半分オブジェクト指向だよ
型はオブジェクトではないから型の話を一切しないんだよ

**デフォルトの名無しさん** · 2020/04/27(月) 22:39:13.77

相対論スレもHaskellスレ同様に荒らされてるの？

**デフォルトの名無しさん** · 2020/04/28(火) 00:09:34.24

>>281
複数のバージョンを使い分けたいのなら、
Windowsは向かないと思います。

あくせくしてゴチャゴチャになるくらいなら、
さっさと仮想環境にlinux入れてそっちで環境構築した方が
楽で早いのではないでしょうか。

**デフォルトの名無しさん** · 2020/04/28(火) 00:20:49.19

Haskellは何でああも副作用を嫌うの？

**デフォルトの名無しさん** · 2020/04/28(火) 00:24:10.18

>>285
だから嫌ってない…

**デフォルトの名無しさん** · 2020/04/28(火) 01:57:21.75

>>285
嫌うという表現は置いておくとして、
純粋関数と副作用の伴う関数とをあれほど切り分けたがるのは、
その方がメンテし易いというのが大きな理由の一つだと思う。

**デフォルトの名無しさん** · 2020/04/28(火) 12:53:37.93

よしわかった。ならばWSL Ubuntu を導入だ。stackをインストールし、古すぎるので最新版stackに替え、stack setup 7.8.4

The GHC located at /home/devlin/.stack/programs/x86_64-linux/ghc-7.8.4/bin/ghc-7.8.4 failed to compile a sanity check. Please see:

http://docs.haskellstack.org/en/stable/install_and_upgrade/

for more information. Exception was:
Received ExitFailure 1 when running
Raw command: /home/devlin/.stack/programs/x86_64-linux/ghc-7.8.4/bin/ghc-7.8.4 /tmp/stack-sanity-check47/Main.hs -no-user-package-db
Run from: /tmp/stack-sanity-check47/
Standard output:

[1 of 1] Compiling Main ( /tmp/stack-sanity-check47/Main.hs, /tmp/stack-sanity-check47/Main.o )
Linking /tmp/stack-sanity-check47/Main ...
Standard error:

/usr/bin/ld: -lgmp a??e|?a??a??a??a??a???
collect2: error: ld returned 1 exit status

神はどうあっても試練を与えようというあああああ！！！！

**デフォルトの名無しさん** · 2020/04/28(火) 17:08:37.94

言語仕様はHaskellでもいいけど実装は、電池が入ってるインタプリタがいい
コンパイラをコンパイルするのも、ネットのサービス終了も嫌だ

**デフォルトの名無しさん** · 2020/04/28(火) 22:24:50.85

F#ならスクリプト使えるよー
モナドの代わりにコンピューテーション式も使えるよ
副作用も使いまくりだよー
ライブラリーは.NETつかえるよー
GUIはちょっと苦手　でも、ワンレンボディコンのボインちゃん

シャッチョサン、シャッチョサン
シャッチョさんのことだからまけにまけて０円　　もってけどろぼー

**デフォルトの名無しさん** · 2020/04/28(火) 22:37:15.08

よし採用

**デフォルトの名無しさん** · 2020/04/29(水) 06:50:08.19

Elmっているこ？いらんこ？

**デフォルトの名無しさん** · 2020/04/29(水) 07:13:41.98

分からん
purescriptとかどうなんだろ

**デフォルトの名無しさん** · 2020/04/29(水) 09:16:57.44

agdaをjsにコンパイルするのはどうなの？

**デフォルトの名無しさん** · 2020/04/29(水) 09:36:37.62

F#スレ落ちてるね

**デフォルトの名無しさん** · 2020/04/29(水) 10:44:15.44

奴は四天王の中でも最弱

**デフォルトの名無しさん** · 2020/04/29(水) 10:47:45.94

5chごときにスレが立たないとは
魔族の面汚しよ・・・

**デフォルトの名無しさん** · 2020/04/29(水) 15:25:39.64

>>288
漏れは、Windows 10, WSL, Ubuntu 18.04 で、
Linux側には、日本人が作った、バージョンマネージャーのanyenv で、rbenv, nodenv を使って、
ruby 2.6.6, node 12.16.2 を入れた

yarn は、Windows側に入れて、WSL から、拡張子なしのyarn コマンドを呼べる。
これは、#!/bin/sh で始まるシェルスクリプト

Windows側で、VSCode の拡張機能、Remote WSLも使う

Haskell のhsenv は、使えないのか？

**298** · 2020/04/29(水) 15:39:17.08

ちなみに、Ruby on Rails の場合、コンパイルに必要なパッケージは、

sudo apt-get update
してから、

sudo apt install -y build-essential

build-essential には、
gcc(GNU C compiler), g++(GNU C++ compiler), libc6-dev(GNU C Library), make などが入っています

次に、openssl, readline, zlib のパッケージをインストールします。
sudo apt-get install -y libssl-dev libreadline-dev zlib1g-dev

データベースの、libsqlite3-dev, sqlite3 をインストールします。
sudo apt-get install -y libsqlite3-dev sqlite3

**デフォルトの名無しさん** · 2020/04/29(水) 15:47:47.21

的はずれなのでやめて

**デフォルトの名無しさん** · 2020/04/29(水) 15:50:08.55

-lgmpができないならlibgmp-devをインストールすればいい

**デフォルトの名無しさん** · 2020/04/30(木) 17:28:15.60

>>298-299
んにゃぴ・・・んまぁ、そう、よくわかんなかったです

>>300
それでようやく原因が判りました
Stack no longer supports Cabal versions below 1.19.2,
but version 1.18.1.5 was found.
This invocation will most likely fail.
To fix this, either use an older version of Stack or a newer resolver
Acceptable resolvers: lts-3.0/nightly-2015-05-05 or later
stack will use a sandboxed GHC it installed
For more information on paths, see 'stack path' and 'stack exec env'
To use this GHC and packages outside of a project, consider using:
stack ghc, stack ghci, stack runghc, or stack exec

7.8.4 のCabal は 1.18.1.5 であるんですが、最新版 stack は 1.19.2 以降のCabal しか対応しない
というわけで諦めました。いうほど 7.8.4 使いたいかって気分になってきて、エラー出たらその都度古いコードに書き直せばいいじゃんってなったんで
このイシューは閉じます。ありがとうございました。

**デフォルトの名無しさん** · 2020/04/30(木) 17:28:45.70

>>300じゃなくて>>301だった

**デフォルトの名無しさん** · 2020/05/02(土) 07:49:02.53

cabalってカバルじゃなくカボールなんだな

**デフォルトの名無しさん** · 2020/05/02(土) 09:29:59.76

haskellのライブラリ管理ツールはずっとクソ。
pythonのも大概だけど、haskellはそれを遥かに凌ぐレベルでくそ。

**デフォルトの名無しさん** · 2020/05/02(土) 12:12:56.17

そろそろocamlの時代じゃねーか？

**デフォルトの名無しさん** · 2020/05/02(土) 12:50:23.34

ライブラリ管理ツールって何をするためのモノなんだ？
ユーザーから何を期待されてるんだ？

**デフォルトの名無しさん** · 2020/05/02(土) 13:54:24.62

シェルスクリプトで管理ではなく
そろそろxmlとかyamlとかの時代を期待されてる説

**デフォルトの名無しさん** · 2020/05/04(月) 03:20:08.08

待ち遠しい「Algorithm Design　with鵫askell」
https://www.cambridge.org/core/books/algorithm-design-with-haskell/824BE0319E3762CE8BA5B1D91EEA3F52

**デフォルトの名無しさん** · 2020/05/04(月) 16:45:39.46

ocamlはせっかく盛り返してたのに失言でだいなし

**デフォルトの名無しさん** · 2020/05/04(月) 23:50:02.51

どんな失言？

**デフォルトの名無しさん** · 2020/05/05(火) 13:49:22.34

haskellにライブラリ管理ツールなんて無いよね？

**デフォルトの名無しさん** · 2020/05/06(水) 22:37:05.49

釧路湿原

**デフォルトの名無しさん** · 2020/05/07(木) 10:57:00.07

書籍「関数プログラミング珠玉のアルゴリズムデザイン」で分からない所があります。

2ページ目3行目
xsに含まれない最小の数は、filter (<= n) xs に含まれない最小の数ということになる。

ここで < ではなく、<= なのは何故でしょうか。
< を使って条件を厳しくしても、

xs = [0], n = 1 ===> filter (<n) xs = [0]
　　[0] に含まれない最小数 = 1
xs = [1], n = 1 ===> filter (<n) xs = []
　　[] に含まれない最小数 = 0

このように問題無いように思えます。

**デフォルトの名無しさん** · 2020/05/07(木) 16:47:46.68

事実を述べているだけに見えるが
何故あの事実ではなくこの事実を切り取ったのかを知りたがるのが面白い

**デフォルトの名無しさん** · 2020/05/07(木) 17:22:10.29

>>314
その直前に

[0..(length xs)] の範囲にある数の少なくとも1つはxsに含まれていない

とあるので(鳩の巣原理)、その自然な帰結として

length xs より大きい数は、たとえxsに含まれていたとしても探索の対象にする必要はない

ということで filter (<= n) xs (where n = length xs) が出てくるのだと思う
そこで filter (<n) xs では意味がわからない(自明ではない)