92(1): デフォルトの名無しさん [sage] 2011/10/10(月) 19:56:49.17 AAS
>>90
だから、それはどういう理念なんだよ
自分の言葉で説明しろよ

125(3): デフォルトの名無しさん [sage] 2011/10/14(金) 21:58:31.29 AAS
IOモナドの典型的な使い方を理解していないのが原因
使い方を勉強すればいい

型エラーは、間違いを教えてくれただけ
はまっていいたのは、型エラーじゃなくて、IOモナドを使ったプログラミング
型エラーの泥沼に溺れたという認識を深化させて、IOモナドの泥沼に溺れたと考え直すのが最初の一歩

137(2): デフォルトの名無しさん [sage] 2011/10/15(土) 11:26:02.92 AAS
HaskellでGUI付けたい時は何使ってる？
gtk2hs以外は良く知らないんだが。

435(1): デフォルトの名無しさん [sage] 2011/11/09(水) 21:55:59.53 AAS
代数データ型のラベルの名前って、みなさんどうしてますか？
（ラベルでなくともアクセス関数を自作しても本質的には同じ事です）

例えばの話でブロック崩しを作ってるとして、
ボールの状態を表すための情報が要りますよね
まぁざっと、位置ベクトル、速度ベクトル、あとはボールの半径を盛り込むとしましょう

data Ball = Ball
　　　　　　{ ballPos :: Vector2
　　　　　　, ballVel :: Vector2
　　　　　　, ballRad :: Double }

私はこうやって、位置を表す Pos や速度を表す Vel などに、接頭辞として
必ずそのデータ型の型構築子（値構築子ではなく）の名前を付けるようにしています

と言うのも、ではボールの他にバーやブロックの情報はどうなるかと言えば、
こちらも位置を表す情報は必要で、他にも重なる部分がいくつか出てきます
同じ pos という関数名を使い回すことが文法上できないので、
上記の方法でやるなら名前の中で何らかの区別をしなければならず、
であるなら変に省略文字で区別するよりは、もうフルネームで区別した方がマシだろ
という判断です

このように、複数のデータ型で同じ意味の情報を扱う場合のラベル名（アクセス関数名）は、
みなさんどうしてるのでしょうか

共通の情報は型クラスに追いやって、インスタンス化してるのでしょうか
その場合は、その関数の引数として対象のデータ型の値が要りますね

436(1): デフォルトの名無しさん [sage] 2011/11/09(水) 22:01:28.32 AAS
俺も型名やその省略形を接頭辞にする

437(1): デフォルトの名無しさん [sage] 2011/11/09(水) 22:54:34.31 AAS
ぽこぽこサブモジュールを作る。

637(1): デフォルトの名無しさん [sage] 2011/12/02(金) 11:30:31.05 AAS
>>634
専用ライブラリが遅かったら？

861(1): デフォルトの名無しさん [sage] 2011/12/25(日) 19:41:31.09 AAS
IO aをRealWorld -> (a,RealWorld)とみなした上で外延性から
∀ x :: IO a, ∃s.s' :: RealWorld. x s /= x s'について解釈することで参照透明性をもう少し厳密に言えないのかな

948(3): デフォルトの名無しさん [sage] 2012/01/02(月) 11:36:03.29 AAS
関数型マトモに勉強してたら和田先生をdisるなんて考えられん。
どう考えてもモグリだわｗ