#関数型言語における計算とは？
#○○言語における計算とは、とは？
#どんな答を想定してるの？
#たとえば、手続き型言語における計算とは？という問いなら、どう答えるのだろう？
#そもそも計算とは？
#computation っていう*言葉*に関してはなんか議論があったなーと思って探してみたけどこれだったっけ(誰に聞いてるんだ): http://www.haskell.org/pipermail/beginners/2009-April/001530.html #もちろんこれは "計算" と "computation" が同じ物をさしてるだろうということを期待した発言なのでそうじゃなかったらスルーしてくらはい
#ふつうに typed (with or without polymorphism) or untyped lambda calculus じゃだめなの?
#たぶん、通常の手続き型になれたプログラマの直感に判りやすく、関数型言語でプログラムするときの感覚を説明するにはどうすればよいか？というところがか発生している疑問だと思う。と思うんだけど、勝手読みしすぎ？ > cut-sea
#do expression
#本人でないと意図はわからないけど、evaluation、computation、calculation を区別するような話ではないような気がする。。。
#quote> 問うものはすべからく問い返される -- ソクラテス Σωκράτης
#「さあ、謂え、謂え」とは、禅の老師が弟子に対していう言葉
#考えずに瞬時で心に浮かんだ問いを問わねば、禅の奥義にはたどりつけない
#奥義でなければ、禅を識るのは簡単、Haskell より簡単
#考えるな、感じるんだ。
#すべからく【▼須く】（副）
#〔漢文訓読に由来する語。「すべくあらく（すべきであることの意）」の約。下に「べし」が来ることが多い〕当然。
#お
#モナド則の3番目が破綻するケースでいろいろ考えていて
#モナドについてぐぐると
#「計算を構成する戦略・・・」だとか
#｢複雑な計算を構成するのに・・・」とか
#そういうtermが踊っているのが気になって
#関数型言語における計算とは？と思ったのですよ
#computationのことかな？
#computation に 「計算」という訳を与えることがおおいのだけど。。。
#「xxxせよ」= 計算
#モナド則２（右単位元）のみ満たさない偽モナド修正版。
#data MyList a = Nil | My [a] deriving (Show,Eq)
unMy Nil = []
unMy (My xs) = xs
nil Nil = True
nil _ = False
instance Monad MyList where
return x = My [x]
Nil >>= _ = My []
My xs >>= k
| null ys = My []
| all nil ys = Nil
| otherwise = My $ concatMap unMy ys
where ys = map k xs#今度は大丈夫だと思う。
#当然もっとシンプルな例を希望。
#import Test.QuickCheck
import Test.QuickCheck.Checkers
import Test.QuickCheck.Classes
instance (Arbitrary a) => Arbitrary (MyList a) where
arbitrary = fmap My (listOf arbitrary)
instance (Eq a) => EqProp (MyList a) where
(=-=) = eq
main = checkBatch stdArgs { maxSuccess = 300 }
$ monad (undefined :: MyList (Int, Int, Int))#↑のコードを追加して走らせてみたけどモナドになっちゃってるっぽい。
#こっちのミスかもしれないので、右単位元を満たさない具体例があったら教えてほしい
#ちなみに maxSuccess=300 してるのは結合則のテストが非常に遅いから
haskell-ja > Archives > 2009/07/24