[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
今時彼氏や旦那の助けにもなれない女はダメだろ。
565: 2011/11/17(木)10:46 AAS
haskellのために国富論なんて勉強してられないよ・・・
566: 2011/11/17(木)16:27 AAS
だからやめろよ？
や め ろ
567(3): 2011/11/17(木)16:36 AAS
中途半端なやつは嫌われる
天才でも馬鹿でもない＝Haskell使ってるやつら
不良でもギャルでもヤクザでもない＝パギャル、つっぱり、チンピラ ウザがられる
赤ちゃんでもない大人でもない＝不細工な小学３年生 ポケモンでいうフシギソウ、カメール、リザード バッタでいう幼虫
Matzでもない小飼弾でもない＝コガイよりつまらなくて、Matzより頭悪いHaskelやってるやつら
お前ら中途半端
中途半端は悪
なぜ悪か？悪いか答えてみてください 早く答えろ
ジャップ技術者＝英語ができない、技術力も欧米以下、ＷＥＢサービスも微妙＝中途半端
568: 2011/11/17(木)17:12 AAS
>>567
じゃあ、俺の代わりにhaskellやってくれ
569: 2011/11/17(木)18:07 AAS
天は自らHaskellものを助く
570(1): 2011/11/17(木)19:07 AAS
>>567
おら、返事は？
お前も中途半端なのか？
中途半端を見下すってことは、お前は中途半端じゃないんだろ？
571: 2011/11/17(木)20:03 AAS
>>570
>>567はツンデレだろ？
>>天才でも馬鹿でもない＝Haskell使ってるやつら
「天才でも馬鹿でもない」のが世間の大半なんだから、567はHaskellerが実はメジャーだと言いたいんだよ。
シャイな奴だ。
572: 2011/11/17(木)21:00 AAS
定期的にこういうやつ沸くな
573: 2011/11/17(木)21:07 AAS
定期券破棄しろ
574(1): 2011/11/18(金)07:38 AAS
初歩過ぎる質問なんだけど、引数の整数から1を減らした整数を返す関数
f x = x - 1
これをポイントフリーの無名関数で表現するのってどうやるんだっけ？
((-)1) これだと 1 - x になっちゃう
Enum クラスの関数 pred を使うしかない？
別にいいんだけど、マイナス演算子を使ってできなかったかなと思って
575(1): 2011/11/18(金)07:46 AAS
(flip (-)) 1
576(1): 2011/11/18(金)08:20 AAS
subtract = flip (-)
がPreludeに定義されてる
f = subtract 1
上下前次1-新書関写板覧索設栞歴
あと 402 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.017s