関数型プログラミング言語Haskell Part30 [無断転載禁止]©2ch.net

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

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

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

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

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

Bird氏の本の第三版か。
あの人、Functional Programmingの大御所なんだね。
すごいHやGraham氏、その他日本人著者の書いたのをいろいろ読んだけど、
コアな部分を理解するならBird氏の本だと思った。
翻訳第二版のファンシーな表紙をやめて、
原著の表紙の虎を持ってきたのは何かあったのだろうか？ww

**デフォルトの名無しさん** · 2017/03/07(火) 13:07:01.84

>>201
コアと言うのは、例えばどんな部分？

**デフォルトの名無しさん** · 2017/03/07(火) 13:38:15.87

と思ったらそもそも関数プログラミング入門買ってなかったのでこれを機会に買おう

**デフォルトの名無しさん** · 2017/03/07(火) 17:44:15.63

kinkyな表紙にしてくれ

**デフォルトの名無しさん** · 2017/03/07(火) 17:49:10.46

>202
最初から正格、非正格を念頭に置いた上で議論が進んでいく。その時点で既に毛色が違う。
豆知識として、リスト内包表記とdo構文の<-の関係も載ってた。
証明問題が多く、数学がわかんないときつい感じ。

**デフォルトの名無しさん** · 2017/03/07(火) 20:23:58.44

>>205
あぁなるほど、そう言うのを一般に「コア」って言うのか

ありがと

**デフォルトの名無しさん** · 2017/03/08(水) 06:06:40.10

https://stackoverflow.blog/2017/02/07/what-programming-languages-weekends/

**デフォルトの名無しさん** · 2017/03/08(水) 06:44:38.74

今更すぎる
和訳で知ったのに原文貼って物知り顔するな

**デフォルトの名無しさん** · 2017/03/08(水) 12:31:57.39

>>207
週末に人気のあるプログラミング言語（StackOverflow調べ）
https://developers.srad.jp/story/17/02/09/0354232/
週末にいちばん多く使われるプログラミング言語は？
http://postd.cc/what-programming-languages-weekends/

**デフォルトの名無しさん** · 2017/03/11(土) 21:23:14.84

Haskellにも依存型があと数年以内に組み込まれるらしいですが、使用目的は専ら型安全性を得るためなのでしょうか？

**デフォルトの名無しさん** · 2017/03/11(土) 23:30:29.33

定理証明支援系はいつですか？

**resumi** · 2017/03/12(日) 01:08:56.73

これ普通にショックだね。。
本当なの？？
https://goo.gl/RB0asw

**デフォルトの名無しさん** · 2017/03/12(日) 01:54:17.97

見てないけどグロ

**デフォルトの名無しさん** · 2017/03/12(日) 22:59:29.77

最新のGHCだと余再帰が可能な限り自動で末尾再帰に変換されて最適化がかかるって聞いたんですけど本当すか？

**デフォルトの名無しさん** · 2017/03/13(月) 08:05:36.75

tanakhに訊け

**デフォルトの名無しさん** · 2017/03/13(月) 10:55:02.44

tanakhとかうざ

**デフォルトの名無しさん** · 2017/03/14(火) 22:01:52.58

Data.Setをモナドにしたい場合はどうしてますか？
GADTsを使ったものと
https://wiki.cse.unsw.edu.au/cs4181/13s2/Schedule?action=AttachFile&;do=get&target=thum460.pdf
type familyを使ったものと
https://hackage.haskell.org/package/constrained-categories-0.3.0.1/docs/Control-Monad-Constrained.html#g:1
もしくはそれ以外にも方法はあるのでしょうか

**デフォルトの名無しさん** · 2017/03/16(木) 21:36:03.95

使う型がInt32なら32を、Int64なら64をコンパイル時に決定してソースコードに埋め込むメタプログラミングな関数を書くにはどうしますか？

**デフォルトの名無しさん** · 2017/03/16(木) 22:28:40.43

Int に対する read が遅くて困っています。
80万個のInt型をreadするのに、10^9付近の整数ばかりの場合と、1とか10とか小さな整数ばかりの場合とで 2 倍も処理時間が違ってきます。（2秒が4秒です！）
もっと速く読み込む方法はありませんか？
（但し標準入力からとします）

**デフォルトの名無しさん** · 2017/03/16(木) 23:18:00.86

readInt

**デフォルトの名無しさん** · 2017/03/16(木) 23:20:30.52

ByteStringのreadInt

**デフォルトの名無しさん** · 2017/03/16(木) 23:21:15.32

readIntegerだった
うろ覚えだったすまん

**デフォルトの名無しさん** · 2017/03/17(金) 00:45:32.34

http://melpon.org/wandbox/permlink/Uii2xmdQFxxnwLS4

**デフォルトの名無しさん** · 2017/03/17(金) 00:46:54.92

これは全然メタじゃない

**デフォルトの名無しさん** · 2017/03/18(土) 18:18:35.73

>>221
ありがとうございます。10倍速く動くようになりました

**デフォルトの名無しさん** · 2017/03/18(土) 19:37:41.00

ひょっとして、foldl か foldl' かよりも、そこに渡す二項関数の方を正格にするか遅延のまま
かが速度に関わっているのでしょうか？

※二項関数は(+)やmaxのように単純であるとする

**デフォルトの名無しさん** · 2017/03/19(日) 04:00:42.66

ん、何言ってんだ。二項関数の問題じゃなくて二項関数に渡す『二つの引数が今すぐどちらも値まで評価されるかどうか』が問題なのか。
される場合、foldl'の方がサンクなしの省メモリ（定数空間？）で処理が進むのか。
foldl'で正格に評価するといってもWHNFで止まるんですもんね

サンクが要らないからその部分（サンクの作成と破棄）のオーバーヘッドがなくなってちょっとだけ速くなるのか。でもあくまで foldl' の利点は省メモリの方か

**デフォルトの名無しさん** · 2017/03/19(日) 10:06:06.54

https://github.com/google/codeworld
http://code.world/

これに関する質問ってこのスレでいいの？

**デフォルトの名無しさん** · 2017/03/19(日) 10:30:10.95

速度の比較をしたいならまずプロファイルを取りなさい

**デフォルトの名無しさん** · 2017/03/19(日) 14:43:43.30

V8エンジンで無茶苦茶速くなったことだし、もうTypeScriptでいいやと思うようになった。

**デフォルトの名無しさん** · 2017/03/20(月) 20:37:53.08

教えてください

何らかの型の巨大データがメモリ内にあったとして、データが用済みになった時に手動で解放する方法がHaskellにありますか？

そもそもそういう発想が間違いかも？

**デフォルトの名無しさん** · 2017/03/20(月) 22:25:28.88

mark&sweepいらないなと思った時に参照カウントに変更する方法
言語を変えなくてもコンパイラを変えるだけでできそう(できたとは言ってない)

**デフォルトの名無しさん** · 2017/03/20(月) 22:42:41.03

>>231
用済みになった時に手動で解放というのが、

1) たとえどこかから参照されていようが強制的に解放する
2) 参照がなく解放できる時にスケジューリングを待たずにGCを強制する

どちらの意味なのか分からん。

前者のつもりなら、たしか方法はなかったような気がする。
この発想は間違っていると思う。
自分が仕込んだメモリリークの問題を隠しているだけ。

後者なら、base パッケージの Systwm.Mem モジュールを調べてみて。
これなら分かる。
例えばゲームで、できるだけステージ途中で時間かかかるGCが起動しないように、
ステージ開始直前に強制的にGCさせたい、とか。

**デフォルトの名無しさん** · 2017/03/20(月) 22:58:59.79

>>233
ありがとう。質問してよかった。

こちらのイメージ的にはCで言うところのfreeで1)が近いと思うが、GCを強制する
発想がそもそもなかったです

断続的にでかいデータを扱うので、次のロードまでにメモリを解放しておく必要
がありまして。

Systwm.Memを調べてみます。

**デフォルトの名無しさん** · 2017/03/21(火) 07:16:46.72

演算子の部分適用の書き方で
演算子との間にスペースを書かないのはHaskellの作法？
(+ 3) (3 +) じゃなく (+3) (3+) って書くじゃんみんな

**デフォルトの名無しさん** · 2017/03/21(火) 09:36:45.55

みんなそうしてるから真似してそうしてるだけだろ。
わからないことは調べるのはめんどくさいから真似しておこうとか思ってそう。

**デフォルトの名無しさん** · 2017/03/21(火) 13:49:23.04

>>235
普通に2項演算子として用いている場合は項と演算子とが独立してる感があるが、
部分適用した場合は「3を加える関数」という一塊の概念というイメージが強い
なんとなくだけどそんな使い分けではないかと思ってる

**デフォルトの名無しさん** · 2017/03/21(火) 13:55:43.06

GUIには等幅ではないフォントがあるから
1ピクセル単位でスペースを描く作法とかありそう

**デフォルトの名無しさん** · 2017/03/21(火) 14:18:51.18

Lispの関数 1+ とかの影響でない？

**デフォルトの名無しさん** · 2017/03/21(火) 14:46:18.79

逆にHaskellでだけスペース挟んだりしたくないだろ

**デフォルトの名無しさん** · 2017/03/21(火) 19:57:22.30

人間は文章を読むのに時間がかかる筈なので、質問と同時にGCを強制発動して、ユーザが質問を理解し返答を入力するまでの間にGCを終えたい

**デフォルトの名無しさん** · 2017/04/02(日) 18:01:47.89

「関数プログラミングの思考法」で勉強してるんですが
「たのしく学ぼう！」は楽しく理解できる内容で
こちらは余計な表現は省いている硬派な文体ですね。
そのため反ってサクサク理解していけるのですが
皆さんどうでしょうか。

**デフォルトの名無しさん** · 2017/04/02(日) 19:10:13.29

>>242
分かる。ノイズが多い本は理解を妨げる面があるよな。

**デフォルトの名無しさん** · 2017/04/02(日) 19:17:33.68

ノイズが多い本……land of lispかな？

**デフォルトの名無しさん** · 2017/04/03(月) 17:43:18.72

軽妙な喩えならいいんだがセンスない人がやると惨憺コース

**デフォルトの名無しさん** · 2017/04/03(月) 18:24:45.70

H本に影響を受けて書かれたE本はセンスないし痛々しいしで読むのが辛かった
変な色気出して慣れないことをしないでくれ

**デフォルトの名無しさん** · 2017/04/03(月) 20:16:55.66

>>244
Land of Lisp は何故か許せる

**デフォルトの名無しさん** · 2017/04/03(月) 22:01:45.88

ノイズじゃなくて冗長性だろ。
冗長性が多いほど失った記憶を復元しやすいから覚えやすいんだぞ。
そんなことも知らないのか馬鹿だなぁ。

**デフォルトの名無しさん** · 2017/04/03(月) 22:37:33.25

暗記法かな？

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

ラノベじゃないんだ。インクと紙の無駄遣いは止してくれ

**デフォルトの名無しさん** · 2017/04/07(金) 19:19:25.31

ラノベで気軽にHaskellを覚えられたらいいんだけどな

**デフォルトの名無しさん** · 2017/04/07(金) 20:38:50.80

むしろHaskelでラノベ全文を書いたらいいんだけどな

**デフォルトの名無しさん** · 2017/04/07(金) 20:56:28.47

>>251
「Haskellを覚える」の意味が分からん

Haskellの何が覚えられないんだ？
文法一覧表とか入門書をいちいち見ないとコーディングできないとか？
それなら、たとえラノベに分かり易く書かれていようと、読むだけじゃ憶えられんぞ

**デフォルトの名無しさん** · 2017/04/07(金) 21:28:25.18

英語で遠回りして結局覚えられない奴

**デフォルトの名無しさん** · 2017/04/07(金) 21:40:36.27

Haskellをというか、ライブラリの便利な使い方を覚えるってことかな

ライブラリの型シグネチャとチョロチョロっとした英語の説明読んで、想像力働かせて『これは今までの処理がこうこう、こういう書き方でできるようになって便利ですね』と理解するのが難しい

<* や *> のパーサーでの使い方（認識だけして捨てる）を知った時はアハ体験だった

こういうのをドキュメント読んだだけで気付くということができない

**デフォルトの名無しさん** · 2017/04/07(金) 21:44:12.76

基礎ライブラリは抽象的なので、そこから応用的具象化を想像する能力が足りない

初めてApplicativeのドキュメントを読んでその有用性に気付く奴はIQ高過ぎだろ
頭がpureだった俺は戦意喪失したものだよ

**デフォルトの名無しさん** · 2017/04/07(金) 21:57:17.10

誰かHaskellで萌える関数型プログラミング入門書いてくれ。

**デフォルトの名無しさん** · 2017/04/07(金) 22:45:53.56

>>257
本当に買ってくれるのか？
買ってくれるならKindleで出すかな

**デフォルトの名無しさん** · 2017/04/07(金) 23:09:24.70

>>255
ライブラリドキュメントを眺めていて、どんな使い方ができるんだろと想像するのは、そりゃ難しいよ。
それはドキュメントの使い方を間違っていると思う。

俺はアプリケーションを作っている時、

1. こういう引数からこういう結果になる関数が欲しい
2. 1の計算を分解すると A、B、C という計算の組み合わせになりそうだ
3. A、B、C を計算する関数をすでに誰か作っていないだろうか？

という順に考えて、A、B、C をドキュメントから探す、という使い方をしてる。

*> の例なら、誰かがパーサーで認識だけして捨てるのに使っているのを見てアハ体験をするのではない。

そうじゃなくて、初めにパーサーを作っていて認識だけして捨てたいという欲求が湧いてきて、
じゃあどうするかと考えた時に、まず「認識だけして捨てる」とはどういう計算なのかを分析する。
そうして事の本質を捉えてからドキュメントから求めるものを探す。

その時、たまたま既にパーサーの構造を Applicative で表現していれば、
ドキュメントの Control.Applicative モジュールの項を真っ先に探して *> を見つけるだろうし、
別の方法で実装していれば、実現する関数はライブラリには無さそうだなと諦めて自作するかも知れない。
何れにしてもアハ体験の出番はない。

言っておくが、アハ体験が悪いわけではないぞ。
他人の解説やソースコードを見て、そういう使い方もできるのかと学ぶ事は大事だ。
ただ、ドキュメントをそのように使うのは違うだろ、つまり（ライブラリ）ドキュメントは
解説書でも読み物でもないだろ、と言いたいんだ。

**デフォルトの名無しさん** · 2017/04/07(金) 23:36:42.37

本来であれば入門編は有用性ではなく単相型の欠陥に気付かせるべきなんだよ
VectorInt型とかVectorChar型とか再発明を繰り返すループに気付け
その後でパラメータ多相編とアドホック多相編をやるべき

**デフォルトの名無しさん** · 2017/04/08(土) 01:14:10.72

>>258
買う買う。

**デフォルトの名無しさん** · 2017/04/08(土) 20:59:41.01

>>258
かうぞー！

**デフォルトの名無しさん** · 2017/04/09(日) 00:41:02.14

萌は興味を引かせる手段にはなれても、理解を深める手段にはなれんよ

**デフォルトの名無しさん** · 2017/04/09(日) 01:31:48.04

Kindleで、標準ライブラリの一つにつき一冊かけて特集した本を電子書籍で出して

抽象的な基礎ライブラリはその応用可能性をねっとりと絡み付くまでに例示して

**デフォルトの名無しさん** · 2017/04/09(日) 01:36:18.18

いいっすね読んでみたい
GitBookあたりで無料で

**デフォルトの名無しさん** · 2017/04/09(日) 06:15:21.14

HaskellはHOW TO本が少な過ぎる
写経するだけでサクッと実用アプリを作れるような本が欲しいよね
IOが七章や八章から登場する入門書とか
Haskellを普及させる気ねぇだろｗ

**デフォルトの名無しさん** · 2017/04/09(日) 11:16:11.13

>>266
他言語でもそんな本は無いんじゃないか？
「サクッと」と「実用」がどんなレベルか知らんけど。

一応 Beginning Haskell が Web 系で実用的で、
入門者がアプリケーションを作るまでを指導してくれるが、洋書だ。

**デフォルトの名無しさん** · 2017/04/09(日) 13:25:40.09

Pythonなんかは
サンプルコードを書き書きしてるだけで
機械学習が出来ちゃう本なんかが出てるね

**デフォルトの名無しさん** · 2017/04/09(日) 14:32:15.66

Haskellでエロイベント満載の
エロゲーを作る入門書が欲しい

**デフォルトの名無しさん** · 2017/04/09(日) 22:07:49.23

Haskellってゲーム創るのに向いてるの？

**デフォルトの名無しさん** · 2017/04/10(月) 00:42:05.83

エロゲー作るのに大事なのはエロ絵だけ、プログラミング言語なんて全く関係ない

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

圧縮した画像を取り出したりするのはC言語だと思う
他の言語を混ぜても、小規模ならC言語の占める割合が高い
だから他の言語はスケーラビリティがーと言って大規模化しようとする

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

C言語開発はストレスで禿げるから嫌だ
居玉で横歩取りするような将棋は嫌だ

**デフォルトの名無しさん** · 2017/04/10(月) 03:00:41.47

>>270
モナディウスあるから作れないことはないけど、C/C++のが向いてる。
Haskellに限らずJavaやC#みたいなGC使ってるのはタイミングがシビアなゲームには向かない。
(やるとしても場面切り替えのタイミングまでGC止めたりと、工夫が必要)
シビアじゃないゲームならUnityの公式言語だったり、PS VitaのSDKもC#だし、ゲームプラットフォームの選択肢多いC#じゃね？

**デフォルトの名無しさん** · 2017/04/10(月) 03:05:43.30

とはいえ今時ゲームというばスマホだから
スマホ対応の難しい言語は論外だろうな

**デフォルトの名無しさん** · 2017/04/10(月) 03:14:10.80

ゲームとは言わんが、Haskellでスマフォアプリ作れたらなぁ。。。
Webアプリを作って、URLをスマフォの画面に置くのが関の山だろう。
Yesod本の和訳早よ。

**デフォルトの名無しさん** · 2017/04/10(月) 03:52:14.23

同系統の言語のCleanはIDEに標準で付いてくるサンプルに
２D横スクロールアクションみたいなゲームとかTCPとかあるから
そっち使うとかは？

**デフォルトの名無しさん** · 2017/04/10(月) 03:58:17.94

Androidで動くHaskellの話はどうなったの？

**デフォルトの名無しさん** · 2017/04/10(月) 05:18:31.19

どの言語でも無理矢理Androidで動かす狂人はいるけど
実用性はというと・・・お察しください

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

>>271
声優だって大事

**デフォルトの名無しさん** · 2017/04/10(月) 11:21:56.58

purescriptとりあえず入れてみたけど、コンパイラしかないのな

**デフォルトの名無しさん** · 2017/04/10(月) 21:28:48.23

arrayの要素数を型に含めることはできないの？
それがあれば、行列の積とかで便利だと思うんだけど
オレ頭が悪いんで言っている意味が分からないかな…

**デフォルトの名無しさん** · 2017/04/10(月) 21:55:22.44

Dependent Typeで検索

**デフォルトの名無しさん** · 2017/04/10(月) 23:31:00.56

JVMで動くHaskellことFregeは最近どうなっているのか

**デフォルトの名無しさん** · 2017/04/11(火) 00:12:08.28

Haskell風AltJSのベンチマーク - Qiita
http://qiita.com/philopon/items/1451f6b8c5ccec41479d

ブラウザゲーム作るにはまだまだなのかな

**デフォルトの名無しさん** · 2017/04/11(火) 00:13:19.38

>>282
要素数2 Bool -> Double
要素数3 Either Bool () -> Double
要素数4 (Bool, Bool) -> Double

**デフォルトの名無しさん** · 2017/04/11(火) 00:40:49.07

仮想機械上にランタイムシステムを敷いて、さらにその上で動かすの？

……遅そう

**デフォルトの名無しさん** · 2017/04/12(水) 23:48:48.59

>>259
>事の本質を捉えてからドキュメントから求めるものを探す。

この能力を身につけられるHaskell本はありますか？

**デフォルトの名無しさん** · 2017/04/12(水) 23:59:29.26

>>288
それはHaskellプログラマに特有の能力じゃないし、
他言語のプログラマよりも特に優れている訳でもないから、
Haskell本に求めても無駄。
強いて挙げれば「珠玉のアルゴリズムデザイン」。

でも、もっと他の本を読んで実践した方がいい。
例えば「いかにして問題を解くか」シリーズ。

**デフォルトの名無しさん** · 2017/04/13(木) 00:17:54.59

Haskellは数学だから基本は数学本に丸投げだよな
しかしλとか∀とか真面目に説明した数学本は見たことがない

**デフォルトの名無しさん** · 2017/04/13(木) 02:17:21.29

>>290
知らんだけだな

**デフォルトの名無しさん** · 2017/04/13(木) 02:32:00.36

数学の裏付けで支えられてる言語って安心感ある
誰しも学習に費やした時間を反故にしたくないのだ
つぶしが利く共通項目を辿って成長していきたい

**デフォルトの名無しさん** · 2017/04/13(木) 06:59:19.11

>>288
むしろそれはプログラマに必須の能力。
Haskellは普通の言語でそれが見えない人にも見える様にしてくれる。
(普通の言語ではプログラマになれなかった人でもプログラマになれるかも知れない言語)

本としてはHaskell本じゃ無いが、プログラミングinOcamlが良かった。
その後にプログラミングHaskell読むと良い。
どうしてもモナド理解したかったらすごいH本も読む。

CやJavaでマージソートのコード読んでも何やってるのか分からんかったが、Haskellだと初心者向けのアルゴリズム本で、マージソートとはこう言う動きをするソートって図解を読んで、自分で書けた。

今にして思えば、他の言語のアルゴリズム本はソートがリスト前提なのに配列でいきなり作るから分かりにくいって気付いたが。
リストで作って、遅いから配列にしたい。
どう書く？みたいな書き方なら他の言語でも分かりやすいのに。

**デフォルトの名無しさん** · 2017/04/13(木) 11:10:39.92

>>292
残念ながら時間が無駄になる確率は0ではない
0が良いというのは数学とは関係ない人間の願望

**デフォルトの名無しさん** · 2017/04/15(土) 17:32:06.76

数学の分からん馬鹿の多い板だな

◆QZaw55cn4c · 2017/04/15(土) 18:41:55.91

>>293
C/Java のソートはインプレイスであることが優先されるからね

**デフォルトの名無しさん** · 2017/04/18(火) 05:20:40.72

キャッチコピーすごいw

Haskellの美しさを
知っている人は、
人生に絶望することはない。
Haskellで世界を変えたい。
http://www.shuwasystem.co.jp/products/7980img/4806/a.jpg

**デフォルトの名無しさん** · 2017/04/18(火) 05:48:02.94

Haskellを学ぶことによりC++の凄さを知りました

**デフォルトの名無しさん** · 2017/04/18(火) 08:09:34.88

ちょっとオカルトチックにするのやめて
またHaskell馬鹿にされるじゃん

**デフォルトの名無しさん** · 2017/04/18(火) 09:21:24.08

その本めくってみたけど基本的な言語機能を延々噛み砕いて説明してるだけのバカが崇めるためにあるような本だった
インテリアに最適

**デフォルトの名無しさん** · 2017/04/18(火) 09:45:04.79

プログラミング言語を国家か何かのように考えてるやつはみんなオカルト
それをやめさせることができたらノーベル平和賞を取れる