[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
535: デフォルトの名無しさん [sage] 2011/11/14(月) 16:46:43.11 AAS
ラムダ計算vs型付きラムダ計算
536: デフォルトの名無しさん [sage] 2011/11/14(月) 16:54:16.83 AAS
Typed Pi-CalculusとTyped Join Calculusも虎視眈々と最強を狙ってる。
537: デフォルトの名無しさん [sage] 2011/11/14(月) 18:34:22.14 AAS
まーちんれふでも意味分からんのにホモとピーとか有向型理論とかどんどんでてきてついていけせんねん
538(1): デフォルトの名無しさん [さげ] 2011/11/14(月) 18:43:45.63 AAS
君たちがなんかやっても、外人Haskell使いのほうが詳しいし
何でHaskellやるの?教えて？？？
539(1): デフォルトの名無しさん [sage] 2011/11/14(月) 18:56:08.83 AAS
釈迦の教えに通じるから
540(2): やんやん ◆yanyan72E. [sage] 2011/11/14(月) 21:07:35.07 AAS
Haskellは現代数学をWikipediaで勉強するレベルの人間が
粋がって数学用語を多用するのがなんか鼻に付く。
541(1): デフォルトの名無しさん [sage] 2011/11/14(月) 21:10:21.00 AAS
にわかほど語りたがる -- あるハッカー
542(2): デフォルトの名無しさん [sage] 2011/11/14(月) 21:18:39.79 AAS
>>538
単純に楽しいから・・・かな
なぜか組み込み関数と同じもの自分で定義したり、＋演算子と同じ機能定義しようとして数学の世界に片っぽ足を突っ込んで「おお！！これ、数学スレやLispスレで見たぞ！！大学数学を高卒なのに解いてる!!」とか、そんなことに興奮してるけど…
543(2): デフォルトの名無しさん [sage] 2011/11/14(月) 21:34:31.55 AAS
証明するより、プログラムのが楽しいというのもあるし、、、
544(2): デフォルトの名無しさん [sage] 2011/11/14(月) 21:40:08.83 AAS
>>543
証明するつもりなかったんだけどね…
単に＋演算子と同じもの作りたかっただけだったのに、自然数から定義しなおす羽目になって、それがHaskellで動くもんだから、興奮しちゃうという…
545(4): デフォルトの名無しさん [sage] 2011/11/14(月) 22:04:22.81 AAS
Yampa を調べているのですが、意味が分からない部分があります
dpSwitch 関数が第1引数として適用する関数
forall sf . (a -> col sf -> col (b, sf))
これの sf はこの関数においてどのような役割を果たすのでしょうか
546(1): デフォルトの名無しさん [sage] 2011/11/14(月) 22:09:25.28 AAS
出番だ、>544
547: 545 [sage] 2011/11/14(月) 22:23:14.00 AAS
>>545
質問がやや曖昧でした
> これの sf はこの関数においてどのような役割を果たすのでしょうか
これの sf は dpSwitch 関数おいてどのような役割を果たすのでしょうか
548: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:51:01.97 AAS
>>542
楽しいとか病気かよ
数学やればいいじゃん
なんか モナドとか国論とかまじ意味不明
>>540 の言うとおり、花につくんですが
549: デフォルトの名無しさん [sage] 2011/11/14(月) 22:52:14.13 AAS
プリン吹いた
550(1): デフォルトの名無しさん [さげ] 2011/11/14(月) 22:56:10.39 AAS
天才でも頭悪くもない
”普通”のやつがなんか 数学とか知的ぶったりしてて気持ち悪い
花につく
本当に気持ち悪いよ
エジソンとか気取ってるのかな？
知的遊戯好きアピール ”パズル、知恵の輪、囲碁、将棋、Haskell、数学”
インテリジェンス気取りたいだけ
551: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:56:44.70 AAS
せいぜい、こういうのはMatzとかそういう頭のいい連中レベルになって語って
まじ気持ち悪い
花につきます
以上
552: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:58:13.53 AAS
>>539-544
窓ガラスぶち壊してくれてありがとう
汚れたスレになったから書き込みやすくなったよ
またよろしく
553(2): デフォルトの名無しさん [sage] 2011/11/14(月) 23:06:23.65 AAS
>>545
外部ﾘﾝｸ:www.haskell.org
こことか型変数の全称量化について簡潔に書いてあるよ。
554: デフォルトの名無しさん [sage] 2011/11/14(月) 23:09:20.69 AAS
>>550
＞インテリジェンス気取りたいだけ
インテリゲンチャだろｗｗｗｗｗｗｗｗｗｗ
これでよろしい？
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 の意味が分からないです
556(1): 553 [sage] 2011/11/15(火) 00:06:14.72 AAS
>>555
ソースは見た？
今見てきたんだけど、内部での使われ方はそんな複雑じゃなかったよ。
sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値。
Yampaを知らんから適切な説明ができん。
557: デフォルトの名無しさん [sage] 2011/11/15(火) 01:16:49.61 AAS
>>546
いや、自分、基本バカだから
数学やりたかったんじゃなくて、+演算子を自分で作りたかっただけだから
558: 545 [sage] 2011/11/15(火) 07:37:16.66 AAS
>>556
私も一応ソースは見ましたが、私にはけっこう複雑でまだ計算を正しく追えていません
> sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値
ということは、SF a b型の値ではなくて SF b c 型の値ではないでしょうか
どちらにしても、それなら dpSwitch 関数が第1引数として適用する関数は
次のような型で良いはずです
a -> col (SF a b) -> col (b, (SF a b))
あるいは（もし私の認識の方が正しければ）、
a -> col (SF b c) -> col (b, (SF b c))
そうではなく、わざわざ forall を付けて汎用の sf 型としているからには、
シグナル関数以外のどのような型でも受け付けるという事ではないでしょうか
そう考えると、ではこの sf とはどのような意味を持つものなのか、疑問が沸きます
559: デフォルトの名無しさん [sage] 2011/11/15(火) 17:07:08.02 AAS
花・・・
上下前次1-新書関写板覧索設栞歴
あと 419 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s