関数型プログラミング言語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/10/15(日) 23:23:28.47

使う意味がわからない
局所的なスコープの中だから式でないと書けないでもなければ使わない

**デフォルトの名無しさん** · 2017/10/15(日) 23:33:15.58

>>66
いいこときいた！

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

値ならlet、関数ならwhereみたいな使い分けしてるわ
両方混ざることもしばしば
caseもdo構文の中とかで普通に使わね？

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

左上から順番に読んで引っかかる時はlet使うかな。パターンガードはwhere一択だね。

baseパッケージを雑に調べたんだけど、総数はそれぞれ
where: 2038
let: 665
case: 979

**デフォルトの名無しさん** · 2017/10/16(月) 18:36:49.72

そして余計な宗教戦争へ発展

**デフォルトの名無しさん** · 2017/10/16(月) 21:17:09.38

foo = \ n -> let xs = map fib [0 ..] in xs !! n
bar = let xs = map fib [0 ..] in \ n -> xs !! n

宗教はいくつか掛け持ちする方がいい
nonlocalにすればlifetimeが長いとか便利な言葉が使える

**デフォルトの名無しさん** · 2017/10/16(月) 21:45:30.25

宗教で思い出したんだけど、みんなエディタは何使ってる？

https://github.com/rainbyte/haskell-ide-chart
Atom派が増えてきた気がする(Stepwise Debuggerってなんだろう)。

**デフォルトの名無しさん** · 2017/10/16(月) 23:03:58.10

vscode+hie

**デフォルトの名無しさん** · 2017/10/16(月) 23:06:05.01

vscodeいいよな
他の言語でも大活躍

**デフォルトの名無しさん** · 2017/10/16(月) 23:09:52.45

vimのlanguage server対応がもっと進んだらvimに戻りたい

**デフォルトの名無しさん** · 2017/10/16(月) 23:13:43.26

https://wiki.haskell.org/Let_vs._Where#Problems_with_where
これ前者はクロージャみたいなものということなのかな

**デフォルトの名無しさん** · 2017/10/17(火) 01:54:05.70

spacemacs + intero

**デフォルトの名無しさん** · 2017/10/17(火) 06:46:01.60

HIE知らんかった。試してみよう。
自分もSpacemacsだわ。

**デフォルトの名無しさん** · 2017/10/17(火) 08:53:48.72

プログラミングに限らず、およそ文字列を編集する作業において、
vim以外のエディタは考えられない体になってしまった。

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

vscodeはvimがクソなのがな

**デフォルトの名無しさん** · 2017/10/17(火) 20:53:20.25

タイプミスが多いのでキー入力コマンド操作とか誤操作ばかりで死ぬ

**デフォルトの名無しさん** · 2017/10/17(火) 21:34:05.58

CoqとかAgdaもやろうとしてたからEmacs一択で、
Vimの操作性も習得したいと思ってたから結果的にSpacemacsに落ち着いたわ。

**デフォルトの名無しさん** · 2017/10/17(火) 21:45:06.92

Spacemacs知れようとして、Emacsのバージョン足りなくて死んだ

**デフォルトの名無しさん** · 2017/10/17(火) 21:48:15.65

静的どころか参照透明なんだし、補完は充実してほしいよなあ。

data Pen = Pineapple | Apple
apple = Apple
pen :: Pen
pen = a
もうこの時点で候補をappleに絞ってほしい。

**デフォルトの名無しさん** · 2017/10/17(火) 22:31:12.09

異教徒間の鍔迫り合いが始まる予感です？

**デフォルトの名無しさん** · 2017/10/17(火) 22:46:49.54

そんな「絞り込み」はそもそもできないしすべきでもない
そもそもその例の場合なら完全に redundant だとしてむしろ積極的にappleを除外してほしい

**デフォルトの名無しさん** · 2017/10/17(火) 22:58:58.88

>>87
できそうな気がするけど。
…-> Pen のような関数がないって事がわかってて、
penの型定義も限定されてるから、そこに書くことのできる値は限られてる。

**デフォルトの名無しさん** · 2017/10/17(火) 22:58:59.79

>>85
その絞り込みの是非は置いておくとして、「参照透明」と「絞り込み」の関係がよく分からん。
その例だと、参照透明である必要はないと思うが。

**デフォルトの名無しさん** · 2017/10/17(火) 23:07:03.82

>>89
そうだね。絞り込みについては静的であれば充分。
参照透明なら実行中に値が変わることがないから、例えばShowしたものを補完候補としてリストアップできる。

**デフォルトの名無しさん** · 2017/10/17(火) 23:16:36.80

id やら const やらの問題はさておき
そこでもし仮に apple に絞られたら相当イラつく

**デフォルトの名無しさん** · 2017/10/17(火) 23:25:06.39

>>88
その例なら簡単にできるけど、一般的には相当厳しいと思うよ。

型がシノニムだったら、辿って元の型を探さないといけないね。
import されてたら、それも全て辿らないといけないね。
template が使われてたら、展開しないといけないね。
Cプリプロセッサが使われてたら、これも展開しないといけないね。

型を決定するのに関わる事は他にもいっぱいある (言語拡張とか)。

あと、参照透明は破られないという前提で話してると思うけど、
unsafePerformIO 関数があることを忘れないように。

**デフォルトの名無しさん** · 2017/10/18(水) 11:52:10.17

まずは自動車を二人で運転したり、独裁者が二人いる国を作ってみればいいのだ
それができたら一人を機械で置き換えて人間＋機械のコンビを作る

**デフォルトの名無しさん** · 2017/10/18(水) 22:09:24.34

Haskellでウェブアプリ作れますか？

**デフォルトの名無しさん** · 2017/10/18(水) 22:40:49.32

>>94
作れるよ。
フレームワークもいくつかあるし、入門書もある。

**デフォルトの名無しさん** · 2017/10/18(水) 23:03:06.30

webフレームワーク周りは一時期乱立とは言わないまでもだいぶ混乱してた印象があるけど
最近の流れはどうなってるんだろうか

**デフォルトの名無しさん** · 2017/10/18(水) 23:44:26.71

すみません、ある型とその取扱い関数の
標準・追加ライブラリでの有無の確認なのですが、

実数の範囲を表す型で(A,B)というのがあったとして
A以上B未満の範囲を示していて、
それがリストに[ s1, s2, s3, s4 ]の様に並べられているとして
その中身は[(0,1),(1,2),(2,4),(4,8)]としますと
実数「1.5」はこのリスト3番目の変数が示す範囲に
含まれますと教えてくれる関数なのですが、
このような型と関数があるライブラリを知っていましたら
教えて下さい。

**デフォルトの名無しさん** · 2017/10/18(水) 23:47:55.99

すみません。
「リスト2番目」の間違いでした。

**デフォルトの名無しさん** · 2017/10/18(水) 23:54:52.59

Yesodの辛さを述べた記事を最近みた。

**デフォルトの名無しさん** · 2017/10/19(木) 00:31:32.35

最近なら servant が多いんじゃないか？

**デフォルトの名無しさん** · 2017/10/19(木) 00:42:33.76

>>97
ライブラリ探す暇があったら自分で書いたほうが早いだろ

import Data.List (find)

type Range = (Double,Double)
blah :: Double -> [Range] -> Maybe Range
blah x rs = find (¥(inf,sup) -> inf <= x && x <= sup) rs

ranges = [(0.0,1.0),(1.0,2.0),(2.0,4.0),(4.0,8.0)]

main = print $ blah 1.5 ranges

**デフォルトの名無しさん** · 2017/10/19(木) 00:55:37.69

>>97
存在しない、と思う。
https://ideone.com/378zY1

**デフォルトの名無しさん** · 2017/10/19(木) 02:16:33.94

まだイェソドが最強なのですか？

**デフォルトの名無しさん** · 2017/10/19(木) 07:52:00.67

イェソドってセフィロトの樹と何か関係あるの？

**デフォルトの名無しさん** · 2017/10/19(木) 11:32:05.27

辞書ファイルから欲しいデータを抜くのに使ってるけど、
Haskellだとライブラリ使うというより、
スクラッチで欲しい関数を書けるのが良いね。
調べるより作った方が早いし細かい調整がきく。

**デフォルトの名無しさん** · 2017/10/19(木) 15:41:04.63

>>92
参照透明性を破壊するようなunsafeの使い方はするべきじゃない。
利用者に、穴の空いたトランポリンで跳ね回れと言ってるようなもんだぞ。

**デフォルトの名無しさん** · 2017/10/19(木) 18:16:54.99

>Haskellだとライブラリ使うというより、
>スクラッチで欲しい関数を書けるのが良いね。
> 調べるより作った方が早いし細かい調整がきく

小さいパーツ程度ならね

**デフォルトの名無しさん** · 2017/10/19(木) 18:41:26.50

＞穴の空いたトランポリンで跳ね回れ
いいなこれ。今度から使わせてもらうわ

**デフォルトの名無しさん** · 2017/10/19(木) 20:44:43.20

>>106
それは分かってる。
その意見には俺も全面的に賛成だよ。

ただ、やろうと思えばできてしまうんだよ。
例えばコマンドラインパーサーの CmdArgs パッケージでは unsafePerfirmIO が使われてる。
(なかなか使い勝手が良いライブラリなのに玉に瑕で残念)

だから、参照透明が保たれているという前提で補完機能を作るわけにはいかない。

**デフォルトの名無しさん** · 2017/10/19(木) 21:28:00.48

一般的には透明性が保たれてるならunsafeを使っても大丈夫だよね。
FFIでCのライブラリを使って値を取ってくる時に、引数で返り値が一意に決まるならば、必ずしもIOで包まなくてもいい。

補完システムでは、プログラミング中に値を得ることを考えてるので、制限はもっと厳しい。
悪意のある誰かがコード中にunsafePerformIOでディスクを皿にするコードを入れていたとする。
現状では実行しなければ問題ないけど、その補完システムではエディタに読み込んだ時点で… ふっ飛ぶ！

アドバイスは的を得ていると思う。指摘を受けて、SafeHaskellでのみリッチな補完が出来る。という回避を考えているよ。

**デフォルトの名無しさん** · 2017/10/19(木) 21:31:47.78

>>109 CmdArgs パッケージは、初見だけど… うーん。なぜこんな風になってるんだろう。
IOにするわけにはいかんのだろうか？

**デフォルトの名無しさん** · 2017/10/19(木) 21:38:26.29

Haskell使ったプロダクションコードにしばしばあるやつね
環境変数みたいなのは Reader で引き回すよりさっくり
unsafePerformIO でアレするのがアレでね

**デフォルトの名無しさん** · 2017/10/19(木) 21:41:05.61

だいたい判った。この用途では仕方ない。

**デフォルトの名無しさん** · 2017/10/19(木) 21:42:06.30

>>107
>小さいパーツ程度ならね

その小さなパーツを見通しよく組み合わせられるあたりが功徳なんでねえ

**デフォルトの名無しさん** · 2017/10/19(木) 21:51:43.24

unsafePerformIO取締法違反でタイポする！

**デフォルトの名無しさん** · 2017/10/19(木) 22:14:05.51

コンパイラがしゃべった！？って、ただの腹話術か
いっつも腹話術してるな

**デフォルトの名無しさん** · 2017/10/19(木) 23:17:00.35

あれ？評価が、遅れて、されるよ？

97 · 2017/10/19(木) 23:19:50.69

>>101
>>102
ありがとうございます。
書いて下さったコードを参考にし、利用させて頂きます。

**デフォルトの名無しさん** · 2017/10/20(金) 09:50:03.15

>>112
そんな事すると、何のために Haskell を使ってるのか分からん

**デフォルトの名無しさん** · 2017/10/20(金) 11:11:48.75

じゃあ「分かるHaskell」と「分からんHaskell」の両方を使いこなせばいいよ
そういう多様性を何のために肯定するのかっていうと
未知の新しい言語を見た瞬間に使いこなすための練習だと思えばいいんじゃないか

**デフォルトの名無しさん** · 2017/10/20(金) 13:24:48.13

>>120
そういうのは趣味や個人の時間にやって備えておくもので、
プロダクション(本番)でやるものではないと思う。

**デフォルトの名無しさん** · 2017/10/20(金) 13:41:07.05

まあ、プロダクションだとやっぱり時折 unsafe 唱えるわけだけど
どういうときに唱えても已むを得ないかの知識が秘伝のタレ化してる感はある

**デフォルトの名無しさん** · 2017/10/20(金) 17:24:25.31

x = unsafePerformIO m
main = do {
safe_x <- return $! x;
...
}
これで無難な値を無難なタイミングで取り出せる
ただし、mainを2回実行したらmは何回実行されるべきかの知識が秘伝

**デフォルトの名無しさん** · 2017/10/20(金) 17:32:08.06

unsafe* を使用する際は逐一稟議を通すこと

**デフォルトの名無しさん** · 2017/10/20(金) 17:57:47.07

unsafeReadとunsafeWriteの詳しい説明や使い方がわかる書籍やサイトがあれば教えてください

**デフォルトの名無しさん** · 2017/10/20(金) 18:14:08.30

グローバル定数とみなせる値を取得したい + 使う場所がMonadIOでない + 設計変更の時間はない

**デフォルトの名無しさん** · 2017/10/20(金) 18:38:52.46

使用したいというより読みたいんだよ
ありのままの現実を読む主義
現実を操作するつもりはない

**デフォルトの名無しさん** · 2017/10/20(金) 22:15:19.17

Haskellやったら特別になれるの？

**デフォルトの名無しさん** · 2017/10/20(金) 22:37:34.15

疎外感を味わえます

**デフォルトの名無しさん** · 2017/10/20(金) 23:04:24.26

そうならなくて済むよう、普及にもう少し力を入れる必要があるよね。

何があれば賑わうかって考えたんだけど、やっぱりもっと和書が必要ではないか。
「Haskellでゲームを作る本」とか「Haskellで解る圏論入門」とかどうだろう。

**デフォルトの名無しさん** · 2017/10/20(金) 23:22:26.18

Haskellなら三ヶ月後、自分で書いたコードを読めます

**デフォルトの名無しさん** · 2017/10/21(土) 00:05:14.21

>>131
そんな楽観はできない。

3ヶ月後も読めるようにするには、それなりのコードを書かなければならない。
Haskellなら自然にそういうコードになる、なんてことは全くないよ。

1つの関数に複数の仕事をさせてしまったり、
let節やwhere節で計算のフローを書いて関数を肥大化させてしまったり、
逆に一行に押さえようとポイントフリーをやりすぎて暗号化してしまったり、
仮引数の名前を短くしすぎて役割が分からなくなってしまったり、
モナド変換子のスタックをややこしくしてしまったり。

意識していないと陥りやすい罠は幾らでもある。

**デフォルトの名無しさん** · 2017/10/21(土) 00:23:56.54

https://ideone.com/880zvK

**デフォルトの名無しさん** · 2017/10/21(土) 00:58:52.37

>>132
いや、131は揶揄・皮肉だと思う。何スレか前にあった俗説「Haskellでは３ヶ月前に書いた自分のコードが読めなくなる」に対しての。
理由は確か、Haskellでは習熟するにつれてコードが全然違ってくるから、だったかな。
未熟だった頃の考え方とかをスッカリ忘れてしまうので、読んでも頭に入ってこない。

133のコードから漂う、Java上がり臭…　真面目に書いたのも見て取れるんだけど、標準の関数や表記法とズレているのでどうにも読みにくい。

いまstackのコードを読んでるんだけど、意図してコードのレベルを抑えてるフシがある。const を使わずに \_->... と書いてたり。
練度の高低でコードが違ってくることはある意味で良いことといえるのかもしれないけど、多人数で使う際には難しさがあるようだ。

**デフォルトの名無しさん** · 2017/10/21(土) 01:24:40.12

https://ideone.com/q2RCBe

これは >>133 のほぼ 1/10 の行数で書かれている

solve = build “” “”

という行を見て
「ああアキュムレータが２つあるのね」
とわかるのであとはそのまま読むだけ

**デフォルトの名無しさん** · 2017/10/21(土) 01:35:46.03

というか、>>133 のコードはこれはネタでわざとやってるな

**デフォルトの名無しさん** · 2017/10/21(土) 04:25:54.74

うひょーッ iOS & Android の ghc バイナリが来た！
http://hackage.mobilehaskell.org/
解説ページ
https://medium.com/@zw3rk/ghc-cross-compiler-binary-distributions-490bb2c0c411

**デフォルトの名無しさん** · 2017/10/21(土) 06:39:56.81

何が始まるんです？

**デフォルトの名無しさん** · 2017/10/21(土) 12:52:45.37

自分で書いたコードが、他人が書いたコードと同じに見える

これは普通
同じ書き方をしない方が異常
3ヵ月前の時点ですでに他人が書いたコードと同じに見えていい

**デフォルトの名無しさん** · 2017/10/21(土) 17:28:30.51

>>135
Data.Mapでもっと単純に書けそうな気がしたけど気のせいだった
https://ideone.com/R4dQIW

**デフォルトの名無しさん** · 2017/10/21(土) 21:05:29.77

>>124
稟議のロジックをHaskellで書いてくれ。

2017/10/22(日) 09:33:44.39

アキュムレータのように引数で変数束縛するのはprologっぽい書き方

haskellならアキュムレータの代わりにwhereを使う手がある
makeMaximumSizeAndMinimumOrderPalindrome wordlist = xs ++ [y] ++ zs where ...

2017/10/22(日) 14:42:07.09

Intellij IDEAのIntellij-Haskellプラグインが上手く実行できなくて諦めかけてたけど改めて挑戦したらやっとできた
これで俺もIDEデビューだ
開発効率上がるといいな

2017/10/22(日) 15:26:27.37

アキュムレータの意味がわかってないキチガイがいるのか……

**デフォルトの名無しさん** · 2017/10/26(木) 22:30:22.73

ByteStringについて、↓の記事に
「使い方の結論を述べると、入力には正格 ByteString、出力は遅延 ByteString を用います」
と書いてあるのですがそうなんですか？
だとしたらなぜそうなるのか教えていただけますでしょうか

http://d.hatena.ne.jp/kazu-yamamoto/touch/20110525/1306298046

**デフォルトの名無しさん** · 2017/10/27(金) 19:45:49.01

CodinGameをHaskellで攻略した方の感想ください

https://www.codingame.com/

**デフォルトの名無しさん** · 2017/10/28(土) 17:22:18.77

Prelude> let a = 0.3 - 0.2
Prelude> let b = 0.2 - 0.1
Prelude> let c = a == b
Prelude> print c
False

は？

Prelude> default (Rational)
Prelude> let a = 0.3 - 0.2
Prelude> let b = 0.2 - 0.1
Prelude> let c = a == b
Prelude> print c
True

満足～♪ 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)

**デフォルトの名無しさん** · 2017/10/28(土) 17:23:34.06

> 入力には正格 ByteString、出力は遅延 ByteString
これ俺も疑問に思ってた

**デフォルトの名無しさん** · 2017/10/28(土) 17:37:14.16

実装上の都合です
理論的には何の根拠もございません

**デフォルトの名無しさん** · 2017/10/28(土) 17:45:11.92

メモリ的には入力遅延のほうがよさそうだけどハンドルをすぐ解放するために正格ということかな

**デフォルトの名無しさん** · 2017/10/28(土) 19:05:35.06

512MB of zeroes with different implementations of echo

https://i.imgur.com/i5SkntG.jpg

**デフォルトの名無しさん** · 2017/10/28(土) 20:19:14.51

どの本だっけ、Real World?

**デフォルトの名無しさん** · 2017/10/28(土) 20:46:38.08

出典はHaskell High Performance Programmingです

**デフォルトの名無しさん** · 2017/10/28(土) 21:00:26.16

それか
読みたいと思ってたんだよなそれ
邦訳はよ

**デフォルトの名無しさん** · 2017/10/29(日) 00:46:23.62

>>151
正格ByteStringが遅延に買ってる部分ないのか

**デフォルトの名無しさん** · 2017/10/29(日) 07:47:46.53

普通に配列とリストの違い
ただしリストの要素は32kの配列

**デフォルトの名無しさん** · 2017/10/29(日) 09:00:08.15

WAI の実装とかそういう凄え特殊な場面での話だろうな
リソース管理が死活の場面では Lazy IO がワリと死ねるので

でもそういうのはいまなら各種の streaming ライブラリでOK

**デフォルトの名無しさん** · 2017/10/29(日) 22:14:12.00

foldr と foldl ってこんな風に作れるよね。

foldr :: (a -> b -> b) -> b -> [a] -> b
foldr _ i [] = i
foldr f i (x:xs) = f x (foldr f i xs)

foldl :: (b -> a -> b) -> b -> [a] -> b
foldl _ i [] = i
foldl f i (x:xs) = foldl f (f i x) xs

なんで foldl より foldr の方がメモリ効率がいいのか分からん。
どっちも結果の値が評価されるまで式が数珠繋ぎになったままじゃね?

**デフォルトの名無しさん** · 2017/10/29(日) 22:32:56.88

これ？

Haskell の畳み込み関数 - foldl, foldr | すぐに忘れる脳みそのためのメモ
http://jutememo.blogspot.jp/2008/06/haskell-foldl-foldr.html

**デフォルトの名無しさん** · 2017/10/30(月) 00:11:55.76

競プロでhaskell使う場合の何かアドバイスください

この問題解けませんでした
https://yukicoder.me/problems/no/583
https://yukicoder.me/submissions/212458

**デフォルトの名無しさん** · 2017/10/30(月) 00:12:43.74

今はコンパイラに解決させるようにしているようだね
haskell - Foldl memory performance in GHC 8.0.x - Stack Overflow
https://stackoverflow.com/questions/42747159/foldl-memory-performance-in-ghc-8-0-x

**デフォルトの名無しさん** · 2017/10/30(月) 00:31:06.68

中身としてはこれかな
foldlを直す - 純粋関数空間 http://tanakh.jp/posts/2014-04-07-foldl-is-broken.html

>>158のように素直に定義したらどっちでも変わらないのはその通りで、
foldlの方は末尾再帰の形になってるからseqすることでいい感じに動いてくれる

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

>>162
> >>158のように素直に定義したらどっちでも変わらないのはその通りで、

やっぱり。
これを聞いて安心した。
みんな、ありがと。

**デフォルトの名無しさん** · 2017/10/30(月) 08:39:48.03

foldlを使うことってほぼない気がする
だいたいfoldl'を使ってる

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

>>160
その問題は、要するにグラフが準オイラー路になっているかどうかを判定するものだよ。

各駅を頂点、各路線を辺とするグラフが、
準オイラー路であれば彼らは計画達成できるし、
そうなっていなければ計画は達成できない。

グラフが準オイラー路であることと、
次数が奇数の頂点がちょうど2つ存在することとは同値。

要するに、一筆書きができるかどうかだよ。

Haskell で素直に拙くプログラムしても特に問題ないだろうね。
たとえば、N個の要素を持つInt型配列にaccumArrayで次数を集計して、
filterで奇数だけ濾し取り、要素数を調べる。

**デフォルトの名無しさん** · 2017/10/30(月) 08:46:34.46

>>164
最適化で正格になるはずだけど明示的に正格版使う必要ある？