[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part16 (978ﾚｽ)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
547: 545 [sage] 2011/11/14(月) 22:23:14.00 >>545 質問がやや曖昧でした > これの sf はこの関数においてどのような役割を果たすのでしょうか これの sf は dpSwitch 関数おいてどのような役割を果たすのでしょうか http://echo.5ch.net/test/read.cgi/tech/1317958045/547
548: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:51:01.97 >>542 楽しいとか病気かよ 数学やればいいじゃん なんか モナドとか国論とかまじ意味不明 >>540 の言うとおり、花につくんですが http://echo.5ch.net/test/read.cgi/tech/1317958045/548
549: デフォルトの名無しさん [sage] 2011/11/14(月) 22:52:14.13 プリン吹いた http://echo.5ch.net/test/read.cgi/tech/1317958045/549
550: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:56:10.39 天才でも頭悪くもない ”普通”のやつがなんか 数学とか知的ぶったりしてて気持ち悪い 花につく 本当に気持ち悪いよ エジソンとか気取ってるのかな？ 知的遊戯好きアピール ”パズル、知恵の輪、囲碁、将棋、Haskell、数学” インテリジェンス気取りたいだけ http://echo.5ch.net/test/read.cgi/tech/1317958045/550
551: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:56:44.70 せいぜい、こういうのはMatzとかそういう頭のいい連中レベルになって語って まじ気持ち悪い 花につきます 以上 http://echo.5ch.net/test/read.cgi/tech/1317958045/551
552: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:58:13.53 >>539-544 窓ガラスぶち壊してくれてありがとう 汚れたスレになったから書き込みやすくなったよ またよろしく http://echo.5ch.net/test/read.cgi/tech/1317958045/552
553: デフォルトの名無しさん [sage] 2011/11/14(月) 23:06:23.65 >>545 ttp://www.haskell.org/haskellwiki/Rank-N_types こことか型変数の全称量化について簡潔に書いてあるよ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/553
554: デフォルトの名無しさん [sage] 2011/11/14(月) 23:09:20.69 >>550 ＞インテリジェンス気取りたいだけ インテリゲンチャだろｗｗｗｗｗｗｗｗｗｗ これでよろしい？ http://echo.5ch.net/test/read.cgi/tech/1317958045/554
555: 545 [sage] 2011/11/14(月) 23:16:31.05 >>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 の意味が分からないです http://echo.5ch.net/test/read.cgi/tech/1317958045/555
556: 553 [sage] 2011/11/15(火) 00:06:14.72 >>555 ソースは見た？ 今見てきたんだけど、内部での使われ方はそんな複雑じゃなかったよ。 sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値。 Yampaを知らんから適切な説明ができん。 http://echo.5ch.net/test/read.cgi/tech/1317958045/556
557: デフォルトの名無しさん [sage] 2011/11/15(火) 01:16:49.61 >>546 いや、自分、基本バカだから 数学やりたかったんじゃなくて、+演算子を自分で作りたかっただけだから http://echo.5ch.net/test/read.cgi/tech/1317958045/557
558: 545 [sage] 2011/11/15(火) 07:37:16.66 >>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 とはどのような意味を持つものなのか、疑問が沸きます http://echo.5ch.net/test/read.cgi/tech/1317958045/558
559: デフォルトの名無しさん [sage] 2011/11/15(火) 17:07:08.02 花・・・ http://echo.5ch.net/test/read.cgi/tech/1317958045/559
560: デフォルトの名無しさん [sage] 2011/11/15(火) 18:08:13.68 それより国論にツッコみたい。圏すら読めない奴がぐだぐだ語るのは(ry http://echo.5ch.net/test/read.cgi/tech/1317958045/560
561: デフォルトの名無しさん [sage] 2011/11/15(火) 18:11:08.31 踏むなよウンコを http://echo.5ch.net/test/read.cgi/tech/1317958045/561
562: デフォルトの名無しさん [sage] 2011/11/15(火) 20:23:31.93 気に入らないから勉強やめろってのは豪快でいいなｗ 扁桃体が直接口を利いてるようなものだな http://echo.5ch.net/test/read.cgi/tech/1317958045/562
563: デフォルトの名無しさん [sage] 2011/11/15(火) 21:36:19.06 厳しい親元なら、たいてい娘に浪人するなら結婚しろという時代もあった。 その前は大学には行かさんか。 http://echo.5ch.net/test/read.cgi/tech/1317958045/563
564: デフォルトの名無しさん [sage] 2011/11/15(火) 22:53:30.31 今時彼氏や旦那の助けにもなれない女はダメだろ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/564
565: デフォルトの名無しさん [sage] 2011/11/17(木) 10:46:12.88 haskellのために国富論なんて勉強してられないよ・・・ http://echo.5ch.net/test/read.cgi/tech/1317958045/565
566: デフォルトの名無しさん [] 2011/11/17(木) 16:27:25.00 だからやめろよ？ や め ろ http://echo.5ch.net/test/read.cgi/tech/1317958045/566
567: デフォルトの名無しさん [sage] 2011/11/17(木) 16:36:41.92 中途半端なやつは嫌われる 天才でも馬鹿でもない＝Haskell使ってるやつら 不良でもギャルでもヤクザでもない＝パギャル、つっぱり、チンピラ ウザがられる 赤ちゃんでもない大人でもない＝不細工な小学３年生 ポケモンでいうフシギソウ、カメール、リザード バッタでいう幼虫 Matzでもない小飼弾でもない＝コガイよりつまらなくて、Matzより頭悪いHaskelやってるやつら お前ら中途半端 中途半端は悪 なぜ悪か？悪いか答えてみてください 早く答えろ ジャップ技術者＝英語ができない、技術力も欧米以下、ＷＥＢサービスも微妙＝中途半端 http://echo.5ch.net/test/read.cgi/tech/1317958045/567
568: デフォルトの名無しさん [sage] 2011/11/17(木) 17:12:12.26 >>567 じゃあ、俺の代わりにhaskellやってくれ http://echo.5ch.net/test/read.cgi/tech/1317958045/568
569: デフォルトの名無しさん [sage] 2011/11/17(木) 18:07:51.06 天は自らHaskellものを助く http://echo.5ch.net/test/read.cgi/tech/1317958045/569
570: デフォルトの名無しさん [sage] 2011/11/17(木) 19:07:23.43 >>567 おら、返事は？ お前も中途半端なのか？ 中途半端を見下すってことは、お前は中途半端じゃないんだろ？ http://echo.5ch.net/test/read.cgi/tech/1317958045/570
571: デフォルトの名無しさん [sage] 2011/11/17(木) 20:03:23.41 >>570 >>567はツンデレだろ？ >>天才でも馬鹿でもない＝Haskell使ってるやつら 「天才でも馬鹿でもない」のが世間の大半なんだから、567はHaskellerが実はメジャーだと言いたいんだよ。 シャイな奴だ。 http://echo.5ch.net/test/read.cgi/tech/1317958045/571
572: デフォルトの名無しさん [sage] 2011/11/17(木) 21:00:04.72 定期的にこういうやつ沸くな http://echo.5ch.net/test/read.cgi/tech/1317958045/572
573: デフォルトの名無しさん [sage] 2011/11/17(木) 21:07:59.17 定期券破棄しろ http://echo.5ch.net/test/read.cgi/tech/1317958045/573
574: デフォルトの名無しさん [sage] 2011/11/18(金) 07:38:08.92 初歩過ぎる質問なんだけど、引数の整数から1を減らした整数を返す関数 f x = x - 1 これをポイントフリーの無名関数で表現するのってどうやるんだっけ？ ((-)1) これだと 1 - x になっちゃう Enum クラスの関数 pred を使うしかない？ 別にいいんだけど、マイナス演算子を使ってできなかったかなと思って http://echo.5ch.net/test/read.cgi/tech/1317958045/574
575: デフォルトの名無しさん [sage] 2011/11/18(金) 07:46:39.63 (flip (-)) 1 http://echo.5ch.net/test/read.cgi/tech/1317958045/575
576: デフォルトの名無しさん [sage] 2011/11/18(金) 08:20:48.17 subtract = flip (-) がPreludeに定義されてる f = subtract 1 http://echo.5ch.net/test/read.cgi/tech/1317958045/576
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 402 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.019s