276(1): デフォルトの名無しさん [sage] 2011/10/25(火) 22:45:52.30 AAS
もう忍者はいないよ
死んだ

307(1): デフォルトの名無しさん [sage] 2011/10/28(金) 12:53:34.49 AAS
>>306
> 例えば存在比を(Int,Double)のリストで表すよりもData.Mapで表す方がベターだと思った場合

そういう場合は、Data.Map 型を使ったコンテナに対するアクセス関数を公開して、
そのコンテナ内部で Data.Map 型を使っていることは隠蔽しておく
>>305 も同じ様なことをアドバイスしている

こうやって、データとそのユーザとの間にインターフェースを設けるのは、
Haskell に限らず、まず間違いなく全ての言語で共通する考え方
CICP 的に言えば「抽象の壁」だ

ちなみに、>>304 の後半で紹介した Expression Problem は、
少なくとも >>301 から読み取れる問題とは別ものと思われる
（応用できるかどうかは分からないけど）

318(3): デフォルトの名無しさん [sage] 2011/10/29(土) 10:48:25.49 AAS
core言語のパーサーを作ろうとしているのですが、
他にこれは読んでおけ、このページは見ておけというものはありますか？

320(1): デフォルトの名無しさん [sage] 2011/10/29(土) 11:06:24.93 AAS
>>318
Haskell Report

484(1): デフォルトの名無しさん [sage] 2011/11/12(土) 17:07:16.80 AAS
>>480
SMLなら、open uri と宣言すれば、Rubyと同じように修飾を省略できるよ
Haskellはできないの？

487(3): デフォルトの名無しさん [sage] 2011/11/12(土) 17:16:42.29 AAS
>>486
>これはSMLも同じだよな？

いや、ゼンゼン(理由は下記を参照)

>Haskellで短かい名前を多用すると、けっこう頻繁に衝突して、

ナゼこんなことが起きるの？
SMLなら名前空間は(Rubyと同じように)階層化されているから、
適切にモジュール設計していれば、衝突なんて全く気にならないんだけど....

もしかしてHaskellの(モジュールに関する)名前空間というのは
フラット(平坦)なの？

555(1): 545 [sage] 2011/11/14(月) 23:16:31.05 AAS
>>553
forall sf . (a -> col sf -> col (b, sf))

これが返す値 col (b, sf) の sf は何に使われるのでしょうか

b は分かります
dpSwitch 関数が管理するシグナル関数の入力に使われるのですよね
でも dpSwitch 関数の残りの引数には sf 型は無いです

論文「The Yampa Arcade」を読むと、
そこでは dpSwitch 関数の第1引数として自作の route 関数を敵用させていますが、
この route 関数を見てもやはり sf の意味が分からないです

607(1): デフォルトの名無しさん [sage] 2011/11/26(土) 08:17:29.42 AAS
お前のゲイ棒

爽やかな土曜の朝に一曲どうぞ
動画ﾘﾝｸ[YouTube]

---

656: デフォルトの名無しさん [sage] 2011/12/04(日) 23:51:53.72 AAS
QuickCheck の解説やチュートリアルで何かお勧めありますか？
英語でもOK

ここ以外で（ここが良くないという意味ではなくて、他にもないかという意味）
外部ﾘﾝｸ:itpro.nikkeibp.co.jp

---

691

971(1): デフォルトの名無しさん [] 2012/01/02(月) 16:39:56.99 AAS
>>968
俺の方が曖昧な言い方ですまんかった。
まず通じやすかったというのは世間に対してという意味だった。
｢ListとIOとMaybeは大体同じだ｣というときの共通性が、言ってしまえばリスト化
（多元化）にあるのだとすれば、モナドなどというよりリストと言った方が
伝わり易いと思ったわけだ。また曖昧なこと言ったかな。
（ナンセンスうんぬんの方はもういいよ）