関数型プログラミング言語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/08/11(金) 03:54:12.02

フィボナッチ数を漸化式で単に実装したとき、そのままだと深い部分で同じ引数による呼び出しが無数に発生してると思うんですが
自動メモ化してくれないんすね

**デフォルトの名無しさん** · 2017/08/11(金) 04:15:27.98

>>824
それは>>820のほうで >>775で起こる「メモ化」は>>816だろ

**デフォルトの名無しさん** · 2017/08/11(金) 05:49:13.91

言語別平均年収ランキング

1位Scala 626万円
2位Python 601万円
3位Kotlin 577万円
4位Swift, Ruby 562万円
6位Java 552万円
7位Perl 551万円
8位 C言語 538万円
9位JavaScript 536万円
10位PHP 522万円
11位COBOL 509万円

以下は求人が少ないためランキングから除外
Groovy 680万円
Haskell 670万円
Erlang 604万円
LISP 581万円

尚、C++, C#は調査対象外とする

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

>>826
＞尚、C++, C#は調査対象外とする
なぜなんだ？それこそ興味深いんだが？

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

難しすぎて習得者が少なすぎて調査不能なんだろう

**デフォルトの名無しさん** · 2017/08/11(金) 11:06:36.65

求人数が少ないから除外？
どうしてもその言語じゃなきゃだけど、その言語使える人が少ないって方が給料良いんだが。
(あと金出す側の資金力にもよる)

Fortranとか意外と良いぞ。
金融系なら関数型言語。

**デフォルトの名無しさん** · 2017/08/11(金) 11:07:39.31

あ、Fortranは大学がスパコンで使うとかの場合ね。

**デフォルトの名無しさん** · 2017/08/11(金) 11:15:12.10

いやC++C#は多いだろうよ

**デフォルトの名無しさん** · 2017/08/11(金) 11:32:50.22

なぜ 828 がジョークだと分からないんだｗ

831 も 829 にマジレスするなら、828 がジョークだと教えないと
（まさか 831 は 828 に対してのレスってことはないよね？）

**デフォルトの名無しさん** · 2017/08/11(金) 14:56:02.48

>>826の元記事はこれ
プログラミング言語別の平均年収ランキング、1位は「Scala」 - ITmedia NEWS
http://www.itmedia.co.jp/news/articles/1708/10/news073.html

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

グラフ簡約で物理同値が保証されてることを「メモ化」とはいわなくない？

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

>>834

>>816
>そのため，このような簡約方法を「グラフ簡約（あるいはグラフ簡約法，graph reduction）」と呼びます。
>また，同じ式の評価のために，キャッシュされた解を使う手法のことを「メモ化（memoization）」といいます。

**デフォルトの名無しさん** · 2017/08/11(金) 21:13:47.87

メモ化って memorization の訳だと思ってたが、 memoization という造語(1968年初出)の訳だったのか

んで、メモ化は簡約結果が同値であることを利用して、
計算結果を使いまわす研究での用語だったみたいね

ttps://ja.wikipedia.org/wiki/メモ化

**デフォルトの名無しさん** · 2017/08/12(土) 00:24:09.94

Haskell でのデバッグ - あどけない話
http://d.hatena.ne.jp/kazu-yamamoto/20120606/1338957783

**デフォルトの名無しさん** · 2017/08/12(土) 19:28:27.04

http://i.imgur.com/Aso3WgV.png

メモ化ってどうやるの？

**デフォルトの名無しさん** · 2017/08/12(土) 21:06:06.85

参照透明性を利用する
一度評価したらもう動かないのだという性質を利用するのだ
コンテナと組み合わせてほら！

**デフォルトの名無しさん** · 2017/08/12(土) 22:47:13.92

>>838
trace関数のソースにこう書かれてた

The 'trace' function should /only/ be used for debugging, or for monitoring
execution. The function is not referentially transparent: its type indicates
that it is a pure function but it has the side effect of outputting the
trace message.

他の関数と同様に考えるわけにはいかないようだ

**デフォルトの名無しさん** · 2017/08/13(日) 00:48:15.11

Python, Kotlin, underscore.js にも、memoize がある

ナップサック問題で、使う

**デフォルトの名無しさん** · 2017/08/13(日) 01:44:46.49

Let vs. Where - HaskellWiki
https://wiki.haskell.org/Let_vs._Where#Lambda_Lifting

これってwhereは引数に変換されるってこと？(英語うまく訳せなくて分からない)

**デフォルトの名無しさん** · 2017/08/13(日) 06:26:42.63

競技プログラミングではデフォルトライブラリしか使えないので
高度なアルゴリズムは自分で勉強して実装しておいたものをコピペするしかないのだ

**デフォルトの名無しさん** · 2017/08/13(日) 10:34:38.57

モナドってなんなの？

**デフォルトの名無しさん** · 2017/08/13(日) 12:11:08.44

文脈

**デフォルトの名無しさん** · 2017/08/13(日) 13:12:26.05

山本ﾀｿは「裏面配線」って言ってたかな

**デフォルトの名無しさん** · 2017/08/13(日) 17:47:54.48

関数プログラミングって文字列型って上手くあつかえるの？
オブジェクト指向の最大の欠点って「文字列を上手く扱えない」ところに
あると思うんだよね。

**デフォルトの名無しさん** · 2017/08/13(日) 17:51:31.77

>>846
何か「表面」があっての裏面配線なんだろ？
ではその表面って何？

**デフォルトの名無しさん** · 2017/08/13(日) 19:22:11.54

>>842
違うよ。

ある関数の定義に使う補助的な関数の定義は、独立してトップレベルに置く事もできるし、
let や where を使って関数定義の中に置く事もできるよ、って言ってる。

関数内部で定義されていた関数を外に出して独立させることを lambda lifting と言って、
逆に外にあった関数を別の関数の内部で定義することを lambda dropping と言うんだ。

Haskell を使うだけならこんな理解で十分なんだけど、
もともとは関数型言語の処理系の研究で出てきた用語なんで、
その辺りまで深く学びたいのなら、やつぱり英語を読めないと難しいかも。

ちなみに、そのリンク先の [3 Lambda Lifting] と比べれば、
その直後の [4 Problems with where] の方が衝撃的な内容だね。
Haskell を実用的に使っている人にとってはこっちの方が大事な内容だよ。

**デフォルトの名無しさん** · 2017/08/13(日) 20:15:07.01

Haskellという土台の上に、オレオレ言語を構築する。それがモナドだ

Haskell上で動作する『ぼくのかんがえたさいきょうのげんご』

DSLプラットフォーム

**デフォルトの名無しさん** · 2017/08/13(日) 20:19:51.10

>>849
衝撃だけど実際どれくらいパフォーマンス上のインパクトがあるの？

**デフォルトの名無しさん** · 2017/08/13(日) 21:59:10.19

>>851
試せばすぐに分かるが、あのフィボナッチ数のサンプルでは全く大した事なかったりする。
確かに後者の方が遅い代わりにメモリ効率いいけど、ほとんど差が出ない事に驚くほどだよ。

差がはっきり出る例を作る方が難しいと思う。

衝撃なのはパフォーマンスの差じゃなくて、単に引数を省略しただけで
コンパイルの結果に差が出ることがある、という事実。

GHCにはこういうことがあると、頭の片隅にでも入れておいた方がいいね。
他にも「単に***を変えただけで何で意図したように動かないの？」
ってなるようなコンパイラの仕様があるだろうから、
それに出くわした時に、もしかしてと気づければ無駄に悩む時間が省ける。

**デフォルトの名無しさん** · 2017/08/13(日) 22:05:27.98

STモナドとSTArrayの理解を深めるのに向いてる書籍やサイトなどがあれば英語でもいいので教えていただきたいです
競技プログラミングで少し行き詰まってて

**デフォルトの名無しさん** · 2017/08/13(日) 22:12:47.72

>>852
なるほど
関数プログラミング入門か実践入門あたりの和書でもポイントフリーか否かで
動作が変わるという内容を見たことはある

**デフォルトの名無しさん** · 2017/08/13(日) 22:35:47.24

>>851
fib1 40は1秒かからなかったけど
fib2 40だと37秒かかった

fib1 = (map fib1' [0 ..] !!)
where
fib1' 0 = 0
fib1' 1 = 1
fib1' n = fib1 (n - 1) + fib1 (n - 2)

fib2 x = map fib2' [0 ..] !! x
where
fib2' 0 = 0
fib2' 1 = 1
fib2' n = fib2 (n - 1) + fib2 (n - 2)

**デフォルトの名無しさん** · 2017/08/13(日) 22:42:29.03

>>855
fib1 43は1秒かからなかったけど
fib2 43は2分40秒かかった

**デフォルトの名無しさん** · 2017/08/13(日) 22:56:30.39

>>849
教えてくれてありがとう

**デフォルトの名無しさん** · 2017/08/13(日) 23:03:01.35

毎回 let 束縛し直すから遅い、って凄えなこれ
手動 eta-reduction 必須、みたいなんか

**デフォルトの名無しさん** · 2017/08/13(日) 23:18:59.79

>>855
fib3 40、fib4 40は fib2 40と同じくらい

fib3 =
let fib3' 0 = 0
fib3' 1 = 1
fib3' n = fib3 (n - 1) + fib3 (n - 2)
in (map fib3' [0 ..] !!)

fib4 x =
let fib4' 0 = 0
fib4' 1 = 1
fib4' n = fib4 (n - 1) + fib4 (n - 2)
in map fib4' [0 ..] !! x

**デフォルトの名無しさん** · 2017/08/13(日) 23:39:51.65

>>842
なにこれこわい

**デフォルトの名無しさん** · 2017/08/14(月) 00:09:46.90

>>855
最適化オプションを付けてコンパイルしてみ。
ほとんど差が無くなるから。

**デフォルトの名無しさん** · 2017/08/14(月) 00:40:48.93

>>840
traceはメモ化には使えないってことですか

>>851-852
試してみた
使用メモリがだいぶ違う、低スペックPCなので20でも実行時間に差が出た
http://i.imgur.com/lJUUCAs.png
http://i.imgur.com/zXHSwNH.png

**デフォルトの名無しさん** · 2017/08/14(月) 01:18:11.31

モナドを取り入れると明らかに型が違うのが分かる
Identityモナドでもいいんだが
問題なのは引数の省略ではなくコンストラクタの省略ではないか

fib1 = return (map fib [0 ..] !!)
fib2 x = return (map fib [0 ..] !! x)

**デフォルトの名無しさん** · 2017/08/14(月) 01:40:22.76

呼び出し毎の関数束縛が遅いってことかね
値の束縛やトップレベルの関数呼び出しだとどの程度だろう

**デフォルトの名無しさん** · 2017/08/14(月) 03:27:39.46

>>861
たしかに最適化で差異がなくなった

最適化なし -O0
fib1 (sec: 0.00 mem: 3456) https://paiza.io/projects/0LYONUr9fsU2GCX0AE8A_g
fib2 (sec: 0.87 mem: 4608) https://paiza.io/projects/iNAIEVZM5IY5uLxzJ_QJ7w

最適化あり -O1
fib1 (sec: 0.00 mem: 3280) https://paiza.io/projects/XCnm40B0C1HcbuAIBGyUFw
fib2 (sec: 0.00 mem: 3312) https://paiza.io/projects/Et1N4r-vdxXjrid_7hn6PA

計測手段 /usr/bin/time -f "sec: %e\tmem: %M"

**デフォルトの名無しさん** · 2017/08/14(月) 05:10:48.34

最適化かくにん！

　　　よかった。

**デフォルトの名無しさん** · 2017/08/14(月) 12:00:31.24

やはり、最適化かかってんのね。
安心したけど書いてるのがもう少し速くなるかなと思ってたので、残念なような、、

linuxでgtk2hsでつくってたのをwin10に移植しようとしたら、うまくいかなかった。
gtk2hsの公式も落ちてたし、HaskellのGUIは今は何が主流 or ポテンシャル高い、なんですかね？

**デフォルトの名無しさん** · 2017/08/14(月) 14:52:12.07

すまん、いろんなモナドをJavaとかPythonとかのコードで
表してくれ・・・
なんとなく言いたいことは分かったとしても、はっきりとモナドが
なんなのかが分からない。
クラスとは何が違うのか。

**デフォルトの名無しさん** · 2017/08/14(月) 15:06:44.92

ひところ GUI の為の FRP に熱を上げていた連中は今、何に熱を上げてるの？

**デフォルトの名無しさん** · 2017/08/14(月) 17:17:03.93

>>868
>すまん、いろんなモナドをJavaとかPythonとかのコードで
>表してくれ・・・

JavaかPythonのスレ逝くべきだと思うの

>なんとなく言いたいことは分かったとしても、はっきりとモナドが
>なんなのかが分からない。
>クラスとは何が違うのか。

「なんとなく」もわかってないと思うよ

あと「モナドは自己関手の圏におけるモノイド対象以上でも以下でもない」が本質的な回答

**デフォルトの名無しさん** · 2017/08/14(月) 17:29:31.74

>>870
お、イキリオタクか？
平たい言葉で説明できないやつは無能なんだよなぁ・・・
自分は頭いいとおもってる？？かっこいいね？？本質的な解答とかいっちゃってさ

**デフォルトの名無しさん** · 2017/08/14(月) 17:52:42.99

CSにコンプレックスでもあんの？
テクニカルな概念をバカにわかるように説明しようとしてもムダってだけ

**デフォルトの名無しさん** · 2017/08/14(月) 18:03:28.37

春先Haskell熱心にやってたが
いまはCとかアセンブラとかそんなんばっかw

**デフォルトの名無しさん** · 2017/08/14(月) 18:05:00.48

圏論分からんのがここで
いくら吠えても無駄だとという…

**デフォルトの名無しさん** · 2017/08/14(月) 20:12:02.36

「左辺 <- 右辺」の右辺をモナドという
左辺と右辺が等しいとは言っていないので制約が少なくて便利

**デフォルトの名無しさん** · 2017/08/14(月) 20:17:22.67

圏論を学ぶ為の知識がない

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

letとwhereが炎上したのも
等しいと書いてあるのに時間とメモリの消費が違うのはおかしいって話だよな

**デフォルトの名無しさん** · 2017/08/14(月) 20:53:52.30

圏論もモノイドもわからなくてもHaskellでコード書くくらいは出来るけどな
もっと初学者への門戸を広げないと未来がない気がする

**デフォルトの名無しさん** · 2017/08/14(月) 22:55:23.88

>>867
最適化オプションで差がほぼ無くなるんだから、
俺は、どっちの書き方でも良い ==> 読みやすい方で書けばOK となって嬉しいけどな。

GUI ライブラリの主流は知らんけど、ポテンシャル高いのは Web アプリ系だと思ってる。
Webブラウザを GUI のキャンバスにするタイプのライブラリ。

基本的にはどのプラットフォームでも同じように動く。
既存の Web アプリ用テストフレームワークが使える。
この辺り、ライブラリ開発者にもアプリ開発者にも大きなメリットで、
要するに開発がしやすい。
これからどんどん進化していく可能性が高いんじゃないかな。

そんなライブラリはいくつかあるけど、俺は threepenny-gui がおすすめ。
ヘンに小難しい EDSL が無く、概念が素直でシンプルだからプログラムしやすいよ。
stackage にも入ってるから導入が楽だしね。

**デフォルトの名無しさん** · 2017/08/14(月) 23:10:56.01

>>879
情報ありがとう。
良い機会だしThree pennyやってみるよ。
上ででてるFRPとかいうのもやれそうで面白そうだし。

**デフォルトの名無しさん** · 2017/08/15(火) 02:45:23.70

>>842
2014年とかめっちゃ情報古いのでアテにならんだろ

Revision history of "Let vs. Where" - HaskellWiki
https://wiki.haskell.org/index.php?title=Let_vs._Where&;action=history

**デフォルトの名無しさん** · 2017/08/15(火) 16:18:56.38

Chris Okasakiの純粋関数型データ構造
Haskellを志すキッズはマストバイだわ

まだ3章だけど、木の値の更新でどうやって効率良く（更新しない部分を）扱ってるのか解ったわ

根元から辿って、毎回関係ない方を共有してけば確かに辿るステップ分のコピーしか発生しないわけだわ
対数オーダーになるわけだわ
なるほどなるほど

SML記法で書いてあるけどHaskell式としてもすぐに頭に入るわ

**デフォルトの名無しさん** · 2017/08/15(火) 17:50:51.72

ステマステマス

**デフォルトの名無しさん** · 2017/08/16(水) 10:19:38.26

smlnj入れたけど全然勉強進んでないなそういえば

**デフォルトの名無しさん** · 2017/08/16(水) 15:19:53.05

ニュージャージーSMLは大学時代情報科学実験だか演習だかの簡易コンパイラ作製でひどい目にあった
Haskellに出逢えなかったら危うく関数型アレルギーになるところだった

**デフォルトの名無しさん** · 2017/08/16(水) 17:48:37.53

stackで、stack buildしても上書きされなかったりします？
stack execしても、新しいのにならない、、

**デフォルトの名無しさん** · 2017/08/16(水) 20:37:22.91

>>885
どんなとこが合わなかったの？

**デフォルトの名無しさん** · 2017/08/16(水) 23:08:21.23

・怒涛の再帰再帰再帰再帰の思考枠組みに悲鳴を上げる、手続き脳だった当時のボクの頭が

・末尾再帰最適化など実際（パフォーマンス）的なことを教えてくれず、代入なし、変更はコピーでやるとふわふわっと説明され、
（時間・空間）計算量的に現実には使い物にならないんじゃないかという疑念を払拭してくれなかった当時の講師（ボクはC++のように本格的でないものにはやる気が出ない性格）が

・演習に遅刻した奴への嫌がらせかと疑わしい程に沢山埋め込んであるレジュメの誤植を、口頭でちょろちょろっと訂正するだけのおざなり風土（レジュメだけでなくちゃんと教科書で進めろ）が

・できあがる、四則演算しかできない（途中アセンブリ言語に少し触れたのは良かったが）面白くもなんともない（ボクは本格的でないものにはやる気が出ない性格）糞仕様の言語（とそれ用コンパイラ）が

…ん？なんかほとんどニュージャージーのせいじゃないな

**デフォルトの名無しさん** · 2017/08/16(水) 23:58:51.50

そういうの、よそのスレでやってくれないか

**デフォルトの名無しさん** · 2017/08/17(木) 07:36:41.55

すいません許してください。何でもしますから

**デフォルトの名無しさん** · 2017/08/18(金) 00:54:02.54

モナドってインタフェースみたいなもんでいいのか？
つまりなんでもアリにしちゃうと、設計上様々な不整合があるから
「こういうモナド」を最初に規定してしまい、「モナドに合致しない」記述は
コンパイルで弾いてくれるの?

**デフォルトの名無しさん** · 2017/08/18(金) 01:40:52.19

モナドはDSLプラットフォーム

**デフォルトの名無しさん** · 2017/08/18(金) 08:52:35.38

文脈だって言ってんダロ
文脈を保ちながら普通の値と同じように扱うための規則を定めたものがモナド

**デフォルトの名無しさん** · 2017/08/18(金) 09:06:56.52

haskellはモナドじゃないものもコンパイル通しちゃうよ
モナドであることの保証は自分でするしか

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

>>891
モナドってより型クラスがインターフェースに近い。
んで、モナドは型クラスの一つでしかない。
等値を司るEq型クラスのインスタンスになれば=が使える。
大小比較を司るOrd型クラスのインスタンスになれば<や<=が使える。
それと同じ。
逐次処理を司るMonad型クラスのインスタンスになれば>>=とreturnが使える。
IOモナドはIO型を受け取るモナドってだけ。
素のモナドを使うのがほぼIO型しかないからIOモナドって一緒くたにされるけど、IOとモナドは分けて考える。

リストやMaybeもモナドのインスタンスなので、モナドでもある。

モナドが他の型クラスと違うのは、メソッド定義(インターフェースになる関数や演算子をインスタンスになる型で定義)の時にモナド則に則って書く必要があるということ。
それとモナド則を正しく定義できたかは型クラスには無関係なので、定義した人が正しさを保証する必要があるということ。

**デフォルトの名無しさん** · 2017/08/18(金) 09:38:38.34

万能で汎用のDSLも作れるけどそれは手続き型言語と同じだから作らないんだよ
IOはごく一部で使われるDSLであるべき
他のところではIOとは別のDSLを使うべきという設計

**デフォルトの名無しさん** · 2017/08/18(金) 13:45:01.90

Haskellによる手続き型言語の
分かりやすくて面白い実装きぼん
(学習用のおもちゃでよろし)

**デフォルトの名無しさん** · 2017/08/18(金) 20:36:40.41

>>891
ぶっちゃけていうとライブラリ実装者専用の
グローバル変数置き場って感じじゃね？
ライブラリのユーザはその中身は気にせずに使う。

**デフォルトの名無しさん** · 2017/08/18(金) 21:42:29.70

ListTの使い方ようわかりまへん
do
x <- [1..9]
なんちゃらかんちゃら x

って、リスト感覚で使いたいんですが

**デフォルトの名無しさん** · 2017/08/19(土) 23:56:10.44

直受けの50万客：いつまでもうちにいていいよ
3次受けの50万（客は70万払ってる) 客：短期延長していい？
5次受けの50万（客は110万払ってる) 客：作り終わったらとっと出てけ　できなかったら即退場だ　
長時間労働　高稼働　高スキル要求が多い

零細フリーランスサイトは5次受けから誰もできない難易度の高い仕事　余り物の仕事を紹介してくる。40万円代でやってくれと

これならJIETから3次でいったほうがいいな

446非決定性名無しさん2017/08/02(水) 22:12:48.95

JIETに毎月5千円払えば３次から入場できるだろ？
高額をうたうフリーランスのサイトはだいたい５次から４５万円
JIETで閲覧応募できる末端価格からさらに搾取するのが高額をみせつけるフリーランスサイトでした
高額案件をみせつけるフリーランスサイトも案件の取得はJIETでした

473非決定性名無しさん2017/08/03(木) 15:21:30.71

JIETに加入すれば誰でも3次60万からスタートだ。フリーランスのサイトをやってる
自称エージェントもそこから案件情報を取得しきてる。サイトで60万で釣って40万から55万の
間でやらしている。

372仕様書無しさん2017/08/11(金) 10:31:43.41
フリーランスで検索すると引っかかる零細ITがやっているフリーランスのサイトはだめだ。
高額に見せているけど実際は50万前後
JIET加入した方がいいよ。案件は毎日千件以上末端価格は60万円　平凡な稼働時間の80万円の案件もある。
ユー子も求人をだしてる。名刺も渡せる。ユー子に名刺が渡せるんだぞ。夢のようだ

それらの案件まさぐってHPで転売していたのが零細ITがやるフリーランスサイト

自称エージェントはJIETから流れてくる案件を転売してるだけだった。
JIETに加入すれば誰でも案件に応募することができた。収入が40万50万台にならなくて済む

**デフォルトの名無しさん** · 2017/08/20(日) 03:21:02.15

>>899
x <- ListT $ return [1..9]
でもListTはモナドの結合則を破るというか
場合によっては幅優先になるから不用意に使わない方がいい

**デフォルトの名無しさん** · 2017/08/21(月) 00:38:33.62

>>901
ListTには失望しました。もう積むのやめます

**デフォルトの名無しさん** · 2017/08/21(月) 01:01:09.86

そもそもやろうとしてることに（よくよく考えたら）モナド変換必要なかった
本当に必要だったのは foldl でした

一方ロシアは鉛筆を使った

**デフォルトの名無しさん** · 2017/08/24(木) 13:28:03.79

以下のhogeを定義してください

foldl' f a xs = foldr1 seq $ hoge $ scanl f a xs
hoge xs = ？？？

**デフォルトの名無しさん** · 2017/08/24(木) 19:41:48.97

https://wandbox.org/permlink/HLJOHIGKIX8APzrZ

引数４つのfoldrがよくわからない
foldr f g [1..9] 707

**905** · 2017/08/24(木) 20:30:17.00

>>905は事故解決しました

**905** · 2017/08/24(木) 20:49:44.49

引数の適用順序の理解が足りないだけでした

f x = id id id id id id x

というのがあったら

f x = (((((id id) id) id) id) id) x

という感じに左から順番に適用されるんですね

foldr f g [1..9] 707 も (foldr f g [1..9]) 707 と括れば理解できました

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

Data.Map.findWithDefault について質問です

マップに存在しなかったからデフォルト値を返したのか、それともマップに存在したからそれを返したのか
一目判らないとき、デバッグでどうやって判定しますか？

**デフォルトの名無しさん** · 2017/08/24(木) 23:40:45.91

判定不可能でありそれが意図するところじゃね？
変な値をデフォルトに入れておくか
a->k->Map k a->Either a a的なのを用意するしかないんじゃ

**デフォルトの名無しさん** · 2017/08/25(金) 00:15:34.79

findWithDefault d k m = maybe (trace "default" d) (trace "existed") $ Map.lookup k m

**デフォルトの名無しさん** · 2017/08/25(金) 05:39:52.91

>>910
やったぜ。ドバァーっとヒット/ミス/更新がその時の検索キーと共に時系列で出てきた。もう気が狂う程気持ちええんじゃ。
ログまみれのコンソールを見つめてメモ化再帰の効果を確認したりした。ああ～～たまらねえぜ。（ありがとうございました）

**デフォルトの名無しさん** · 2017/08/25(金) 06:18:21.22

わろた

**デフォルトの名無しさん** · 2017/08/26(土) 04:35:19.01

>>910
ポイントフリー化に成功しました

findWithDefault = curry.(.uncurry Map.lookup).(`maybe` trace "existed").(trace "default")

https://ideone.com/RVpv4o

**デフォルトの名無しさん** · 2017/08/29(火) 10:59:59.32

新しい言語を勉強してると「Haskellならこう書けるのになんだかな～」となってしまう

**デフォルトの名無しさん** · 2017/08/29(火) 14:36:34.73

Haskell書いてると「OCamlならこう書けるのになんだかな～」となってしまう

**デフォルトの名無しさん** · 2017/08/29(火) 14:47:58.47

そま？例えば？

**デフォルトの名無しさん** · 2017/08/29(火) 16:59:34.07

岡村の方が速いらしいっすよ。でも、そうですね…やっぱり僕は、王道を征く、Haskell系ですか

**デフォルトの名無しさん** · 2017/08/29(火) 19:06:06.26

多相ヴァリアント

**デフォルトの名無しさん** · 2017/08/30(水) 16:54:11.68

双方向リンク系のデータ構造って、Haskell で作るのムズいね。
作るだけなら良いけど、更新時の処理で頭こんがり。

任意のノードに外部からアクセス用リンクが張ってあると
もう訳分からん。

**デフォルトの名無しさん** · 2017/08/30(水) 17:07:44.85

そういうことするなっていう設計の言語で強引にしようとしたらわけわからなくなるよ

**デフォルトの名無しさん** · 2017/08/30(水) 17:18:14.50

>>920
そういうことするなってのは入門書には書いてないじゃん。
じゃあ、ちょっくらやってみようか、ってなるのがプログラマでしょ。

できるかもしれんし、できんかもしれん。

まぁ、かなりムズいなってのは体験して分かった。

**デフォルトの名無しさん** · 2017/08/30(水) 17:24:15.30

>>921
あー。Haskellでは状態を変更しない為に単方向リストを用いるって書いてなかった？

**デフォルトの名無しさん** · 2017/08/30(水) 17:35:40.48

>>922
リストの定義とか使い方とかは載ってたけど、
なんで単方向のなのかの説明は無かったよ。
「Haskell:The Craft of Functional Programming」
「Beginning Haskell: A Project-Based Approach」