[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
556(1): 553 [sage] 2011/11/15(火) 00:06:14.72 AAS
>>555555(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 の意味が分からないです
ソースは見た？
今見てきたんだけど、内部での使われ方はそんな複雑じゃなかったよ。
sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値。
Yampaを知らんから適切な説明ができん。
557: デフォルトの名無しさん [sage] 2011/11/15(火) 01:16:49.61 AAS
>>546546(1): デフォルトの名無しさん [sage] 2011/11/14(月) 22:09:25.28 AAS
出番だ、>544
いや、自分、基本バカだから
数学やりたかったんじゃなくて、+演算子を自分で作りたかっただけだから
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
花・・・
560: デフォルトの名無しさん [sage] 2011/11/15(火) 18:08:13.68 AAS
それより国論にツッコみたい。圏すら読めない奴がぐだぐだ語るのは(ry
561: デフォルトの名無しさん [sage] 2011/11/15(火) 18:11:08.31 AAS
踏むなよウンコを
562: デフォルトの名無しさん [sage] 2011/11/15(火) 20:23:31.93 AAS
気に入らないから勉強やめろってのは豪快でいいなｗ
扁桃体が直接口を利いてるようなものだな
563: デフォルトの名無しさん [sage] 2011/11/15(火) 21:36:19.06 AAS
厳しい親元なら、たいてい娘に浪人するなら結婚しろという時代もあった。
その前は大学には行かさんか。
564: デフォルトの名無しさん [sage] 2011/11/15(火) 22:53:30.31 AAS
今時彼氏や旦那の助けにもなれない女はダメだろ。
565: デフォルトの名無しさん [sage] 2011/11/17(木) 10:46:12.88 AAS
haskellのために国富論なんて勉強してられないよ・・・
566: デフォルトの名無しさん [] 2011/11/17(木) 16:27:25.00 AAS
だからやめろよ？
や め ろ
567(3): デフォルトの名無しさん [sage] 2011/11/17(木) 16:36:41.92 AAS
中途半端なやつは嫌われる
天才でも馬鹿でもない＝Haskell使ってるやつら
不良でもギャルでもヤクザでもない＝パギャル、つっぱり、チンピラ ウザがられる
赤ちゃんでもない大人でもない＝不細工な小学３年生 ポケモンでいうフシギソウ、カメール、リザード バッタでいう幼虫
Matzでもない小飼弾でもない＝コガイよりつまらなくて、Matzより頭悪いHaskelやってるやつら
お前ら中途半端
中途半端は悪
なぜ悪か？悪いか答えてみてください 早く答えろ
ジャップ技術者＝英語ができない、技術力も欧米以下、ＷＥＢサービスも微妙＝中途半端
568: デフォルトの名無しさん [sage] 2011/11/17(木) 17:12:12.26 AAS
>>567
じゃあ、俺の代わりにhaskellやってくれ
569: デフォルトの名無しさん [sage] 2011/11/17(木) 18:07:51.06 AAS
天は自らHaskellものを助く
570(1): デフォルトの名無しさん [sage] 2011/11/17(木) 19:07:23.43 AAS
>>567
おら、返事は？
お前も中途半端なのか？
中途半端を見下すってことは、お前は中途半端じゃないんだろ？
571: デフォルトの名無しさん [sage] 2011/11/17(木) 20:03:23.41 AAS
>>570
>>567はツンデレだろ？
>>天才でも馬鹿でもない＝Haskell使ってるやつら
「天才でも馬鹿でもない」のが世間の大半なんだから、567はHaskellerが実はメジャーだと言いたいんだよ。
シャイな奴だ。
572: デフォルトの名無しさん [sage] 2011/11/17(木) 21:00:04.72 AAS
定期的にこういうやつ沸くな
573: デフォルトの名無しさん [sage] 2011/11/17(木) 21:07:59.17 AAS
定期券破棄しろ
574(1): デフォルトの名無しさん [sage] 2011/11/18(金) 07:38:08.92 AAS
初歩過ぎる質問なんだけど、引数の整数から1を減らした整数を返す関数
f x = x - 1
これをポイントフリーの無名関数で表現するのってどうやるんだっけ？
((-)1) これだと 1 - x になっちゃう
Enum クラスの関数 pred を使うしかない？
別にいいんだけど、マイナス演算子を使ってできなかったかなと思って
575(1): デフォルトの名無しさん [sage] 2011/11/18(金) 07:46:39.63 AAS
(flip (-)) 1
576(1): デフォルトの名無しさん [sage] 2011/11/18(金) 08:20:48.17 AAS
subtract = flip (-)
がPreludeに定義されてる
f = subtract 1
577(4): デフォルトの名無しさん [] 2011/11/18(金) 10:27:44.65 AAS
>>574
ねえ？なんでHaskellやるの？！！！？！？！？！
int a(x)
{
return x-1;
}
ねえ？！！？！！？！？！？これでできるじゃん
あほかよ
何でHaskell使ってそんなくだらない低レベルなことやってるの？
早く死ね中途半端
天才Haskell研究者でもないゴミ お前はただのヘラクレス本あがめてるニワカ
社内でHaskell Haskell!とかほざいて共感意識あげてる 底辺の馴れ合い
国論やってろよゴミ
お前がやってることはただの低レベルな意味がないこと
ただHaskellを触って 「本物のプログラマはHaskellを使う」という記事に自分を当てはめて優越感
にひたってるごみ？！？！？！？！？！
578: デフォルトの名無しさん [sage] 2011/11/18(金) 10:33:56.69 AAS
>>577
なぜ返り値を int にしたの？
579: デフォルトの名無しさん [sage] 2011/11/18(金) 11:04:47.64 AAS
>>577
あなたの発言は傾聴に値する．是非これからは鳥あるいはコテハンをつけて発言して欲しい．
580: デフォルトの名無しさん [sage] 2011/11/18(金) 12:02:18.38 AAS
外部ﾘﾝｸ:www.f13g.comや
外部ﾘﾝｸ:www.sampou.orgのデモを動かしたくて
Haskell Platform 2011.2.0.1-x86_64.pkg
をインストール、.zshrcにexport PATH="~/Library/Haskell/bin:$PATH"追記
しかし、importを使ったプログラムが動きません。
$ ghci -v
Using binary package database: /Library/Frameworks/GHC.framework/Versions/7.0.3-x86_64/usr/lib/ghc-7.0.3/package.conf.d/package.cache
wired-in package ghc-prim mapped to ghc-prim-0.2.0.0-d9df11f804556f362beb0ea4e67261ba
wired-in package integer-gmp mapped to integer-gmp-0.2.0.3-298c59ba68b7aaa7e76ae5b1fe5e876e
wired-in package base mapped to base-4.3.1.0-f5c465200a37a65ca26c5c6c600f6c76
wired-in package rts mapped to builtin_rts
wired-in package template-haskell mapped to template-haskell-2.5.0.0-b46cde34bfee890dc536d5be377e906f
wired-in package dph-seq not found.
wired-in package dph-par not found.
Hsc static flags: -static
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
Prelude> :show packages
active package flags: none
$ghc-pkg check
$ghc-pkg recache
環境は10.6 Xcode 3.26 です。どなたかご教授お願いします。
上下前次1-新書関写板覧索設栞歴
あと 398 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s