関数型プログラミング言語Haskell Part31©2ch.net

**デフォルトの名無しさん転載ダメ©2ch.net** · 2017/09/27(水) 02:33:08.70

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

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

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

**デフォルトの名無しさん** · 2018/01/06(土) 23:19:28.76

>>434
はい
https://ideone.com/0gDEIW

**デフォルトの名無しさん** · 2018/01/06(土) 23:31:44.70

エラーの原因を教えてほしいという奴にエラーの原因を教えないのがHaskellerか
また同様のエラーが出てもこのスレにくればコード書き直してやるよっていう優しさか

**デフォルトの名無しさん** · 2018/01/07(日) 00:03:32.13

ハスケラーならコードで会話できるだろ？

**デフォルトの名無しさん** · 2018/01/07(日) 00:18:57.89

Windows10でstackのプロジェクトをbuildするとエラーが出てビルド出来ないお(´・ω・｀)

While building custom Setup.hs for package ........
..
..
..
Process exited with code: ExitFailure 1

**デフォルトの名無しさん** · 2018/01/07(日) 00:26:59.29

ボウヤは『windows10 haskell stack build error』でググるとかはしたのかい？

**デフォルトの名無しさん** · 2018/01/07(日) 00:50:52.73

飢える者に魚を与えても一日しか救えない
釣りを教えれば一生救えるやもしれぬ
してみれば、>>435は魚を与えたのじゃ

**デフォルトの名無しさん** · 2018/01/07(日) 01:00:14.22

賢者乙

**デフォルトの名無しさん** · 2018/01/07(日) 01:20:55.91

>>434
>>435
条件ミスってて全部otherwiseに行ってたのも直したらちゃんと動きました
ありがとうございます

**デフォルトの名無しさん** · 2018/01/07(日) 08:44:45.58

>>438
Windowsで動かないパッケージ使ってるとか？

**デフォルトの名無しさん** · 2018/01/07(日) 18:07:55.57

>>428
好き嫌いというか、ループはループ中で変数を操作するから値を返せるのであって、変数を言語から排除すれば自然にループも排除されるんじゃないの？

ループがあっても再帰が不要にはならない。でも再帰があればループ不要は本当の話。だからこそ変数を排除した言語があるんでしょ。

**デフォルトの名無しさん** · 2018/01/07(日) 20:35:35.56

>>438 の原因はプロジェクトのパスに日本語が含まれているからでした...orz

**デフォルトの名無しさん** · 2018/01/07(日) 21:17:59.03

悲しいかな

**デフォルトの名無しさん** · 2018/01/08(月) 01:26:04.04

haskellプログラミングできたンゴ
https://i.imgur.com/rzM37pq.png

**デフォルトの名無しさん** · 2018/01/08(月) 01:40:46.80

挿入ソートかやるじゃん

**デフォルトの名無しさん** · 2018/01/08(月) 02:31:15.01

>>447
toBarの仕事はもっと少なくした方がいいよー
ソートとかは既存関数で手抜きしたけど、参考までに
https://ideone.com/fGFOEl

**デフォルトの名無しさん** · 2018/01/08(月) 10:11:27.13

stack の使い方について質問です。

stack new で作ったプロジェクトの package.yaml に executables と tests が設定されています。
その上で、tests のみのビルドあるいはビルド＆実行を行うという事をしたいです。
しかしうまく行きません。
余計なものまでビルドされたり、実行されたりします。

executables には cmd-exe というターゲットがひとつ、tests には cmd-test というターゲットがひとつあるとします。
まず cmd-test のビルドだけを行いたく、stack build :cmd-test コマンドを実行してみました。
すると、cmd-exe と cmd-test がビルドされ、かつ cmd-test が実行されてしまいました。

今度は cmd-test のビルドと実行を行いたく、stack test :cmd-test コマンドを実行してみました。
すると、こちらも cmd-exe も一緒にビルドされてしまいました。

cmd-exe をビルドしないで cmd-test のみをビルドする方法、
そして cmd-test を実行しないでビルドのみを行う方法はあるでしょうか。

**デフォルトの名無しさん** · 2018/01/08(月) 12:02:33.14

>>450
実行しないでビルドだけ行うのは --no-run-tests オプションを付けることで実現できましたが、
それでもまだ cmd-exe の方も同時にビルドされてしまいます。

**デフォルトの名無しさん** · 2018/01/08(月) 13:58:59.98

Haskell、その学習に多大な苦労を強いる割に遅過ぎないですかね
http://benchmarksgame.alioth.debian.org/u64q/haskell.html

**デフォルトの名無しさん** · 2018/01/08(月) 14:07:49.41

普通の言語のできない数学者がプログラミングできるようにするための言語だ
彼らにはたやすい

**デフォルトの名無しさん** · 2018/01/08(月) 14:17:08.35

速さよりもバグの少なさが長点なのでは...

**デフォルトの名無しさん** · 2018/01/08(月) 15:59:26.22

デフォルト遅延評価に破壊的更新超苦手とかいうパフォーマンス的には冗談みたいな存在なのに
静的型付コンパイルというだけでVMアンチ勢から謎の期待を向けられる言語Haskell

**デフォルトの名無しさん** · 2018/01/08(月) 16:35:37.59

この先haskellで良いGUIフレームワークって出ると思う？

**デフォルトの名無しさん** · 2018/01/08(月) 16:52:31.19

>>456
現行のGUIフレームワークの問題点は何でしょうか？

**デフォルトの名無しさん** · 2018/01/08(月) 16:54:40.06

汎用かつネイティブの作法に従うものがいいなぁ。

**デフォルトの名無しさん** · 2018/01/08(月) 21:39:25.30

>>452

いつからHaskellの5行クイックソートが遅いと錯覚していた？ - Qiita
https://qiita.com/as_capabl/items/39e55e7a035dea4dc93a

**デフォルトの名無しさん** · 2018/01/08(月) 22:56:46.89

おまえらってIDE何使ってるの？

**デフォルトの名無しさん** · 2018/01/09(火) 07:52:35.28

>>459
＞Haskellは遅延評価なので、リストを返す関数だからといって中間データとしてのリストを必ず作成する訳ではありませんから、
＞結果を即座にfromListで書き込めば実質的に配列を出力する事が可能です。
ほんとぉ？
もう融合変換なんていらんやん

**デフォルトの名無しさん** · 2018/01/09(火) 11:11:12.53

中間データが不要（融合変換が不要とは言ってない）

**デフォルトの名無しさん** · 2018/01/09(火) 11:23:20.89

せやな
リストのfold/buildやな

**デフォルトの名無しさん** · 2018/01/09(火) 13:28:03.42

まあグラフ簡約がなかったらどうなるか実験した方がいいと思う

**デフォルトの名無しさん** · 2018/01/09(火) 22:16:54.64

>>455
遅延評価＝遅いって考える理由は？

**デフォルトの名無しさん** · 2018/01/09(火) 22:55:36.65

>>465
ほとんどの場合サンクを作るのは無駄だし最適化にも不利

**デフォルトの名無しさん** · 2018/01/10(水) 00:53:00.88

haskellのコンパイルエラーメッセージが難解すぎる

**デフォルトの名無しさん** · 2018/01/10(水) 00:56:33.80

どうすれば直るか教えて下さい。
https://ideone.com/VhTqZE

**デフォルトの名無しさん** · 2018/01/10(水) 01:23:11.48

>>468
問題があるのは10行目 return (shuffle (i - 1) flipped)
これの型は実際には、IO (IO [Int]) だが期待されているのは IO [Int] だ。
IO(などのモナド) に包むために使われる return はここでは不要。外すと IO [Int] になってコンパイル通る。

**デフォルトの名無しさん** · 2018/01/10(水) 01:29:37.26

>>460
> おまえらってIDE何使ってるの？
>>73 あたりで同じ質問があった。VSCode, spacemacs が人気

**デフォルトの名無しさん** · 2018/01/10(水) 01:29:51.07

なるほど！

**デフォルトの名無しさん** · 2018/01/10(水) 18:04:01.49

>>455
この話をすると決まってStrict拡張を持ち出してくるのが痛いHaskellerの特徴だな
じゃあ最初から遅延評価なんかすんじゃねえよ

**デフォルトの名無しさん** · 2018/01/10(水) 20:08:59.81

パフォーマンス的にはC/C++が王道だから素直にFFIを持ち出すのが王道
C/C++とFFIを無視するのは某言語の痛い特徴だよ

**デフォルトの名無しさん** · 2018/01/10(水) 21:51:06.06

久々にHaskellで簡単なプログラム書いたんだけど
構造体使うだけでStateモナドもlensも必要になるあたりやっぱ欠陥言語だなこれ
最初から言語機能にいれとけや

**デフォルトの名無しさん** · 2018/01/10(水) 22:51:06.88

bindは１つの引数しかできないんですか？
アプリカティブスタイルを使わないと無理ですか？
https://qiita.com/7shi/items/85afd7bbd5d6c4115ad6

**デフォルトの名無しさん** · 2018/01/11(木) 00:40:52.51

>>466
その理屈だと遅延評価しない方は更に遅いじゃん。

**デフォルトの名無しさん** · 2018/01/11(木) 11:20:18.33

欠陥のない言語があるならぜひ知りたいなあ

**デフォルトの名無しさん** · 2018/01/11(木) 11:34:32.09

クラスより構造体
メソッドよりフィールドが必要という常識を取り戻すだけで十年単位の時間がかかる

**デフォルトの名無しさん** · 2018/01/11(木) 16:22:14.98

>>476
？

**デフォルトの名無しさん** · 2018/01/11(木) 16:32:20.02

haskellでできることは他の言語だと難しくて
他の言語だと簡単なことはhaskellだと難しいという

**デフォルトの名無しさん** · 2018/01/11(木) 23:26:54.83

>>480
変態言語やん

**デフォルトの名無しさん** · 2018/01/11(木) 23:57:27.46

それ、褒め言葉やで

**デフォルトの名無しさん** · 2018/01/12(金) 01:48:25.78

スクリプト言語を許容できてHaskellをその性能から許容できないというのは理解できない感覚

**デフォルトの名無しさん** · 2018/01/12(金) 11:48:37.84

感覚ではなく統計の取り方がそうなってるんだな
シェルスクリプトなんてプログラムのコンパイル時と起動前に実行するやつだから
起動するまで何分待たされてもベンチマークには関係ないから

**デフォルトの名無しさん** · 2018/01/14(日) 11:36:12.66

型推論まわりを雰囲気で使っていました。
初等的なケースではそれでも問題なかったんですけど、
OVERLAPS とか type family とか出てきてから付いていけなくなりました。

助けてください。
https://ideone.com/XQ17ms

**デフォルトの名無しさん** · 2018/01/14(日) 23:23:09.38

性能からって話はないな。
主にファイルIOやネットワークIOの気軽さの問題だと思うけど。

**デフォルトの名無しさん** · 2018/01/14(日) 23:30:08.22

初心者だから適当だけどそこら辺はバンバンFFI使えばいいんじゃないのとか思ってしまう
そういうもんでもないのか

**デフォルトの名無しさん** · 2018/01/14(日) 23:51:01.69

>>485
つ https://teratail.com/

**デフォルトの名無しさん** · 2018/01/15(月) 00:04:51.86

Stream Fusionの御利益を受けるには、
vectorパッケージでmapとかfoldみたいなので書けるところはすべて書いていく、
という方針でおけ？

**デフォルトの名無しさん** · 2018/01/15(月) 00:57:56.87

>>488 そのサイト、人いないような… とりあえずありがとうです。

**デフォルトの名無しさん** · 2018/01/15(月) 08:59:07.15

>>485
本質的にはこれと同じかな
https://ideone.com/hIoLnD
undefinedは()にもなれるから失敗してるみたい？

**デフォルトの名無しさん** · 2018/01/15(月) 18:46:49.75

>>485
Freer Effectsが、だいたいわかった: 11-7 OVERLAPSプラグマ - Qiita
https://qiita.com/YoshikuniJujo/items/6b57a2778b04f54cac1e#_reference-98a5024f7096c614804a

**デフォルトの名無しさん** · 2018/01/16(火) 00:59:29.28

>>485
横レスですが
(Hoo b ~ HooBar)
(b ~ Bar)
これのチルダってどういう意味なんですか（当方初心者です・・・）

**デフォルトの名無しさん** · 2018/01/19(金) 00:29:15.30

haskell普及させたい言うわりには初心者に優しくない

**デフォルトの名無しさん** · 2018/01/19(金) 00:41:33.13

どちらかというと初心者から中級者になるまでのミッシングリンクが上手く埋められてない
H本の次のレベルにふさわしいものがないと言ったほうがいいか

**デフォルトの名無しさん** · 2018/01/19(金) 00:53:08.18

それhaskell以外の言語でもだいたいそうじゃね？

**485** · 2018/01/19(金) 01:45:02.15

皆様ありがとうございました。勉強しました。

型推論の全体を概観する為に、以下の記事がわかりやすかったです。
http://yu-i9.hatenablog.com/entry/thih
https://goo.gl/MH2cCx
型推論は、ざっくり単一化 -> 帰結の順に行われ、前者が頭部の具体化、後者は制約のチェックの役割になっているようです。

今回のケースで出たどのコードも単一化は通ってるんだけど、帰結の処理の際にエラーが出ていると思います。
>> 491 さんが単純化してくれたケースは、ご指摘の通り undefined がどちらのインスタンスにもなりうるため、"あいまいだ"という旨のエラーが出ていました。
これは例えば OVERLAPPING を INCOHERENT に置き換えると通ります。テキトウな順になるということです(OVERLAPSの解説は頂いた重城サンの記事(>> 492)が参考になりました)。

**485** · 2018/01/19(金) 01:45:29.89

元の >> 485 のコードは型の属(type families)と等式制約が絡んだものです。
hoo :: ( 型制約 ) => 頭部
型制約中に現れるチルダは等式制約と呼ばれていて、これは type families が導入されたときに追加された文法らしい(>> 493)。
ざっくり言うと、Hoo b ~ HooBar は「型の関数 Hoo に型 b を適用したものが型 HooBar と等しくなる、という制約」を頭部に課します。
詳しくは http://www.kotha.net/ghcguide_ja/7.6.2/equality-constraints.html

俺がコンパイラに期待したのは、 f :: (Hoo b ~ HooBar) => b の型シグニチャによって、b ~ Bar を類推することだったんですけど、どうもそれがうまく行っていない。
結局、帰結処理で type family や等式制約がどのように処理されるのかの資料は見つからなかったのですが、失敗する理由はわかりました。
この記事に答えがありました。 https://qiita.com/lotz/items/6c038698c8f04f57113a
type instance Hoo Bar = HooBar だけでは、それ以外のインスタンス、例えば Hoo () などが HooBar とおなじになる可能性を排せないので、b を一意に決定することができないらしいんです。
型関数が単射であることをコンパイラに伝えれば解決です。言語拡張TypeFamilyDependencies　を加え、
- type family Hoo b :: *
+ type family Hoo b = r | r -> b
と書き換えると、>> 485 のプログラムはコンパイルを通ります。

**デフォルトの名無しさん** · 2018/01/19(金) 07:41:26.43

>>495
リスト本読め

**デフォルトの名無しさん** · 2018/01/19(金) 15:11:02.24

>>450
stack で指定したターゲット以外の余計なものがビルドされてしまう問題は、バグの可能性があります。
https://github.com/commercialhaskell/stack/issues/1406

**デフォルトの名無しさん** · 2018/01/20(土) 08:32:17.48

Haskellの型コンストラクタがいまいち理解できなかったけど、ラムダキューブでやっと理解できた。
ポリモーフィックな関数と所謂依存型とセットなんだね。

型コンストラクタとそいつで作られる型がオーバーロードできるのは、紛らわしい気がする。

**デフォルトの名無しさん** · 2018/01/20(土) 09:37:30.01

>>494
何となく学習じゃあ、解決したい問題領域が曖昧なままだからな、何やっても難しく感じるよ。

**デフォルトの名無しさん** · 2018/01/20(土) 16:49:26.40

もし依存型があったらリストの長さにより異なる型を使うね
でも遅延評価はリストの長さが有限でも無限でも同じ型にする
相性悪そう

**493** · 2018/01/20(土) 18:46:54.97

>>498
ありがとうございます

**デフォルトの名無しさん** · 2018/01/24(水) 05:27:57.73

hieとVSCode使ってるんだが、ドキュメントや入力候補が「読み込んでます」ってなって一向に読み込まれないんだが
お前らは問題なく使えてるの？っていうかどんな環境でやってる？

**デフォルトの名無しさん** · 2018/01/24(水) 06:36:24.95

https://csacademy.com/code/ofIwdZBg/

くだらない

**デフォルトの名無しさん** · 2018/01/24(水) 18:54:42.65

csacademyってコード貼り付けサイトして定着してんの？

**デフォルトの名無しさん** · 2018/01/27(土) 12:07:53.22

Haskellの良いところは宣言的であることです。
宣言的であるということはCSSのように素人には使いこなせないということです。
素人には使いこなせなくすることでウェブデザイナーという奇妙な職業が生まれました。
同様にHaskellもハスケラーという新たな職業を生み出す可能性があります。

**デフォルトの名無しさん** · 2018/01/27(土) 17:18:06.19

コードの質の下限が他の言語より高いなとは思う
例えばPHPなんかは、プログラマの能力によって質の良し悪しのギャップが非常に大きい
それに対してHaskellは、上を見たらキリがないが、下を見てもコンパイルエラーを起こさない時点である程度の質が担保されてる
その分覚えることが多いし、短期的な開発効率も下がりそうだけど、長い目で改修や保守を考えると悪くなさそう

**デフォルトの名無しさん** · 2018/01/27(土) 17:19:06.86

>>509
PHPと比べてもしょうがないな…Javaあたりに読み替えといてください

**デフォルトの名無しさん** · 2018/01/27(土) 19:16:11.49

> コードの質の下限が他の言語より高いなとは思う

>>133

**デフォルトの名無しさん** · 2018/01/31(水) 04:05:44.40

入門書
入門書
入門書
　：
Haskell 中級書出して

**デフォルトの名無しさん** · 2018/01/31(水) 04:10:45.92

Effective Haskell ください

**デフォルトの名無しさん** · 2018/01/31(水) 07:45:42.81

Haskell Wikibooksとか中上級くらいでないの？

**デフォルトの名無しさん** · 2018/01/31(水) 18:11:04.78

「プログラミングHaskell」(Graham Hutton (著),‎ 山本和彦 (翻訳))
って入門者向け？

**デフォルトの名無しさん** · 2018/01/31(水) 18:19:54.71

>>515
入門者向けには難しい
入門書を読み終えた初心者には物足りない
そんな本

**デフォルトの名無しさん** · 2018/02/01(木) 08:00:02.87

ghci で
> let x :: (a ~ Int) => a;x = undefined
として実際の型をみると
> :t x
x :: Int
に変わっている。これはどういう仕組みによるもの？

**デフォルトの名無しさん** · 2018/02/02(金) 14:28:38.64

引数が Show a だったらTrue, 違ったら False を返す関数
isShow :: a -> Bool
は可能ですか？

**デフォルトの名無しさん** · 2018/02/02(金) 20:19:41.59

Haskell外部ライブラリの型をShowクラスのインスタンスにしてデバッグを楽にする
http://blog.kzfmix.com/entry/1349904819

本物のプログラマはHaskellを使う - 第15回　Haskellでのデバッグのコツをつかむ：ITpro
http://itpro.nikkeibp.co.jp/article/COLUMN/20071204/288630/

型に対して後から型クラスのインスタンス宣言を自動導出するには - Qiita
https://qiita.com/hyone/items/a47b905936e55147fe59

**デフォルトの名無しさん** · 2018/02/02(金) 20:45:14.24

https://wiki.haskell.org/GHC/AdvancedOverlap
これは自前でインスタンスの一覧作ってる

**デフォルトの名無しさん** · 2018/02/03(土) 00:14:03.29

このコード中に isShow というのがある

https://hackage.haskell.org/package/fitspec-0.4.4/docs/src/Test-FitSpec-Derive.html

**518** · 2018/02/03(土) 00:59:05.30

AdvancedOverlapは外でShowのインスタンスが増えた時に対応できないです。
isInstanceOf ! そういうのがあるんですか。調べてみます。

これを通して実現したい機能は、頭部ではなく型制約でオーバーロードしたいというもの。
具体的にはdiagramsパッケージの元で作ったダイアグラムを画像化したい。
同じ関数で Show a も画像化したい。
一見簡単そうなんですけど、普通に合成したダイアグラムの頭部に具体的な型がつかないので、
通常の型クラスのインスタンス化でオーバーロードできない。
instance Show a => Hoo a where ...
instance (a ~ Diagram B) => Hoo a where ...
-- コンパイルエラー！

**デフォルトの名無しさん** · 2018/02/03(土) 22:01:25.34

すみません、
Huttonの「プログラミングHaskell」で
学習をしているのですが
練習問題の解答が
著者や役者のサイト等を見ても見当たらなく
もし掲載のページを知ってたら教えて下さい。

**デフォルトの名無しさん** · 2018/02/04(日) 04:24:30.53

プログラミングHaskell 訳者によるサポートページ
http://www.mew.org/~kazu/doc/book/haskell.html
> 練習問題の答は、原著者のサポートページにあります。

**523** · 2018/02/04(日) 12:22:57.81

>>524
すみません。
原著者のサポートページでは回答例を見つける事ができませんでした。
翻訳されていないの新版には回答例が掲載されているようですね。

**デフォルトの名無しさん** · 2018/02/04(日) 14:14:55.60

コード例とかならここにあるみたいだけど
http://www.cs.nott.ac.uk/~pszgmh/book-old.html

**デフォルトの名無しさん** · 2018/02/04(日) 19:26:34.09

>>524 >>526

ありがとうございます。
学習の参考にさせて頂きます。

**デフォルトの名無しさん** · 2018/02/22(木) 01:33:31.18

class Hoo a
x :: Hoo a => a -> a
y :: (Hoo a => a) -> a
x = undefined
y = undefined
-- f :: a -> a
-- f a = x a -- コンパイル通らない
g :: a -> a
g a = y a -- コンパイル通る。なんでだ
-- h = y :: a -> a -- 通らない

**526** · 2018/02/23(金) 11:53:44.22

ghcを8.0.2 から 8.2.2に上げた。
h = y :: a -> a -- 通るようになった

**デフォルトの名無しさん** · 2018/03/05(月) 00:25:18.18

このコンテストに参加してるHaskellerたったの6人と少ないのでチミたちも参加したまえ

https://www.codingame.com/leaderboards/challenge/botters-of-the-galaxy/global?column=slanguage&;value=Haskell

**デフォルトの名無しさん** · 2018/03/08(木) 07:40:29.03

emacsでSymbols function definition is void: haskell-debug
てエラー文が出ちゃうんですが、原因わかる人いませんか、、
正確にはspacemacsのinteroです、、

**デフォルトの名無しさん** · 2018/03/12(月) 03:18:18.08

tanakhがイキリー田中って呼ばれているみたいだけどイキリーってどういう意味？

550番組の途中ですがアフィサイトへの転載は禁止です (ﾜﾝﾐﾝｸﾞｸ MMda-oDZj)2018/03/11(日) 22:51:59.49ID:2Wu75Uw+M
pezyスパコン社員の
イキリー田中さん曰わく

Hideyuki Tanaka
@tanakh
最近ずっと国会で、国会じゃなくて裁判所でやるようなことばっかりやってないすか。もう逆に裁判所で政策議論した方が三権分立的にいいんじゃないすか(適当)
午前0:06 · 2018年3月10日
https://twitter.com/tanakh/status/972126503352676352

**デフォルトの名無しさん** · 2018/03/12(月) 03:22:34.32

裁判所でもこんなあほなことやらん

**デフォルトの名無しさん** · 2018/03/12(月) 06:27:09.63

スレチの相手するなバカ