関数型プログラミング言語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/01(日) 13:29:55.56

Haskellによる関数プログラミングの思考法
Richard Bird (著), 山下伸夫 (翻訳)
https://www.amazon.co.jp/dp/4048930532/

この本ていいの？
すぐ教えろ

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

C++ Rust Haskellは言語とライブラリを見るだけで楽しめるが
言語とライブラリはすぐ古くなるのがこわくて手を出せないやつが多いんだろうね

**デフォルトの名無しさん** · 2017/10/01(日) 15:37:36.06

待ってくれ

**デフォルトの名無しさん** · 2017/10/01(日) 15:52:51.93

>>39
ありがとうございます。
その本を借りてみます。

**デフォルトの名無しさん** · 2017/10/01(日) 18:25:15.52

ああ逃れられない（英語）

**デフォルトの名無しさん** · 2017/10/01(日) 19:09:32.63

>>40
「関数プログラミング珠玉のアルゴリズムデザイン」のための良い入門書って感じ

**デフォルトの名無しさん** · 2017/10/01(日) 19:34:05.63

珠玉難しすぎんよ～

**デフォルトの名無しさん** · 2017/10/01(日) 20:13:16.82

珠玉は本気で難しい

**デフォルトの名無しさん** · 2017/10/01(日) 23:00:51.17

>>12
tanakhはもうダメになった
https://twitter.com/tanakh/status/914454692440064000

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

平常運転

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

平壌運転

**デフォルトの名無しさん** · 2017/10/04(水) 19:37:39.13

REPLでlet文ごっそり複数行貼れるんだね。
ちまちま一行ずつコピペしててバカみたいだったww
自分みたいなアホはあまりいないと思うけど、一応の注意喚起。

**デフォルトの名無しさん** · 2017/10/04(水) 22:05:05.88

replというかコマンドラインの性質・・・

**デフォルトの名無しさん** · 2017/10/08(日) 22:00:05.12

Data.MapのfromListとtoListはキーが例えば自然数なら自動で昇順になるのですか？
確実を期すのであればfromAscListやtoAscListを使うべきですか？

**デフォルトの名無しさん** · 2017/10/08(日) 23:24:05.25

わざわざ別に作ってあるってことはそうやろなぁ

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

Functional Pearl って何？自分で名乗ってもいいの？

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

vectorパッケージでリスト内包表記的なのってありますかね？
また、ああいうsyntax sugarてユーザーが定義できるんでしょうか？

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

monad comprehensions

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

>>57
ありがとうございました、見てみます。

**デフォルトの名無しさん** · 2017/10/15(日) 08:27:10.18

bindの連結がよくわかってないので質問させてください

Just 10 >>= \x -> return (x + 1) >>= \y -> return (x + y + 2)
と書いた場合、明示的に括弧でくくるとしたら
Just 10 >>= \x -> (return (x + 1) >>= \y -> return (x + y + 2))
になりますよね？これが
Just 10 >>= \x -> return (x + 1) >>= \y -> return (y + 2)
の場合でも
Just 10 >>= \x -> (return (x + 1) >>= \y -> return (y + 2))
になるのですか？それとも
(Just 10 >>= \x -> return (x + 1)) >>= \y -> return (y + 2)
やあるいは別の場所がくくられますか？
下の場合どこでくくっても答えが同じなので混乱してきました

**デフォルトの名無しさん** · 2017/10/15(日) 18:20:04.06

Just 10 >>= (\x -> return (x + 1) >>= (\y -> return (x + y + 2))

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

do
　x <- Just 10
　y <- return (x + 1)
　return (x + y + 2)

Just 23

**デフォルトの名無しさん** · 2017/10/15(日) 21:17:59.15

カッコで括らない限りラムダ式のリテラルを使うとそれ以降はラムダ式の内側になるから
bindというか演算子に限らずa+\x->x+bみたいなのはa+(\x->x+b)

**デフォルトの名無しさん** · 2017/10/15(日) 21:42:24.61

letやcaseはあまり使わないほうが推奨なんですか？

これに書いてあったので
http://d.hatena.ne.jp/kazu-yamamoto/20110826/1314352340

**デフォルトの名無しさん** · 2017/10/15(日) 21:44:11.18

>>62
演算子の種類に限らず

**デフォルトの名無しさん** · 2017/10/15(日) 22:04:25.31

>>63
好き好きでいいと思う。

**デフォルトの名無しさん** · 2017/10/15(日) 22:56:15.07

>>63
let と where を同時に使わない、さえ守ればまあ。

https://wiki.haskell.org/Let_vs._Where

ちなみにcaseを使わないでパターンガードで書くと
ガードをまたげる where の方が書きやすいので
個人的にはまさにcaseもletも使わない

**デフォルトの名無しさん** · 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ヵ月前の時点ですでに他人が書いたコードと同じに見えていい