[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
535: 2011/11/14(月)16:46 AAS
ラムダ計算vs型付きラムダ計算
536: 2011/11/14(月)16:54 AAS
Typed Pi-CalculusとTyped Join Calculusも虎視眈々と最強を狙ってる。
537: 2011/11/14(月)18:34 AAS
まーちんれふでも意味分からんのにホモとピーとか有向型理論とかどんどんでてきてついていけせんねん
538(1): [さげ] 2011/11/14(月)18:43 AAS
君たちがなんかやっても、外人Haskell使いのほうが詳しいし
何でHaskellやるの?教えて？？？
539(1): 2011/11/14(月)18:56 AAS
釈迦の教えに通じるから
540(2): やんやん ◆yanyan72E. 2011/11/14(月)21:07 AAS
Haskellは現代数学をWikipediaで勉強するレベルの人間が
粋がって数学用語を多用するのがなんか鼻に付く。
541(1): 2011/11/14(月)21:10 AAS
にわかほど語りたがる -- あるハッカー
542(2): 2011/11/14(月)21:18 AAS
>>538
単純に楽しいから・・・かな
なぜか組み込み関数と同じもの自分で定義したり、＋演算子と同じ機能定義しようとして数学の世界に片っぽ足を突っ込んで「おお！！これ、数学スレやLispスレで見たぞ！！大学数学を高卒なのに解いてる!!」とか、そんなことに興奮してるけど…
543(2): 2011/11/14(月)21:34 AAS
証明するより、プログラムのが楽しいというのもあるし、、、
544(2): 2011/11/14(月)21:40 AAS
>>543
証明するつもりなかったんだけどね…
単に＋演算子と同じもの作りたかっただけだったのに、自然数から定義しなおす羽目になって、それがHaskellで動くもんだから、興奮しちゃうという…
545(4): 2011/11/14(月)22:04 AAS
Yampa を調べているのですが、意味が分からない部分があります
dpSwitch 関数が第1引数として適用する関数
forall sf . (a -> col sf -> col (b, sf))
これの sf はこの関数においてどのような役割を果たすのでしょうか
546(1): 2011/11/14(月)22:09 AAS
出番だ、>544
547: 545 2011/11/14(月)22:23 AAS
>>545
質問がやや曖昧でした
> これの sf はこの関数においてどのような役割を果たすのでしょうか
これの sf は dpSwitch 関数おいてどのような役割を果たすのでしょうか
548: [さげ] 2011/11/14(月)22:51 AAS
>>542
楽しいとか病気かよ
数学やればいいじゃん
なんか モナドとか国論とかまじ意味不明
>>540 の言うとおり、花につくんですが
549: 2011/11/14(月)22:52 AAS
プリン吹いた
550(1): [さげ] 2011/11/14(月)22:56 AAS
天才でも頭悪くもない
”普通”のやつがなんか 数学とか知的ぶったりしてて気持ち悪い
花につく
本当に気持ち悪いよ
エジソンとか気取ってるのかな？
知的遊戯好きアピール ”パズル、知恵の輪、囲碁、将棋、Haskell、数学”
インテリジェンス気取りたいだけ
551: [さげ] 2011/11/14(月)22:56 AAS
せいぜい、こういうのはMatzとかそういう頭のいい連中レベルになって語って
まじ気持ち悪い
花につきます
以上
552: [さげ] 2011/11/14(月)22:58 AAS
>>539-544
窓ガラスぶち壊してくれてありがとう
汚れたスレになったから書き込みやすくなったよ
またよろしく
553(2): 2011/11/14(月)23:06 AAS
>>545
外部ﾘﾝｸ:www.haskell.org
こことか型変数の全称量化について簡潔に書いてあるよ。
554: 2011/11/14(月)23:09 AAS
>>550
＞インテリジェンス気取りたいだけ
インテリゲンチャだろｗｗｗｗｗｗｗｗｗｗ
これでよろしい？
555(1): 545 2011/11/14(月)23:16 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 2011/11/15(火)00:06 AAS
>>555
ソースは見た？
今見てきたんだけど、内部での使われ方はそんな複雑じゃなかったよ。
sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値。
Yampaを知らんから適切な説明ができん。
557: 2011/11/15(火)01:16 AAS
>>546
いや、自分、基本バカだから
数学やりたかったんじゃなくて、+演算子を自分で作りたかっただけだから
558: 545 2011/11/15(火)07:37 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: 2011/11/15(火)17:07 AAS
花・・・
560: 2011/11/15(火)18:08 AAS
それより国論にツッコみたい。圏すら読めない奴がぐだぐだ語るのは(ry
561: 2011/11/15(火)18:11 AAS
踏むなよウンコを
562: 2011/11/15(火)20:23 AAS
気に入らないから勉強やめろってのは豪快でいいなｗ
扁桃体が直接口を利いてるようなものだな
563: 2011/11/15(火)21:36 AAS
厳しい親元なら、たいてい娘に浪人するなら結婚しろという時代もあった。
その前は大学には行かさんか。
564: 2011/11/15(火)22:53 AAS
今時彼氏や旦那の助けにもなれない女はダメだろ。
上下前次1-新書関写板覧索設栞歴
あと 414 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.020s