関数型プログラミング言語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/

**デフォルトの名無しさん** · 2017/12/23(土) 23:54:48.18

>>382
楽かどうかという視点ならば、前後に入れるだけなら、
その手間は runApp 関数の中に入れるのと同程度ではないか？

別の処理だからという視点ならば、確かに一見理にかなっていそうたが、
アプリが立ち上がった直後、エントリポイントのロールよりも前に仕事をするものとは、
いったいどのようなロールなのだろう？
私が見てきたアプリでは、runApp 関数の中でコマンドライン解析や設定ファイルの読み込み、
ログシステムの構築なども行っていた。
要するにアプリを動かす準備だ。
準備をする前にすべき事とは？

>>387
runApp 関数内にそのアプリ専用のエントリポイントが書かれたものしか見たことがなく、
それを別のモジュールやアプリに組み込むという状況が想像できないのだが、
具体的にどういう事なのだろう？
その場合、関数名が main だとなぜ困るのだろう？

**デフォルトの名無しさん** · 2017/12/24(日) 02:26:59.79

>>378
社員が総出でtwitterで開発が上手くいかなかったから詐欺にされたって
デマ流しまくっているじゃん

**デフォルトの名無しさん** · 2017/12/24(日) 07:27:03.02

最近毛の壁みないな

**デフォルトの名無しさん** · 2017/12/24(日) 13:10:48.98

壁毛ならマ板にスレあるよ

**デフォルトの名無しさん** · 2017/12/25(月) 01:09:51.28

pythonにはxonshとかいうシェル言語があるらしい
http://vaaaaaanquish.hatenablog.com/entry/2017/11/30/175236
これのHaskellバージョンがあれば便利じゃないか。
Haskellとの親和性は高いと思う。シェルスクリプトって要はコマンドのコンビネータだし、コマンド呼び出しの構文は関数適用によく似てる。

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

ただ、ls -a -l -d hoobar みたいなのをシームレスに書くのはチャレンジングな課題だ。
引数の文字列リテラルのリストなどをコマンドラインにイチイチ打ち込むのは面倒くさい。
RebindableSyntaxでマイナスを定義し直して、、いや、悪手っぽいか。
なるべくHaskellを書いていきたい。いちばん身近なところを置き換えられたなら、とても良い。

**デフォルトの名無しさん** · 2017/12/25(月) 05:14:44.74

haskellバージョンのイメージわかないけど
haskellシェルは何がどう便利になるというの？

**デフォルトの名無しさん** · 2017/12/25(月) 12:02:29.99

pythonの真似だから便利さもpythonと同じになる計画なんだろ
同じにならなかったら、計画通りに行動しなかった奴が戦犯で、計画立てた奴は無罪

**デフォルトの名無しさん** · 2017/12/25(月) 12:28:50.13

Haskellシェルだとhsshとかになるん？

**デフォルトの名無しさん** · 2017/12/26(火) 01:06:43.66

シェルスクリプトを使えばいいと思う
なぜコマンドの実行にHaskellを使う必要があるのか

**デフォルトの名無しさん** · 2017/12/26(火) 11:29:24.52

まあconfigureスクリプトにはm4とかいうプリプロセッサがあるから意外と難しいよな

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

EzoeがいつHaskellに飽きて堂々とディスり始めるのか楽しみ

**デフォルトの名無しさん** · 2017/12/29(金) 05:30:43.56

ガチC++erから見たHaskellというのに少し興味が湧いている

**デフォルトの名無しさん** · 2017/12/29(金) 05:56:52.00

仕様壊れてるC++に慣らされきった人間にHaskellの厳格さの価値がわかるのかねぇ
静的型不要論的な妄言吐きそう

**デフォルトの名無しさん** · 2017/12/29(金) 13:11:23.08

江添っぽさがふんだんに盛り込まれていてよい

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

この人は本当にプログラム書けるのかと不安になることがあるよな。
はっきり言ってc++普及に関しては逆効果をあげてるとしか思えん。

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

芸人だと思って見てるわ

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

老害の見本

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

ローカルマシンにある jenkins において、haskell コードのビルドに stack を使いたいのですが、
その際に環境変数として HOME が設定されていないと使えません。

そこで、ビルド時に使うシェルスクリプト内で HOME を JENKINS_HOME に設定しましたが、
このディレクトリでは何か問題あるでしょうか。
取りあえずやってみましたら、今のところ特に問題なくビルドできていますが・・・

スレチでしたらすみません。

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

>>406
jenkinsはわからないがstackはどうやら $HOME 直下に .stack ディレクトリを作って
そこに(必要なら)ghcとかをインストールするらしい。
例えばconfig.yamlもそこに入っているので、普段の$HOMEにそれがある場合は、jenkinsでのビルドと設定が変わってしまう。
とはいえ、このファイルが働くのは特定のプロジェクトに属さない動作のとき(stack newとか)だけっぽいので、
ディスクの容量が切迫してるとかでない限り、問題ないんじゃないかな。

**デフォルトの名無しさん** · 2018/01/02(火) 00:37:55.48

C#しか知らない大学生なんだが関数型を理解したいんだが何すれば

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

H本を読む

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

F#と比べてどれがいい？

**デフォルトの名無しさん** · 2018/01/02(火) 01:21:41.45

は？勉強目的なら言語名でググって検索件数が多いやつのほうが解決策見つけやすいだろHaskell一択だろぉ

**デフォルトの名無しさん** · 2018/01/02(火) 01:44:03.46

まずHの練習からしたほうがいい

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

>>411
そうなんですか

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

F#もいいけどまずはHaskellの純粋さに感動してからの方が良いよ

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

言語仕様はもちろんとして純粋関数型のデータ構造やアルゴリズムも合わせて学習しないと手詰まりになる

**デフォルトの名無しさん** · 2018/01/02(火) 13:53:49.75

状態マシンでなく関数合成に持ち込む為の定番手法，
例えばiteratee？とかの知識も知りたい。

**デフォルトの名無しさん** · 2018/01/03(水) 00:36:59.01

なぜ関数プログラミングは重要か
http://www.sampou.org/haskell/article/whyfp.html

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

関数型脳を鍛えるにはHaskellがよい

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

プラグマとかシンタックスシュガーのオプションがやたらあって、
古い構文がデフォルトでなくなったり、いまだに安定してないイメージが強い

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

安定してるプログラミング言語ってあんの？

**デフォルトの名無しさん** · 2018/01/03(水) 04:47:00.22

拡張の数は標準の安定性と関係ないし非推奨になった構文も知る限り２，３個程度しかないし言うほど安定してなくはないと思うよ
主要な拡張の破壊的変更も多ければ不安定だがそこは知らん

安定してる言語の話題たまに出るけどどの言語もそれなりに不安定という結論以外になったとこ見たことない

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

>>420
そらLispよ

**デフォルトの名無しさん** · 2018/01/03(水) 13:51:49.16

枯れ

**デフォルトの名無しさん** · 2018/01/03(水) 19:39:52.12

そういや使用安定してるからで極地でCLが使われてたな

**デフォルトの名無しさん** · 2018/01/03(水) 19:43:20.34

x86アセンブラ、めっちゃ枯れてますよ。

**デフォルトの名無しさん** · 2018/01/04(木) 01:39:52.22

https://i.imgur.com/uOo7sWV.gif

**デフォルトの名無しさん** · 2018/01/05(金) 10:31:44.65

>>407
アドバイスありがとうございました。
参考にします。

**デフォルトの名無しさん** · 2018/01/06(土) 13:51:16.58

再帰ってわかりにくくないですか？
実際によく使われているんですか？

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

扱うデータ構造が再帰的なら(連結リストとか木とか)
アルゴリズムも再帰の方が自然

**デフォルトの名無しさん** · 2018/01/06(土) 14:28:29.03

初見だと脳のワーキングメモリをオーバーフローして拒絶反応を示すけど
慣れたら問題先送りにしちゃって尚且つ最後には解決しちゃう魔法みたいで気持ちいいよ

**デフォルトの名無しさん** · 2018/01/06(土) 14:36:45.23

ループより再帰が好きだけどスタック気にしたりわざわざ末尾再帰にしなきゃいけなかったりするのは割とめんどい

**デフォルトの名無しさん** · 2018/01/06(土) 17:33:04.10

breakとcontinueとreturnとthrowは関数ではない
関数ではないものを見るとマクロを書きたがるのがLisp
Haskellはマクロを使わない技術が発達したからなんでも関数を使う

**デフォルトの名無しさん** · 2018/01/06(土) 18:38:34.20

HaskellはCのプリプロセッサ（俗に言うマクロ)を使えるのでは

**デフォルトの名無しさん** · 2018/01/06(土) 22:41:09.20

エラーの原因を教えて下さい
https://ideone.com/yGg3zM#stdin

**デフォルトの名無しさん** · 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使えばいいんじゃないのとか思ってしまう
そういうもんでもないのか