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

**デフォルトの名無しさん** · 2019/01/29(火) 09:05:47.90

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

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

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

**デフォルトの名無しさん** · 2019/01/29(火) 09:06:37.34

**デフォルトの名無しさん** · 2019/01/29(火) 09:07:46.66

関連サイト
(英語)
Haskell - Wikibooks, open books for an open world (ページ内に内容をまとめたPDFあり)
https://en.wikibooks.org/wiki/Haskell

Learn You a Haskell for Great Good! (『すごいHaskellたのしく学ぼう!』の無料オンライン版)
http://learnyouahaskell.com/chapters

Real World Haskell (同名書籍の無料オンライン版)
http://book.realworldhaskell.org/read/

(以下、日本語)
Haskell入門 5ステップ - HaskellWiki (公式サイト内、日本語入門セクション)
https://wiki.haskell.org/Haskell%E5%85%A5%E9%96%80_5%E3%82%B9%E3%83%86%E3%83%83%E3%83%97

Haskell - Wikibooks (上記Wikibooksの同タイトル日本語版。多くの項目が未編集)
https://ja.wikibooks.org/wiki/Haskell

Programming in Haskell
http://www.sampou.org/cgi-bin/haskell.cgi

Haskell のお勉強
http://www.shido.info/hs/

Haskell Programming
http://www.geocities.jp/m_hiroi/func/haskell.html

本物のプログラマはHaskellを使う:ITpro
http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/

［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！
http://gihyo.jp/dev/feature/01/functional-prog

**デフォルトの名無しさん** · 2019/01/31(木) 07:01:01.92

手続き型でゴリゴリやってきた人にとって関数型は
マラソンの選手に、匍匐前進と水泳で近道するよう強制しているかのようです

**デフォルトの名無しさん** · 2019/01/31(木) 07:24:27.44

>>4
手前味噌ですが、Haskell入門以前と言う電子書籍をAmazonでご購入下さい。
まさに貴方のような方に関数脳を作ってもらうための本です＾＾

**デフォルトの名無しさん** · 2019/01/31(木) 20:10:32.50

IOモナドは手続きモナド

**デフォルトの名無しさん** · 2019/02/01(金) 07:26:12.68

初心者がHaskellでオンライン問題集みたいなの解いてんだけど
Haskellでやるとこういうの楽しくてええな

**デフォルトの名無しさん** · 2019/02/02(土) 00:12:37.55

CPS書き換えドリル
次の英文を○○構文を用いて同じ意味の英文に書き換えなさい的な

**デフォルトの名無しさん** · 2019/02/03(日) 12:58:27.43

haskell紹介してるブログとか色々あるけどどこも肝心要のところがすっぽり抜けててイライラするな・・

例えば
fact 0 = 1
fact n = n * fact(n - 1)

これ無限ループになっちゃって終わらないでしょ終端条件も書いてないし。
fact 3を展開すると
3 * ( 2 * ( 1 * ( 1 * ………

0を入力すれば1になるってことはこの先ずーっと1が繰り返されるだけだし。
同じ値が２度続いたら処理を止めるとか変な仕組みでも入ってるのかねー

**デフォルトの名無しさん** · 2019/02/03(日) 14:29:08.38

>>9
自分で動かしてみればわかるけど
ちゃんと終わるよ

https://wandbox.org/permlink/goI0n8nF0ac90ofx

◆QZaw55cn4c · 2019/02/03(日) 15:04:51.94

>>9
＞無限ループになっちゃって終わらないでしょ終端条件も書いてないし。
いえいえ、終端条件が
＞fact 0 = 1
です、n ∈ N たる n からはじまって 0 で終わる、と読みます
fact 3 = 3 * fact 2
= 3 * 2 * fact 1
= 3 * 2 * 1 * fact 0
= 3 * 2 * 1 * 1
で止まります．

**デフォルトの名無しさん** · 2019/02/03(日) 15:10:17.81

>>9
恥ずかしいぞ

>fact 0 = 1
で、これ以上再帰してないじゃん

**デフォルトの名無しさん** · 2019/02/03(日) 20:51:10.38

>>12
それじゃ納得できないんだけども
終わるから大丈夫仕様ですってもやっとするから

>>9で書いたように1が無限に続いちゃうと思うんだけどな
0が入力されたら1を返すってことだから
1 - 1でまた繰り返しちゃうよね

そもそもどの値が来たら終わるか全く記述がないよね
そういうところも納得できないっていうかおかしい

**デフォルトの名無しさん** · 2019/02/03(日) 21:08:06.34

>>13
>>11 が説明してくれたとおりなのだけど、納得できない？

**デフォルトの名無しさん** · 2019/02/03(日) 21:13:08.06

>>14
あの説明で納得するようならここ来てないから
あれだとブログの説明と何も変わらない

まさか1かtrueを返したら問答無用で終わる仕様だったりするのかねー

**デフォルトの名無しさん** · 2019/02/03(日) 21:15:44.35

>>13
ああ　言っている意味は分かったけど
続かねーぞ　よく考えてみ　恥ずかしい思いするだろうけど

っていうか、>>11のひとが書いてるじゃん　

fact 1 = 1 * fact 0
= 1 * 1 で終了だろ

これ納得できないとしたら、別のところで引っかかっている
パターンマッチを理解していないとか

**デフォルトの名無しさん** · 2019/02/03(日) 21:18:28.59

>>15
バカで思い込みが激しいって最悪だぞ？どっちかにしろ。

**デフォルトの名無しさん** · 2019/02/03(日) 21:19:06.57

>>16
それじゃ終わらない
終了条件が書いていないから

なんどもいうように * 1がずーっと続くようにしか見えない
だからこの例題見たときにイライラしてたんだよね
前提となってる仕様があるけど説明省いたとかそれ系かなと

◆QZaw55cn4c · 2019/02/03(日) 21:19:41.63

>>13
では逆に質問しましょうか、そこから両者が部分的にでも合意できるポイントを探ることにしましょう
>>9
＞fact 0 = 1
＞fact n = n * fact(n - 1)
これをあなたはどのように解釈したかを、もう少し詳しめに記述していただくことは可能でしょうか、私の記述は今は >>13 が精一杯ですが、あなたの返答をみて改善できる点はないか検討したいと思います

**デフォルトの名無しさん** · 2019/02/03(日) 21:20:07.09

>>15

ほとんど同じ説明だが…

関数の定義が
fact 0 = 1
fact n = n * fact(n - 1)
となっている。
このとき、左辺が右辺に置き換えられる (簡約という)

つまり fact 3 は 3 * fact 2 に置き換えられる
そして fact 2 は 2 * fact 1 に置き換えられる
そして fact 1 は 1 * fact 0 に置き換えられる
ひとつめの関数の定義により、fact 0 は 1 に置き換えられるので
置き換えはここでとまる

以上をまとめると
fact 3
= 3 * fact 2
= 3 * 2 * fact 1
= 3 * 2 * 1 * fact 0
= 3 * 2 * 1 * 1
= 6

**デフォルトの名無しさん** · 2019/02/03(日) 21:22:45.27

>>15
fact 0で問答無用で終わる仕組みですが。。。

>>11 以上にやさしい説明はないと思われ。

普通の言語(ここで

◆QZaw55cn4c · 2019/02/03(日) 21:22:54.49

>>18
終了条件は
＞fact 0 = 1
です。関数 fact の引数が 0 なら、1 を関数の値として返し、fact の求値作業は終了します。
fact への入力が 1 でないならば
＞fact n = n * fact(n - 1)
の定義をつかって、最初の入力 n よりも小さい値 n - 1 (< n) を使った関数定義がつかえるように変換します

**デフォルトの名無しさん** · 2019/02/03(日) 21:25:18.35

>>19
理解したのは>>9の通りで
仮定として1かtrueを返したら再帰は止まる仕様になってると推測してる

>>20
だからfact(1)で無限に続いちゃうよね
1 - 1で fact 0をevalしてまたfact(1)になる
そこで終了条件が必要だけど何にも書いてないから記述通りならずーっと続く

としか見えないんだよね

**デフォルトの名無しさん** · 2019/02/03(日) 21:26:42.72

いやだから

fact 1 で１が出てくるでまた、fact 1になって永遠に続くとかの勝手な思い込みでしょ

あるいは、
fact 0 =1 になるから、また fact 1 -1 になると思ってるとか

だから、永遠に１が続くと勘違いしちゃっている

**デフォルトの名無しさん** · 2019/02/03(日) 21:27:00.44

>>22
ということはやっぱり1を返したら必ず再帰は止まる仕様であってるのかな？
だったらすっきりするんだけども

**デフォルトの名無しさん** · 2019/02/03(日) 21:28:01.94

>>23
>1 - 1で fact 0をevalしてまたfact(1)になる
ならねーよ　そこが恥ずかしいところだ

**デフォルトの名無しさん** · 2019/02/03(日) 21:29:01.89

途中で。。。

まあいい。

Pythonでも再帰出来る。
特別な話じゃない。

def fact(n):
if n == 0:
return 1
else:
return (n * fact(n - 1))

**デフォルトの名無しさん** · 2019/02/03(日) 21:29:11.55

>>23

>>>20
>だからfact(1)で無限に続いちゃうよね
>1 - 1で fact 0をevalしてまたfact(1)になる
>そこで終了条件が必要だけど何にも書いてないから記述通りならずーっと続く

そうはならない

fact 1 = 1 * fact 0
に簡約される

そして
fact 0 = 1 であって
fact 0 = 0 * fact(0 - 1) とは絶対にならないからここで終わる

高校数学がわかるなら、漸化式と同じだと思えばよい

**デフォルトの名無しさん** · 2019/02/03(日) 21:30:12.31

>>25
そうそう。そのとおり。

◆QZaw55cn4c · 2019/02/03(日) 21:31:19.47

>>23
＞1 - 1で fact 0をevalしてまたfact(1)になる

＞fact 0 = 1
というのは、関数 fact のうち fact(0) (引数が 0) のときの値は 1 である、と確定的な記述をしています。ここで答えが決まったので、さらに答えを求めるための関数適用作業には入りません、それはそういう意味です
どうして eval したあと fact(1) になる、と判断したのでしょうか？
fact(0) = 1 の 1 というのは fact() の値であって、fact の引数ではなく、また fact の引数になりうる記述は「fact 0 = 1」という記述の中には見つからないのですが

＞fact n = n * fact (n - 1)
この記述のなかには、たとえば引数が 7 だとすると「 fact 8 を fact 7 の値をつかって表現する」ということですから、fact 8 を eval する「途中で」 fact 7 を eval しようとする、ということは書かれています

**デフォルトの名無しさん** · 2019/02/03(日) 21:32:49.38

>>25
その考えであってる。

◆QZaw55cn4c · 2019/02/03(日) 21:32:49.97

>>25
「1 を返したら」とまるのではなく
fact 0 = 1
と fact の求値が、この行で確定しているから、止まるのです。
fact 0 = 100
という定義であっても、とまりますよ

**デフォルトの名無しさん** · 2019/02/03(日) 21:33:05.02

>>28
いやいやfact(1)の評価は0なんだし
fact 0の定義があるからまた1
どう考えても続くんだよね

そもそも再起から脱出するためのコードがどこにもないから怪しいとも踏んでる
何か前提となってる仕様がありそうだ

**デフォルトの名無しさん** · 2019/02/03(日) 21:34:47.28

>>29
やっぱりそうなんだ
そういう重要なことは早めに説明書きしといてくれないと大混乱だわ
まースッキリしたありがと

そういう仕様なら色々めんどくさいな・・・

**デフォルトの名無しさん** · 2019/02/03(日) 21:35:32.72

>>33
>いやいやfact(1)の評価は0なんだし

違う
どこにそんなことが書かれている？

◆QZaw55cn4c · 2019/02/03(日) 21:35:45.64

>>33
＞いやいやfact(1)の評価は0なんだし
ここが違っています。
fact(1) の評価は 1 * fact(0) であって、 0　じゃないです
fact(0) の値が具体的になにかは、fact(0) を意識しはじめた時点では分からないのですよ

**デフォルトの名無しさん** · 2019/02/03(日) 21:37:12.79

バカ過ぎて泣けてくる…

**デフォルトの名無しさん** · 2019/02/03(日) 21:37:24.99

>>33
おもろいな　だんだんネタに思えてきた

fact nの定義をよく見ろ　
fact 0 = 1 で再帰していないじゃん　ここで止まるだろ　普通に考えれば

他の言語も一緒だろ　ただそれをパターンマッチでやってるだけ

**デフォルトの名無しさん** · 2019/02/03(日) 21:37:39.39

>>34

えーと、すまん、「どんな場合でも」再帰は１を返したら終了すると考えているのなら
それは大間違いだ

**デフォルトの名無しさん** · 2019/02/03(日) 21:38:05.69

>>33
fact 1の評価は1 * fact 0

fact 0のみが再帰してない。(基底部)
再帰は再帰部と基底部が必ず最低1個ずつ存在する。