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

**デフォルトの名無しさん** · 2018/07/08(日) 09:12:56.04

実験したら、やっぱり評価に必要な部分しかソートされなかったよ
実験は takeWhile じゃなく take でやった

[実験コード]
ucomp :: IORef Int -> Int -> Int -> Ordering
ucomp ref x y = unsafePerformIO $ do
modifyIORef ref (+1)
return $ compare x y

main = do
let g = mkStdGen 1
let xs = shuffle' [1..8] 8 g
rc <- newIORef 0
let ys = take 8 $ sortBy (ucomp rc) xs
putStrLn $ show $ maximum ys
c <- readIORef rc
putStrLn $ show c

take で取り出す要素数を8個と3個で実験し、show c の結果を比較
　　8個　c=19
3個　c=14

やっぱ遅延評価ってイイね
ベスト3を決めるのに他言語みたいに全部を評価する必要がない

ちなみに、100万個の要素でもやってみた
　　all　c=19237801
　　3個　c=1413225

質問したけど、ひとりで納得してしまった、すまん

**デフォルトの名無しさん** · 2018/07/08(日) 09:49:58.54

>>657
>ベスト3を決めるのに他言語みたいに全部を評価する必要がない
別に他言語でも全部を評価する必要はない。
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%82%BA%E3%83%A0

**デフォルトの名無しさん** · 2018/07/08(日) 10:45:22.88

どんな言語だろうが全部ソートすれば O(n*log(n)) で最小値や最大値を探すのは O(n)

この n と n*log(n) の差を無視できないなら
そもそも n と 100*n の差を無視するのもダメじゃないかと思う

**デフォルトの名無しさん** · 2018/07/08(日) 11:20:47.41

>>658
いや、そうじゃなくてさ

上位m個の選択処理とソート処理とをソース上ではきっちり分けてるじゃん
ソースを読む人間にとってはすげー読みやすいわけよ

なのに内部処理的には2つが連携して、
必要なところまでしかソートされないだろ
選択処理のためにワザワザ特殊なソート処理をしなくてもさ

そこがすげーって感動してるんだよ

**デフォルトの名無しさん** · 2018/07/08(日) 11:30:44.71

まあソートなんて如何にもキャッシュ次第なアルゴリズムで
連結リストと遅延評価のO(N)が配列と正格評価のO(NlogN)に
現実的なNの範囲で勝てるのかものかどうか・・・

**デフォルトの名無しさん** · 2018/07/08(日) 13:00:05.06

まるで永久機関の話を見ているようだ

**デフォルトの名無しさん** · 2018/07/08(日) 22:57:14.98

具体例や比喩で抽象度を下げるのは良い
だが「永久機関っぽいもの」の集合を作ったらむしろ抽象度が上がり収拾がつかなくなる

**デフォルトの名無しさん** · 2018/07/09(月) 10:04:31.05

arrayパッケージのData.Array.(!)はO(1)ですか。

**デフォルトの名無しさん** · 2018/07/11(水) 00:08:42.37

Haskellの採用とユーザ満足度が向上
https://www.infoq.com/jp/news/2018/07/haskell-user-survey-2018

**デフォルトの名無しさん** · 2018/07/13(金) 00:35:06.69

発展編！ Haskellで「型」のポテンシャルを最大限に引き出すには？【第二言語としてのHaskell】
https://employment.en-japan.com/engineerhub/entry/2017/10/03/110000

**デフォルトの名無しさん** · 2018/07/14(土) 09:44:23.46

yampaムズ過ぎ

初心者用のシンプルで教育的なチュートリアルって無いの？
英語でもいいから教えて

**デフォルトの名無しさん** · 2018/07/15(日) 00:11:52.51

>>677
Yampaエアプだが、このサイトが良さそうだ
http://bitterharvest.hatenablog.com/archive/category/Haskellプログラミング講座（上級編：ゲーム）

**デフォルトの名無しさん** · 2018/07/15(日) 05:50:15.76

>>668
申し訳ない

そこは、FRPの基礎概念である「ビヘイビアとイベント」と、
Yampaの基礎概念である「シグナル関数」との繋がりが言葉で説明されていないんだ

コードを書きまくって慣れろ、って感じ

**デフォルトの名無しさん** · 2018/07/15(日) 08:13:24.43

>>669
フーム
ビヘイビアは Time → a でイベントは [ (Time, a) ]
シグナル関数は (Time → a) → (Time → b)
のようなことが「FRPの話 - maoeのブログ」で少しだけ説明されているね。

もう少し長い解説をElm開発者の人が論文に書いてた。
http://elm-lang.cn/assets/papers/concurrent-frp.pdf

**デフォルトの名無しさん** · 2018/07/15(日) 08:23:05.35

>>665 ほらね、Haskell普及のためにはツールの拡充が必要なんだよ。
https://github.com/alanz/vscode-hie-server/pull/83
これこれこういうのを待ってた。emacs対応はよ

**デフォルトの名無しさん** · 2018/07/15(日) 09:30:20.96

>>670
ありがとう
両方読んでみる

**デフォルトの名無しさん** · 2018/07/27(金) 11:27:32.40

importのhidingとかqualifiedとか適当にやってるせいで、いつも収拾がつかなくなってる。

ブラックリストかホワイトリストか、asで名前付けるのはどんな時か。みんなどうしてるの？

**デフォルトの名無しさん** · 2018/07/27(金) 21:52:57.03

>>673
私も知りたいな。

私の場合は、頻繁に使うもの以外は、
qualified as してる。

そして、asでつける名前にいつも悩む。

**デフォルトの名無しさん** · 2018/07/29(日) 20:22:22.75

インポートリストをざっと見ることで、モジュールの役目が何となく掴めて嬉しい。たとえば
import Data.Text.Lazy
import Text.Parsec
だったら、ああなんかをパーズするんだな、と分かる。

一方、
import Math (sin,cos,tan)
みたいになっていても、このモジュールは三角関数を使うやつ、ということは判るが、それが大して役に立つとは思えない。

だから値の明示的インポートはやめて、hidingだけに統一しようかな、と考えてる。
値がバッティングして、かつ両方使いたいならそのモジュールは qualified する。

**デフォルトの名無しさん** · 2018/07/29(日) 20:25:02.63

>>674
基本大文字を拾って as している。
import qualified Data.Map as M
import qualified Data.Set as S
だが
import qualified Text.Regex.TDFA as TDFA
つらい

**デフォルトの名無しさん** · 2018/07/31(火) 21:58:40.13

https://github.com/trekhleb/javascript-algorithms/issues/119

岡部健、更新。

**デフォルトの名無しさん** · 2018/08/11(土) 12:54:39.21

get programming with haskell　読み終わった。

**デフォルトの名無しさん** · 2018/08/12(日) 03:22:15.33

>>678
感想は？

**デフォルトの名無しさん** · 2018/08/12(日) 09:41:11.96

>>678
凄いハスケルより初心者向きで実用的でわかりやすい。

**デフォルトの名無しさん** · 2018/08/12(日) 11:23:29.51

>>680
実用的というのは？
何かアプリケーションを作るの？

**デフォルトの名無しさん** · 2018/08/12(日) 11:30:59.98

>>681
アプリケーションは作らないけれどコマンドラインのプログラムは作る。

**デフォルトの名無しさん** · 2018/08/12(日) 17:25:24.07

もしかしてFRPとマルチスレッドって相性悪い？

**デフォルトの名無しさん** · 2018/08/12(日) 18:12:55.83

新分子設計は並列処理を酷使するだろうが
強化プラスチックが特別どうということはないだろう

**デフォルトの名無しさん** · 2018/08/12(日) 18:50:22.57

>>684
FRPの有限要素解析？

**デフォルトの名無しさん** · 2018/08/12(日) 19:11:53.89

>>26

**デフォルトの名無しさん** · 2018/08/13(月) 06:20:04.15

いいねえ。気軽に使えるからコマンドラインは好き。
自分で使うツールを作るのが一番モチベ上がるね

**デフォルトの名無しさん** · 2018/08/13(月) 14:03:54.60

Get Programming with Haskellはタイトルのとおり初心者向けの本だよ
600ページの本で400ページ超えたところでstack導入して、
あとは、簡単なコマンドラインツール、http、JSON、dbおさわりくらい
それまでは、ghci使ってhaskellの学習

**デフォルトの名無しさん** · 2018/08/26(日) 22:17:17.61

Haskell開発ワークフロー。お前らはどれ？
1. stackの--file-watch
2. ghciの:r
3. ghcid
4. エディタのフック
https://www.fpcomplete.com/blog/2018/08/haskell-development-workflows-4-ways

**デフォルトの名無しさん** · 2018/08/27(月) 22:15:37.17

今やすいぞ　多分半額程度

ソフトウェアシステムアーキテクチャ構築の原理第2版
https://www.amazon.co.jp/ソフトウェアシステムアーキテクチャ構築の原理-第2版-ニック-ロザンスキ-ebook/dp/B00ZF44J0I/ref=tmm_kin_title_0?_encoding=UTF8&qid=1535375513&sr=1-1

**デフォルトの名無しさん** · 2018/08/29(水) 13:20:47.63

>>689
俺は2

**デフォルトの名無しさん** · 2018/09/04(火) 09:34:44.70

カリー化された関数の表記がよく分かりません。

add' :: Int -> (Int -> Int)
add' x y = x + y

↑これはどうやって解釈すればいいのでしょうか？
add' は関数を返す関数であるにもかかわらず、 = x + y となっているので数を返す関数のように見えます。

↓このλ式を使った表記は何の問題もないと思います。

add = \x -> (\y -> x + y)

**デフォルトの名無しさん** · 2018/09/04(火) 09:40:03.69

add x = \y -> x + y

これでも問題ないと思います。

**デフォルトの名無しさん** · 2018/09/04(火) 10:34:46.73

Int -> (Int -> Int)　も
Int -> Int -> Int　も同じやろ

add 1 2 としたらIntになるし
add 1 としたらInt -> Intの関数が得られる
それだけ

更に引数３つとるaddなら
add = \x -> (\y -> (\z -> x + y + z))
と同じ意味だし、haskellはデフォでそういう仕組になってるってことやろ

**デフォルトの名無しさん** · 2018/09/04(火) 10:40:17.26

>>694

ありがとうございます。

add' :: Int -> (Int -> Int)
add' x y = x + y

↑この表記って、よくない表記じゃないですか？

add' x y = x + y

↑これをみて、型が add' :: Int -> (Int -> Int) だとはとても分かりません。

**デフォルトの名無しさん** · 2018/09/04(火) 10:48:31.75

じゃあどんな型だと思うんだい？

**デフォルトの名無しさん** · 2018/09/04(火) 10:48:48.98

逆にそれ見たらどういう型だと思った？
Int -> Int -> Int
って思ったんじゃない？

なんの本読んでるかしらんけど
例えば add x y z なら　Int -> Int -> Int -> Int だけど
実際には
Int -> (Int -> (Int -> Int))
こうなってるってことを言いたいんやろ

**デフォルトの名無しさん** · 2018/09/04(火) 10:50:47.26

>>696

add' :: Int Int -> Int

という型に見えます。

**デフォルトの名無しさん** · 2018/09/04(火) 10:52:13.57

1 2

のように整数をスペース区切りで二つ並べたものに対して、

1 + 2

を対応させる関数に見えます。

**デフォルトの名無しさん** · 2018/09/04(火) 10:54:55.24

関数を返す関数なんですから、

=

の右には数ではなく関数を書くべきです。

**デフォルトの名無しさん** · 2018/09/04(火) 10:57:59.07

f x = x + 2

などの例を見て、

f ● = ■

という表記は、

f(●) = ■

という意味かと思います。

**デフォルトの名無しさん** · 2018/09/04(火) 11:29:45.35

add は関数を返す関数じゃなくて引数を２つとって値を返す関数やろ
そこでもう勘違いしとる
add 2 3 の結果は関数じゃなくて値やろ?
add 2 のように引数を一個だけ渡したら部分適用されて引数を一個とる関数が返るってだけや

haskellはそういう部分適用できる関数を書きやすいように
add x y = x + y を add = \x -> (\y -> x + y)に自動で変換してくれるってだけ
糖衣構文ってやつ
嫌なら全部ラムダ式で書けばいいよ

**デフォルトの名無しさん** · 2018/09/04(火) 11:41:42.58

>>698
じゃああなたが今勉強してるカリー化って何なんですかね？

**デフォルトの名無しさん** · 2018/09/04(火) 12:05:07.87

**argv :: char
*argv :: char*
argv :: char**

add' x y :: Int
add' x :: a -> Int
add' :: b -> a -> Int

C言語を学習した人はHaskellも分かる
これが知能だ

**デフォルトの名無しさん** · 2018/09/04(火) 12:52:41.14

Haxe では関数の型は、
function sum (a:Int, b:Int) : Int

Int -> Int -> Int
引数1 -> 引数2 -> 戻り値

最後は戻り値

**デフォルトの名無しさん** · 2018/09/04(火) 12:54:41.46

>>701
Haskellは関数適用が最優先だから
add' x y は (add' x) y って意味
だから add' x y = x + y は
「add' にxを適用した結果にyを適用した結果はx+yに等しい」と読める

ちなみに組み込み関数のuncurryを用いて add'' = uncurry add' とでも定義すると
add'' :: (Int, Int) -> Int
というおそらく>>698 でイメージしているであろうものに近い関数が得られる
Haskellのデフォルトの振る舞いはこちらではないという話

**デフォルトの名無しさん** · 2018/09/04(火) 14:03:08.32

通りすがりだけど勉強になった
haskell面白そうだな

**デフォルトの名無しさん** · 2018/09/04(火) 20:06:44.00

Haskellちょっといじってると楽しいけどこれで飯食うのは自分には絶対無理という確信がある

**デフォルトの名無しさん** · 2018/09/04(火) 20:32:29.35

Haskellで食っていきたい

**デフォルトの名無しさん** · 2018/09/04(火) 21:00:34.43

Haskell丼食いたい

**デフォルトの名無しさん** · 2018/09/05(水) 02:13:16.34

市場を作れ

**デフォルトの名無しさん** · 2018/09/05(水) 02:29:20.15

まずはHaskellの独壇場となるニッチ市場を開拓しないとな
どこかある？

**デフォルトの名無しさん** · 2018/09/05(水) 02:54:04.71

写像をドメイン、コドメインのみ与えて定義するのが簡単にできればちょっと優位にたてる分野はある

**デフォルトの名無しさん** · 2018/09/05(水) 17:02:07.24

>>713
もう少し詳しく教えて

**デフォルトの名無しさん** · 2018/09/05(水) 17:04:52.63

いまのHaskellには何が足らないのか。どんな分野で強みが活きるのか

**デフォルトの名無しさん** · 2018/09/05(水) 20:52:06.57

haskellでddd, cqrs, esのやり方を教えろください

**デフォルトの名無しさん** · 2018/09/07(金) 12:23:22.72

DDDが活きてくる(と見込める)ほどの規模の案件をhaskellで組むプロジェクトって凄いな

本格的にhaskellを導入してるんだね

**デフォルトの名無しさん** · 2018/09/07(金) 18:05:22.36

>>716
cqrs haskell でググるとすぐに
https://github.com/BardurArantsson/cqrs
がヒットするが、これではダメなん？

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

>>718
DDD は Extensible Effect と Tagless final がよく合う

**デフォルトの名無しさん** · 2018/09/07(金) 23:54:56.71

Haskellに欠けているのは中級者向けの書籍なのかも

**デフォルトの名無しさん** · 2018/09/08(土) 00:07:42.03

コンセプトは無茶苦茶面白いのに、肝心の実装が学級的で好き放題に流動的で恐ろしく無責任だからでは

**デフォルトの名無しさん** · 2018/09/08(土) 13:16:38.32

>>721
そうなのか。具体的にはどのあたりが？

**デフォルトの名無しさん** · 2018/09/10(月) 20:55:39.03

Functional Design and Architecture
https://www.reddit.com/r/haskell/comments/6ck72h/functional_design_and_architecture/
素晴らしい、応援したい

**デフォルトの名無しさん** · 2018/09/11(火) 06:18:11.27

発売されたら買おうかな

**デフォルトの名無しさん** · 2018/09/11(火) 20:55:06.43

ひゃっほおおおう！ビルド通ったぜ
stackageの可能な限り全部の総計2352パッケージを含むプロジェクトのビルドがやっと通った。
もはや ghci をいったん落として stack.yaml と cabal ファイルにパッケージを追記し... などという面倒をしなくても
ただ import するだけでそれが利用可能になる。

**デフォルトの名無しさん** · 2018/09/15(土) 18:42:49.12

spacemacsのinteroでデバッグできてる人います？

replを立ち上げた後、デバッグしようとする（spc m d d）と、
No Haskell session associated with this debug buffer.
てエラーが出て、先に進まないです。
上記はhaskell-debug.elの中に出てくるエラー文で、
上で立ち上げたrepl（stack ghci）がsessionとして認識されてないのが原因？な気がしますが、力及ばずって感じです。

**デフォルトの名無しさん** · 2018/09/16(日) 08:20:46.91

>>712
金融で使ってる。
あと文書解析。

**デフォルトの名無しさん** · 2018/09/16(日) 22:36:53.37

すみません言語の話題から少し外れますが、

Windows10環境で
WinGHCiコンソール（ver 1.0.6）を使っているのですが
表示フォントをコンソラス等にしても
滑らかな文字表示がされず
メモ帳エディタの様な細いジャギー文字表示になります。

何か環境を弄ったり外部設定ファイルを書き換えたりして
外国のユーザー画面みたいな滑らか文字表示にする方法を
もしご存知でしたら教えて下さい。

**デフォルトの名無しさん** · 2018/09/17(月) 17:50:28.07

ポールフダックの音楽／Haskellの本が延期しまくりでつらみ
慰めに手を出してみたreact+reduxが割と面白くてjavascriptおじさんになりそう

**デフォルトの名無しさん** · 2018/09/18(火) 15:50:49.67

ハスケルミュージックスクールってやつ
なら無料で読めるドラフトバージョンのやつよんだけど糞つまらんよ
ほとんどがライブラリーの使い方の説明しか書いてない

**デフォルトの名無しさん** · 2018/09/18(火) 23:03:29.52

その本です
定価で買うような本じゃなさそうですね…

**デフォルトの名無しさん** · 2018/09/18(火) 23:04:16.22

遅れましたがありがとう。

**デフォルトの名無しさん** · 2018/09/19(水) 23:56:22.00

木構造を表現するときの、「節」とか「葉」って、どう読みますか？

**デフォルトの名無しさん** · 2018/09/20(木) 12:01:53.37

ふし
よう

**デフォルトの名無しさん** · 2018/09/20(木) 12:32:11.09

>>733
節 Node
葉 Leaf

**デフォルトの名無しさん** · 2018/09/20(木) 15:10:54.04

木をきと読むのならふし、は、
木をもくと読むのならせつ、よう
になる

**デフォルトの名無しさん** · 2018/09/20(木) 19:43:33.25

未評価オブジェクトの thunk の語源って何？

**デフォルトの名無しさん** · 2018/09/20(木) 20:48:30.00

thunkって？
http://higepon.hatenablog.com/entry/20071202/1196605979

**デフォルトの名無しさん** · 2018/09/20(木) 21:06:35.17

thunk you

**デフォルトの名無しさん** · 2018/09/20(木) 21:15:43.07

>>738
あんがと

**デフォルトの名無しさん** · 2018/09/20(木) 22:10:00.23

カリー=ハワード同型
https://ideone.com/RSvVYo

**デフォルトの名無しさん** · 2018/09/20(木) 22:11:42.05

733です
ありがとうございます

「き」「…」「は」で、「節」の読みを決めかねていましたが、>>736さんの仰るとおり、「ふし」で行くことにします

**デフォルトの名無しさん** · 2018/09/20(木) 22:24:45.13

すみません、733です

音訓(違うかな?)いずれかに寄せるべきと感じていたからです

他の方々もありがとうございました

**デフォルトの名無しさん** · 2018/09/20(木) 22:59:01.96

>>743
グラフ理論だと、文献にもよるけど、道、路、小道、歩道とか出てきて、統一不能感。

**デフォルトの名無しさん** · 2018/09/21(金) 11:17:49.00

メモ化とスペースリークが本質的に同じもので、
言わば発酵と腐敗の関係の様なものだと知ったときは感動した。

**デフォルトの名無しさん** · 2018/09/21(金) 16:12:03.67

例えｗ

**デフォルトの名無しさん** · 2018/09/22(土) 03:54:02.44

>>744
path でええやん

**デフォルトの名無しさん** · 2018/09/22(土) 05:09:30.37

>>747
元の英語がpath, trail, walkとか分かれてるのだが

文学なら訳し分けにくい概念は思い切って意訳することもできるが
技術用語だとそうもいかないのが難しいところ

**デフォルトの名無しさん** · 2018/09/23(日) 15:45:23.97

Coerce知らなかった。newtypeを自動で剥がしてくれる便利なやつ

import Data.Semigroup
import Control.Arrow
import Data.Coerce
aggregate :: [Int] -> (Maybe Int,Int)
aggregate' :: [Int] -> (Maybe Int,Int)

aggregate = (fmap getMax *** getSum) . foldMap (Just . Max &&& Sum)
aggregate' = coerce . foldMap (Just . Max &&& Sum)

https://speakerdeck.com/konn/ben-dang-hasugoi-newtype

**デフォルトの名無しさん** · 2018/09/30(日) 08:19:13.93

リストの要素がすべて異なる場合はTrue、
一つでも同じものがあれば False を返す関数を作りたい。

私が思いつく限りでは、次の方法が効率的には最適解だと思うのだが、どうだろうか。

リストが Eq と Ord のインスタンスであるという制限をかけた上で、
まずリストをソートし、それから隣の要素同士で同値関係を調べる。

ちなみに、これは○○問題などと名前がついているのだろうか。

**デフォルトの名無しさん** · 2018/09/30(日) 14:27:30.56

名前をつけるとしたらグラフ○○かな
グラフ簡約のように木をグラフに変える問題

**デフォルトの名無しさん** · 2018/09/30(日) 14:28:16.49

なんでソートするん？

**デフォルトの名無しさん** · 2018/09/30(日) 14:56:02.92

ソートは不要だし、どの言語でもdictionary/mappingにして要素数見るだけの作業のような

**デフォルトの名無しさん** · 2018/09/30(日) 15:13:03.29

>>752
ソートすれば、隣同士の要素の同値関係を調べるだけでよくなるから。

n個の要素を持つ未ソートリストの場合、
リストの第0要素を第1要素と、第2要素と・・・第n要素と比較する。
次にリストの第1要素を第2要素と・・・第n要素と比較する。
とやって、結局 O(n^2) の計算量が必要になる。

ソートするなら O(n log n) で済む。

と思ったけど、オレ勘違いしてるかな。
すまん、修理に出したPCがまだ帰ってこず、
試して速度比較できる環境にないんだ。

**デフォルトの名無しさん** · 2018/09/30(日) 15:14:19.07

>>750
それも結局 O(n log n) だよね？
これが効率的には限界？

**デフォルトの名無しさん** · 2018/09/30(日) 15:21:38.02

>>755
アンカー間違えた。

>>753
それも結局 O(n log n) だよね？
これが効率的には限界？

**デフォルトの名無しさん** · 2018/09/30(日) 16:45:52.09

一般的に同値関係とは推移律が成り立ってる関係のことを言うので
全ての要素に対して先頭の要素と同値関係が成り立つのなら任意の要素間で同値関係が成り立つ
ちなみにソートして全探索を早く打ち切らせるテクニックのことは貪欲法という