関数型プログラミング言語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 が精一杯ですが、あなたの返答をみて改善できる点はないか検討したいと思います