関数型プログラミング言語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/09/27(水) 21:13:41.99

英語で構わないので中級者向けの書籍教えて

**デフォルトの名無しさん** · 2017/09/27(水) 21:45:25.22

>>10
haskell-masterことtanakh大先生に頼むしかないな

**デフォルトの名無しさん** · 2017/09/27(水) 22:52:12.73

Glorious haskell-master tanakh is crazy about Rust these days.

**デフォルトの名無しさん** · 2017/09/27(水) 23:06:21.04

>>11
何を以て中級と言えるか分からんが、
実用的なアプリを作るのに欠かせない技術や考え方を学ぶという観点なら
http://www.apress.com/us/book/9781430262503 を勧める。

タイムマシンを販売するWebストアを作るという体で解説が進む。
(なぜタイムマシンなのかは最後に分かる)
名前に Beginning とあるが、Beginning なのは第１部だけで、
第２部以降は実戦色が強くなる。

この本の大きな特徴は、第２部以降は必要性が出てきた段階で、
必要な分だけ Haskell の構文やライブラリや技術などの解説がされることが多いこと。
たとえばアプリのリソースの扱い方を学ぶ段階で初めて
IOモナドによる入出力の解説が登場するのは当たり前だが、
それと同じ章で Conduit や Binary Serialization の解説が登場する。
実用的なアプリの作成において、これらでリソースを扱うのが非常に有用だからだ。

入門書では前半で出てくるような型がこの本では後半で出ることもある。
入門書をしっかり理解できているのなら適当に読み飛ばしたくなる所もあると思うが、
そこで作った型や関数は後で使うことが多いので、復習と思ってぐっと我慢すべし。

個人的には、アーキテクチャレベルの章が無いのが残念。

**デフォルトの名無しさん** · 2017/09/28(木) 01:51:54.14

>>14
ありがとう！参考になりました

**デフォルトの名無しさん** · 2017/09/28(木) 14:01:26.19

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

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

新しくでたHaskell本、田舎に住んでる自分的にはいい感じだわ。
著者の方をみると、東京とかの勉強会はこの辺を踏まえてるんだなと勝手に思ってる。
周りにHaskellerがおらず独りでやってるけど、実践的な面で何か取りこぼしがないかとの疑問が頭に残ってたから、これで安心。

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

明日給料入るから明日買うわ

**デフォルトの名無しさん** · 2017/09/28(木) 21:30:11.00

>>17
章末問題とか練習問題みたいなのある？

**デフォルトの名無しさん** · 2017/09/28(木) 21:30:19.44

例えば、undefinedをAgdaのホールみたいに使えるとか知らんかった。

**デフォルトの名無しさん** · 2017/09/28(木) 21:33:24.87

実際何か作ろうとなったときに今どのライブラリでどう作ればいいかの道筋を示す本はないから
そこをわかって出してくれてそうな今回の入門書に期待

**デフォルトの名無しさん** · 2017/09/28(木) 21:39:17.72

>>19
ないね。
理論的な部分はこれまでの良書で固めて、
上で書いたような、俗っぽい（悪い意味ではない）部分を補充、といった感じかと。

**デフォルトの名無しさん** · 2017/09/28(木) 22:29:11.61

ところで、今Webアプリってブームなの？
みんなWebアプリを作りたくてウズウズしてんの？

**デフォルトの名無しさん** · 2017/09/28(木) 23:01:35.48

ゲーム作るならFRPなの？
どのパッケージがいいの？ヘルムって奴？
それ以前にFRPってどこで勉強すればいいの？

**デフォルトの名無しさん** · 2017/09/28(木) 23:10:45.38

Elm、FRPやめたってよ
FRPと関数型のことは忘れろ

**デフォルトの名無しさん** · 2017/09/28(木) 23:22:12.38

Functional Reactive Programming - HaskellWiki
https://wiki.haskell.org/Functional_Reactive_Programming

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

えええ。。。じゃあHaskellでゲームって、なんのライブラリ使って作るの

**デフォルトの名無しさん** · 2017/09/29(金) 00:22:48.95

自分で作ってみるのはどうでしょうか？
良いライブラリができたら公開してね！！

**デフォルトの名無しさん** · 2017/09/29(金) 00:41:18.81

Game Development - HaskellWiki
https://wiki.haskell.org/Game_Development

**デフォルトの名無しさん** · 2017/09/29(金) 00:43:06.66

Applications and libraries/Games - HaskellWiki
https://wiki.haskell.org/Applications_and_libraries/Games

**デフォルトの名無しさん** · 2017/09/29(金) 22:18:38.06

HaskellによるゲームプログラミングにFRPを使うメリットがない。

**デフォルトの名無しさん** · 2017/09/29(金) 22:52:40.90

みんなhaskellで何するの？
haskellのためのhaskellしてるみたいなイメージ

**デフォルトの名無しさん** · 2017/09/30(土) 00:36:23.25

自分の要求に応えてくれる言語を使ってるだけだよ

**デフォルトの名無しさん** · 2017/09/30(土) 04:13:52.83

stackがあればハスケルコンパイラーインストール必要ないんやな。
全部消してやったぜ。

**デフォルトの名無しさん** · 2017/09/30(土) 22:19:25.30

神様ありがとう、ハスケルに会わせてくれて
君は眠っていたね

**デフォルトの名無しさん** · 2017/09/30(土) 22:52:16.35

>>32
C言語の倒し方を発見する
またはC言語を倒せないことを証明する

**デフォルトの名無しさん** · 2017/09/30(土) 23:59:21.19

>>32
あえて言おう
自分自身の処理系を記述できない処理系はクソ

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

Eq クラスや Show クラスのように default deriving として使えるクラスを自作することはできますか？

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

>>38
14の本に書いてあった気がする

**デフォルトの名無しさん** · 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でのみリッチな補完が出来る。という回避を考えているよ。