関数型プログラミング言語Haskell Part30 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/01/15(日) 23:43:54.28

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

haskell.org (公式サイト)
http://www.haskell.org/

前スレ
関数型プログラミング言語Haskell Part28
http://echo.2ch.net/test/read.cgi/tech/1428597032/

**デフォルトの名無しさん** · 2017/04/09(日) 14:32:15.66

Haskellでエロイベント満載の
エロゲーを作る入門書が欲しい

**デフォルトの名無しさん** · 2017/04/09(日) 22:07:49.23

Haskellってゲーム創るのに向いてるの？

**デフォルトの名無しさん** · 2017/04/10(月) 00:42:05.83

エロゲー作るのに大事なのはエロ絵だけ、プログラミング言語なんて全く関係ない

**デフォルトの名無しさん** · 2017/04/10(月) 01:04:16.20

圧縮した画像を取り出したりするのはC言語だと思う
他の言語を混ぜても、小規模ならC言語の占める割合が高い
だから他の言語はスケーラビリティがーと言って大規模化しようとする

**デフォルトの名無しさん** · 2017/04/10(月) 02:02:19.00

C言語開発はストレスで禿げるから嫌だ
居玉で横歩取りするような将棋は嫌だ

**デフォルトの名無しさん** · 2017/04/10(月) 03:00:41.47

>>270
モナディウスあるから作れないことはないけど、C/C++のが向いてる。
Haskellに限らずJavaやC#みたいなGC使ってるのはタイミングがシビアなゲームには向かない。
(やるとしても場面切り替えのタイミングまでGC止めたりと、工夫が必要)
シビアじゃないゲームならUnityの公式言語だったり、PS VitaのSDKもC#だし、ゲームプラットフォームの選択肢多いC#じゃね？

**デフォルトの名無しさん** · 2017/04/10(月) 03:05:43.30

とはいえ今時ゲームというばスマホだから
スマホ対応の難しい言語は論外だろうな

**デフォルトの名無しさん** · 2017/04/10(月) 03:14:10.80

ゲームとは言わんが、Haskellでスマフォアプリ作れたらなぁ。。。
Webアプリを作って、URLをスマフォの画面に置くのが関の山だろう。
Yesod本の和訳早よ。

**デフォルトの名無しさん** · 2017/04/10(月) 03:52:14.23

同系統の言語のCleanはIDEに標準で付いてくるサンプルに
２D横スクロールアクションみたいなゲームとかTCPとかあるから
そっち使うとかは？

**デフォルトの名無しさん** · 2017/04/10(月) 03:58:17.94

Androidで動くHaskellの話はどうなったの？

**デフォルトの名無しさん** · 2017/04/10(月) 05:18:31.19

どの言語でも無理矢理Androidで動かす狂人はいるけど
実用性はというと・・・お察しください

**デフォルトの名無しさん** · 2017/04/10(月) 08:42:46.72

>>271
声優だって大事

**デフォルトの名無しさん** · 2017/04/10(月) 11:21:56.58

purescriptとりあえず入れてみたけど、コンパイラしかないのな

**デフォルトの名無しさん** · 2017/04/10(月) 21:28:48.23

arrayの要素数を型に含めることはできないの？
それがあれば、行列の積とかで便利だと思うんだけど
オレ頭が悪いんで言っている意味が分からないかな…

**デフォルトの名無しさん** · 2017/04/10(月) 21:55:22.44

Dependent Typeで検索

**デフォルトの名無しさん** · 2017/04/10(月) 23:31:00.56

JVMで動くHaskellことFregeは最近どうなっているのか

**デフォルトの名無しさん** · 2017/04/11(火) 00:12:08.28

Haskell風AltJSのベンチマーク - Qiita
http://qiita.com/philopon/items/1451f6b8c5ccec41479d

ブラウザゲーム作るにはまだまだなのかな

**デフォルトの名無しさん** · 2017/04/11(火) 00:13:19.38

>>282
要素数2 Bool -> Double
要素数3 Either Bool () -> Double
要素数4 (Bool, Bool) -> Double

**デフォルトの名無しさん** · 2017/04/11(火) 00:40:49.07

仮想機械上にランタイムシステムを敷いて、さらにその上で動かすの？

……遅そう

**デフォルトの名無しさん** · 2017/04/12(水) 23:48:48.59

>>259
>事の本質を捉えてからドキュメントから求めるものを探す。

この能力を身につけられるHaskell本はありますか？

**デフォルトの名無しさん** · 2017/04/12(水) 23:59:29.26

>>288
それはHaskellプログラマに特有の能力じゃないし、
他言語のプログラマよりも特に優れている訳でもないから、
Haskell本に求めても無駄。
強いて挙げれば「珠玉のアルゴリズムデザイン」。

でも、もっと他の本を読んで実践した方がいい。
例えば「いかにして問題を解くか」シリーズ。

**デフォルトの名無しさん** · 2017/04/13(木) 00:17:54.59

Haskellは数学だから基本は数学本に丸投げだよな
しかしλとか∀とか真面目に説明した数学本は見たことがない

**デフォルトの名無しさん** · 2017/04/13(木) 02:17:21.29

>>290
知らんだけだな

**デフォルトの名無しさん** · 2017/04/13(木) 02:32:00.36

数学の裏付けで支えられてる言語って安心感ある
誰しも学習に費やした時間を反故にしたくないのだ
つぶしが利く共通項目を辿って成長していきたい

**デフォルトの名無しさん** · 2017/04/13(木) 06:59:19.11

>>288
むしろそれはプログラマに必須の能力。
Haskellは普通の言語でそれが見えない人にも見える様にしてくれる。
(普通の言語ではプログラマになれなかった人でもプログラマになれるかも知れない言語)

本としてはHaskell本じゃ無いが、プログラミングinOcamlが良かった。
その後にプログラミングHaskell読むと良い。
どうしてもモナド理解したかったらすごいH本も読む。

CやJavaでマージソートのコード読んでも何やってるのか分からんかったが、Haskellだと初心者向けのアルゴリズム本で、マージソートとはこう言う動きをするソートって図解を読んで、自分で書けた。

今にして思えば、他の言語のアルゴリズム本はソートがリスト前提なのに配列でいきなり作るから分かりにくいって気付いたが。
リストで作って、遅いから配列にしたい。
どう書く？みたいな書き方なら他の言語でも分かりやすいのに。

**デフォルトの名無しさん** · 2017/04/13(木) 11:10:39.92

>>292
残念ながら時間が無駄になる確率は0ではない
0が良いというのは数学とは関係ない人間の願望

**デフォルトの名無しさん** · 2017/04/15(土) 17:32:06.76

数学の分からん馬鹿の多い板だな

◆QZaw55cn4c · 2017/04/15(土) 18:41:55.91

>>293
C/Java のソートはインプレイスであることが優先されるからね

**デフォルトの名無しさん** · 2017/04/18(火) 05:20:40.72

キャッチコピーすごいw

Haskellの美しさを
知っている人は、
人生に絶望することはない。
Haskellで世界を変えたい。
http://www.shuwasystem.co.jp/products/7980img/4806/a.jpg

**デフォルトの名無しさん** · 2017/04/18(火) 05:48:02.94

Haskellを学ぶことによりC++の凄さを知りました

**デフォルトの名無しさん** · 2017/04/18(火) 08:09:34.88

ちょっとオカルトチックにするのやめて
またHaskell馬鹿にされるじゃん

**デフォルトの名無しさん** · 2017/04/18(火) 09:21:24.08

その本めくってみたけど基本的な言語機能を延々噛み砕いて説明してるだけのバカが崇めるためにあるような本だった
インテリアに最適

**デフォルトの名無しさん** · 2017/04/18(火) 09:45:04.79

プログラミング言語を国家か何かのように考えてるやつはみんなオカルト
それをやめさせることができたらノーベル平和賞を取れる

**デフォルトの名無しさん** · 2017/04/18(火) 10:44:46.76

Haskellは単なる科学であり魔術でも宗教でもない。余計な飾りは要らない。ただただ成果を出せばよい

というわけでHaskellの成果を挙げて

**デフォルトの名無しさん** · 2017/04/18(火) 18:17:01.21

>>302
> Haskellは単なる科学であり魔術でも宗教でもない。余計な飾りは要らない。ただただ成果を出せばよい

正確に言えば「Haskellは単なる技術であり」だな
科学の主たる目的は真理の探究、社会に価値を生み出す（または価値を増加させたり価値の増加を容易にする）のは技術
個々のプログラミング言語、特に実用を目指している言語、は
言語に関する様々な理論（構文の理論や意味論などで、これらは自然科学ではないが数学という科学…形式哲学とでも呼ぶべきもの…の一分野の成果）の
適用としてより「容易にプログラムを書ける」とか「よりバグの発生する可能性を減らす」といった現世的な御利益つまり価値の増大や創造を求めたものだから

> というわけでHaskellの成果を挙げて

うん、技術的成果としてのプログラミング言語に対して、この要請は実に適切だね

**デフォルトの名無しさん** · 2017/04/18(火) 20:45:33.32

あのスレの次スレが立ってないからってこっちくるのはヤメレ

**デフォルトの名無しさん** · 2017/04/20(木) 11:33:28.13

成果出まくりのC/C++はどちらかというと嫌われ者なので
C/C++の成果をどうやって否定しようかと知恵を絞っているのが現実
成果主義は机上の空論

**デフォルトの名無しさん** · 2017/04/20(木) 14:02:32.75

HaskellはC++に挑む気はなさそう（代わりにRustが挑んでそう）

Haskellの相手は頑張ってJavaでしょ
Javaクラスのパフォーマンスを少ない労力でパパッと実現みたいな
一応ネイティブで動くみたいだがランタイムシステムの監督の元だし、このランタイムシステムの効率ってのが怪しい
ガベコレ技術なんかJavaのそれに何周も遅れとってそうだし

参照透明だと最適化かけ易いって？最適化の研究進んでるの？

**デフォルトの名無しさん** · 2017/04/20(木) 15:34:20.89

>>306
確かにGHCはあまり性能を追求しないね。

Haskell、OCaml、RacketでGCのレイテンシを測る
http://postd.cc/measuring-gc-latencies-in-haskell-ocaml-racket/
>Haskell：ワーストケースの停止時間は51ミリ秒
>OCaml：多くの停止時間は220マイクロ秒から1ミリ秒の間で、最長は2.7ミリ秒

**デフォルトの名無しさん** · 2017/04/20(木) 23:42:51.61

haskellをdisるスレ

**デフォルトの名無しさん** · 2017/04/21(金) 15:08:22.39

>>307
OCamlは性能★だけ★が売りだから速くて当然
元祖MLの醜い構文を正しモジュールに関連する諸機能を追加したのがStandard MLで
元祖MLを生み出したRobin Milner自身もStandard MLに入れ込んでいた
（Standard MLのformal semantiｃｓの定義書とかまでMIT Pressから出版したしね）

ところがフランスINRIAの連中がMilnerやPaulsonらイギリスのStandard MLグループに対抗して
昔のMLの醜い構文のまま言語をオブジェクト指向へと拡張して作ったのがOCaml
でっ、実行性能の差で生き残ったのはOCaml
お蔭でMLはグチャグチャでグロテスクな構文のほうが生き残ってしまいましたとさ

だからOCamlは実行性能だけは良くて当然なんだよ、だってそれだけでML界の競争を生き残って来たんだから

**デフォルトの名無しさん** · 2017/04/26(水) 18:54:44.10

Haskellで書かれた日本人作のゲーム、Steamで販売されてる
http://store.steampowered.com/app/591640

**デフォルトの名無しさん** · 2017/04/27(木) 14:26:27.43

うぉおおおおおお

**デフォルトの名無しさん** · 2017/04/27(木) 16:50:12.06

『教養としての関数型プログラミングHaskell』とかいう分厚い本どうなの

**デフォルトの名無しさん** · 2017/04/27(木) 16:53:18.87

高価なウンコと聞いた

**デフォルトの名無しさん** · 2017/04/27(木) 18:37:54.82

読んでないが筆者の名前はhackageでよく目にする
謎のオレオレライブラリを作るのが好きな人という印象だ
https://hackage.haskell.org/user/YoshikuniJujo

**デフォルトの名無しさん** · 2017/04/27(木) 21:51:28.67

ステマか？

**デフォルトの名無しさん** · 2017/04/27(木) 22:06:53.42

いや純粋に黒くて大きくて書店で異様な存在感を放ってたので気になったんだけどウンコだったのか

**デフォルトの名無しさん** · 2017/04/27(木) 22:20:40.24

>>313
Amazonレビューにキツめのがついてたわ

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

秀○システムは毛の壁本出してしまうという暴挙以来どうもイメージが悪くてな……

**デフォルトの名無しさん** · 2017/04/27(木) 23:09:35.55

タイトルからは計算論やらラムダ計算関係の知識を教えてくれそうな内容に見えるけど、
レビューや内容紹介を見ると「Haskell学習」とかなら良かったんじゃないかな？

と内容も見もせずに思いましたマル

**デフォルトの名無しさん** · 2017/04/28(金) 00:28:50.88

初心者向けにStackの使いこなし、チュートリアルとか書いた方が喜ばれたね。

**デフォルトの名無しさん** · 2017/04/28(金) 00:38:53.42

失望しました。代わりに Chris Okasaki 先生の純粋関数型データ構造買います

**デフォルトの名無しさん** · 2017/04/28(金) 02:15:20.57

>>321
純粋関数型データ構造
https://www.amazon.co.jp/dp/4048930567
"Purely Functional Data Structures" の邦訳『純粋関数型データ構造』が発売されます
http://d.hatena.ne.jp/ku-ma-me/20170316/p1
関数型言語での最適を考える：純粋関数型データ構造、Chris Okasaki
http://www.injpok.tokyo/4048930567-functional-data-structure
Edison
http://rwd.rdockins.name/edison/home/
>Edison is a library of purely function data structures
>for Haskell originally written by Chris Okasaki.

**デフォルトの名無しさん** · 2017/04/28(金) 03:02:15.51

関数型言語って pure が付くととたんにマニアックになるんだよなー

**デフォルトの名無しさん** · 2017/04/28(金) 09:01:31.72

それはオブジェクト指向も同じっしょ。

**デフォルトの名無しさん** · 2017/04/28(金) 09:57:15.79

あ、ホントだ

でも純粋関数型言語って 1とか2とかの数値や、
true/falseのbool値すら関数(ラムダ式)として表現するやつとかあるよね
マニアックが極まってるというか

**デフォルトの名無しさん** · 2017/04/28(金) 10:02:36.98

それは関数型言語なら純粋じゃ無くてもそうだが。。。

**デフォルトの名無しさん** · 2017/04/28(金) 13:28:31.27

ごめん

15年以上前のうろ覚えのラムダ計算の知識しかないんだけど、
1 とかの基本型をチャーチ数のようなラムダ式で表す体系は
型なしラムダ計算でしかなりたたなくて、
型付きのラムダ計算は自然数などの基本型はラムダ式では表せないんじゃなかったっけ？

**デフォルトの名無しさん** · 2017/04/28(金) 14:57:12.95

うーむ。。。
まず左結合のチャーチ数をどうやって右結合のラムダ式で表現するんだろう？とか、色々イメージが掴めん。。。
確かに整数型は整数としか計算出来ないけど、型変数とかだったらズルイかもだけど行けそう。
私もそんな話は昔読んだ気がするんだが。。。
詳しい人を待ちますかね。

チャーチ数そのものは代数的型で簡単に実現出来るけど、そう言うのじゃないんだよね？

**デフォルトの名無しさん** · 2017/04/28(金) 19:46:38.88

適切な抽象化があれば値がどうやって表されるかなんてどうでもいいよ

**デフォルトの名無しさん** · 2017/04/28(金) 23:29:10.15

関数言語得意なお前らlazy Kとかunlambdaとか得意そう

**デフォルトの名無しさん** · 2017/04/28(金) 23:38:48.37

正直言ってこういうのサッパリ分からん

ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー
http://d.hatena.ne.jp/syamino/20120524/p1

**デフォルトの名無しさん** · 2017/04/29(土) 07:20:37.24

もはやHaskell関係ないって言いたいところだけど
そう言えばチャーチエンコーディングってfoldr/buildそのものだな

**デフォルトの名無しさん** · 2017/04/29(土) 09:08:18.51

アプリ作る話は一切出てこない

**デフォルトの名無しさん** · 2017/04/29(土) 10:11:28.20

Jpegの何バイトめから何バイトがどんな情報とかの仕様教えてくれたら頑張ってみるよ。
テキストなら割と扱えるんだけど、バイナリはデータ構造知らんと何とも。。。
こう言うところでプログラマーになれんかった。

**デフォルトの名無しさん** · 2017/04/29(土) 10:28:52.14

圧縮なんてしない方がアプリを早く作れるよ
GUIも使わない方が早く作れる
それで素早く作ったアプリは原始的なので人に見せない
科学が発達すればするほど最先端に追いつくまでの時間は長くなる

**デフォルトの名無しさん** · 2017/04/29(土) 10:38:06.28

GUI使わないプログラム普段おまえら使うのか
いったい何をやっているんだ
科学計算は日常系でないからなしな

**デフォルトの名無しさん** · 2017/04/29(土) 11:24:38.37

プログラムの世界でGUI依存なんて基本的に羞恥なんだが素人かな

**デフォルトの名無しさん** · 2017/04/29(土) 11:26:25.86

おいらはプログラマーの道をすっぱり諦めたから、当時一番気に入ったHaskellの残留思念だけで書きこんでる。
写真がプログラミング以上に楽しいから、Jpeg弄れるライブラリあったら触ってもいいかな。

HaskellでGUIと言えば、MSがHaskell+WXでGUIのサンプルをpdf(英語)で公開してから、海外のHaskellerは軒並みWX使ってるっぽい。
おいらの時はRWHにgtk2hsが載ってたからそれにしたけど、MSのpdf読む限りWXのがコード短い。。。
RWH恨むぞ。。。

**デフォルトの名無しさん** · 2017/04/29(土) 11:26:31.41

素人に売りつけるソフトにGUIは不可欠

**デフォルトの名無しさん** · 2017/04/29(土) 13:06:45.39

アーキテクチャの話も一切出てこない

俺達は汎用プログラミング言語でいったい何をしているのか

**デフォルトの名無しさん** · 2017/04/29(土) 15:22:04.96

デザパタみたいなの？
パターンって程実践で使われてないだろ。

んー。。。
使ってた感触だと、割と行き当たりばったりからの仕様変更でも何とかなるのが関数型言語の強み？と思わなくも無い。
ちょっとの変更にも関数経由するから、自然と既存の関数使い回せないか考えるし、関数型言語もそう言う風に進化して行ってるように感じる。

某スレで話題になったキャットドアクラスも、変な縛りがなければ究極的には機能の組み合わせでドアが開くかどうかの問題なのだから、タプルにBoolを並べれば良い。
ただ、同じBool値ばかりだと違う機能を付いてる(付いてない)と表現しやすいので、適当な型を作ってコンパイラが順番間違えたらエラー出すようにする。
cd = (False,型Aの値)
値が欲しかったら
getA t = snd t
または引数の時点で直接欲しい値にアクセス。
getA (_,x) = x
仕様の拡張に関してはタプルを入れ子にする事とする。
継承というよりは委譲に近い。
理屈では(以前の機能,拡張機能)の形でいくらでも入れ子に出来る。

cdEx = (cd,型Cの値,型Dの値)
cdFX = (cdEx,型Eの値)

基本機能だけなら基本のタプル取り出して使う。
getA $ fst cdEx
拡張機能だけまたは、拡張機能と基本機能の組み合わせは引数の時点で(以下略)
getC (_,x,_) = x
getAD ((_,x),_,y) = x + y

ただ、関数型言語は元々多くの状態を管理するのに向かない。
例の通り、構造が複雑になると扱い難い。
HTMLなりXMLなりXAMLなりに状態管理は任せた方がいい。
んじゃ、おいら夜勤明けなんで寝るわ。
お休みzzz...

**デフォルトの名無しさん** · 2017/04/29(土) 15:49:01.36

科学計算が日常じゃないってマジ？

**デフォルトの名無しさん** · 2017/04/29(土) 16:12:38.77

しかし多くの状態を楽に管理できなきゃ、
ゲームも商支援系ソフトもクリエイター系ソフトも何もまともに作れん
作れたとしても、後のメンテが辛くなるコードが出来上がる

向いているのは自身で状態を維持変化しなくてもいいような、
フィルターとしてモデリングできるものしかなくなる

たとえば linux の簡単なコマンドや web アプリ、FX自動取引システムくらいか

処理速度の問題は実用的にはほとんど気にならないレベルだと思うし、
メモリリークの問題はそれがHaskellだから諦めて、せいぜい気をつけろと言える

が、状態管理のしにくさは、これが解決すれば
爆発的にユーザーが増えそうなだけに、何か発明がほしいな

**デフォルトの名無しさん** · 2017/04/29(土) 20:54:16.08

抽象的な状態遷移はできるでしょ
ただ具体的な現実の状態を忠実に再現しろと言われるとよくわからない
忠実さを競う意味がわからない

**デフォルトの名無しさん** · 2017/04/29(土) 22:50:14.03

おはー。
そこよな。
IORefとかで状態管理出来るけど、それだとデフォルト引数とかある普通の言語の方が楽。
どっちかと言えばWebプログラミングみたいにHTMLやDBに状態持ってもらって、ここの項目をこう加工したいって時だけHaskell的なのが良いと思う。
奇しくもMVCとかMVVMのモデル。

キャットドア問題みたいなのは問題自体の使いどころが判らん。
おいらは問題を解決したいのであってクラスを作りたいんじゃ無い。

オブジェクト指向でなぜ作るのかって本のジャンケンを一対一から多人数に拡張みたいなのが問題として本質を突いてると思う。
本当の仕様変更って、一旦根本から考え直さないといけない事があって、解決したいのはそこだからね。

オブジェクト指向だと、結局一旦全部壊してクラスで表現して解決。
関数型言語だと一旦バラしてリストとか加えて使い回せるのは使い回す。

**デフォルトの名無しさん** · 2017/04/30(日) 00:00:51.50

関数型を選択することで、あるレベル以上の密結合を完全に禁止できる？？

**デフォルトの名無しさん** · 2017/04/30(日) 00:09:16.78

>>346
禁止と言うのが、言語仕様としてコンパイラに弾かれるという意味なら、禁止にはできない。

そもそも、結合度と関数型とは何も関係ない。

**デフォルトの名無しさん** · 2017/04/30(日) 00:24:21.53

そんな大規模なの作った事ないけど、少なくともクラスみたいにデータと手続きが密接に関係してるものよりは使い回しが効くよ。
ただ、それは関数型言語だからって訳じゃないと思う。
Cがグローバル変数の問題解決して、ジェネリック(テンプレート)導入すればそれで済む。
Goが一番それに近いのかな？(でもジェネリック無いんだよな。。。)
関数型言語はグローバル変数が読み込み専用で、問題になり難いから解決し易かっただけ。

私は文法の美しさでHaskellに惚れてるだけで、Haskellが絶対の解では無いと思ってる。
手続き型にはデフォルト引数とか、メッセージ引数と言う、引数の数や順番を減らしたり入れ替えても問題無い仕組みがある。
それぞれのメリット/デメリットをうまく組み合わせれば良い。

**デフォルトの名無しさん** · 2017/05/01(月) 08:17:07.40

正の整数が1万個格納されたリストAの中に偶数が2個以上あるか調べたいです
手続き型だとcount=0みたいな変数を用意してループを回してcountが2になったらループを打ち切るという形になると思うのですが、
haskellだとどう書けばいいでしょうか？
filterしてから数を数えることも考えたのですがそれだと2つ見つかってからも処理が続くので少し非効率的な気がしてます
初歩的な質問で申し訳ありませんがご教授いただければ幸いです

**デフォルトの名無しさん** · 2017/05/01(月) 09:22:52.54

>>349
haskellは遅延評価だからtakeとfilterで無駄なループしない

length . take 2 $ filter even [1..]

**デフォルトの名無しさん** · 2017/05/01(月) 09:38:09.96

その手続き型でのカウンタ変数を蓄積引数にするだけ

solve = solve' 0
　where
　　solve' 2 _ = True
　　solve' _ [] = False
　　solve' n (x:xs) = solve' (if even x then (n+1) else n) xs

main = print $ solve [1,3..1000001]

**デフォルトの名無しさん** · 2017/05/01(月) 11:06:48.65

>>350
>>351
なるほど…ありがとうございます
どうしても手続き型の考え方に引っ張られてしまってダメですね
精進します

**デフォルトの名無しさん** · 2017/05/01(月) 11:18:51.46

遅延評価が必ずループを打ち切る保証はない
length (repeat ()) >= length [] --> ⊥
longer (repeat ()) [] --> True

longer [] _ = False
longer (_:a) (_:b) = longer a b
longer _ _ = True

**デフォルトの名無しさん** · 2017/05/01(月) 11:46:14.32

遅延評価だからtake 2で必ず評価止まるわ

**デフォルトの名無しさん** · 2017/05/01(月) 11:52:30.52

入力が無限でその中にevenがなけりゃtakeでも止まんないっしょ

**デフォルトの名無しさん** · 2017/05/01(月) 12:35:32.98

さすがにその指摘は意味ないと思うけど

**デフォルトの名無しさん** · 2017/05/01(月) 13:23:37.16

でも人間にとって無意味な手をコツコツ打って勝つ戦略って最近の人工知能がやりそうだ

**デフォルトの名無しさん** · 2017/05/01(月) 14:06:36.95

>>355
そんな例だと遅延評価関係なく解決不可能だろう

**デフォルトの名無しさん** · 2017/05/01(月) 15:43:00.00

むしろ止まらないのが正常な振る舞いだと思うの

**デフォルトの名無しさん** · 2017/05/01(月) 17:46:12.38

>>355
ちゃんと1万個って言ってるのに、どうして自分の都合の良いように前提条件変えちゃうの？
人の話聞こうよ！ゾイゾイ言ってないでさあ！

**デフォルトの名無しさん** · 2017/05/01(月) 23:03:54.91

１まんこ

**デフォルトの名無しさん** · 2017/05/02(火) 01:06:52.67

型でガッチガチに固めてコンパイルエラーで危険なコード通すの阻止してくる関数型言語の姿勢ってフールプルーフ？

**デフォルトの名無しさん** · 2017/05/02(火) 07:41:56.01

>>360
草ァ！

**デフォルトの名無しさん** · 2017/05/02(火) 10:12:37.54

>>360
ゾイ！！！！！！！！！

**デフォルトの名無しさん** · 2017/05/03(水) 16:56:36.78

ハスケルの発音はどこにイントネーションを置けばいいですか？

**デフォルトの名無しさん** · 2017/05/03(水) 17:08:16.15

はぁすくぅ

**デフォルトの名無しさん** · 2017/05/03(水) 17:25:56.12

ハースニールと呼んであげて

**デフォルトの名無しさん** · 2017/05/03(水) 17:34:41.80

>>366
「haskell pronounce」でググれば簡単に
https://wiki.haskell.org/Pronunciation
に行き着く。

そうすれば、
https://mail.haskell.org/pipermail/haskell-cafe/2008-January/038756.html
に案内され、疑問が解消されるはずだ。