#おお
#スゲー
#確かに第一第二はpassする！
#最後の結合則っぽいやつだけ除外すると>> +++ OK, passed 100 tests.
#含めるとFailed! Falsifiable (after 5 tests and 2 shrinks)などなど
#check = [True,True,False]
#ぬぅ
#bind :: [t] -> (t -> [a]) -> [a]
#ってことはbindは普通のリストモナドのbindと同じだよね
#型的には
#基本的にリストモナドのbindにさらにdrop 1してるだけです。ただそれだけだと第１第２にパスしないので bind [x] k = k x と case k x of [_] -> xs >>= k でごまかしてます。
#ちょっと私もじっくり鑑賞してみようかな
#おもしろそうだ
#-XFlexibleInstancesって拡張は
#flexibleなinsatnceをサポートする必要があるなら云々という説明があるのだが
#flexibleなinstanceとは何ぞや？
##日本語に訳すのはめどいほど、なんか複雑な緩め方なので読んでちょ
##なんとかぜんぶできた いい練習問題だと思う
#あと関数の名前がおいしそう
#おもしろい
#どこ経由でみつけたの? (20問)
#haskell-cafe です
#あ、まちがえた haskell-biginners
##ありがと
#こいつも購読するかな
#しっかりわかってないけど、圏論の言葉に翻訳すると、Functor をいろんな圏でつくりましょうということになるのかな
#fmap :: forall a b (f :: * -> *). (Functor f)=> (a->b) -> f a -> f b
#うん、あと Monad
#ネタバレになるかもしれないけど、banana の引数の順番まちがえまくった
#Either(Left|Right) の意図がいまいち分からない。とりあえず型は合わせたけど。。。
#問数稼ぎ?
#djinn がどこまでがんばれるか試すのもおもしろそうだ（たぶんアホだから全然駄目
#うーん、どうなんだろ : EitherLeft の意図
#Theorem prover の testsuite にできるかもね
#個人的には Either(Left|Right) を抜いて ichijiku :: (a -> b -> m b) -> b -> m [a] とか kiwi :: m (t a) -> t (m a) とか入れるかも
#自分で解けるかわからないけどw
#まちがえた: ichijiku :: (a -> b -> m b) -> b -> m [a] -> m b
#functor の合成は functor にーとかいう議論は圏論得意で
#知ってる人なら、「分割統治」してあっさりと解くのだろう
#(point-free style で)
#Haskell の言葉で言うと flip と (.) をうまくつかう
#圏論得意じゃないからめっちゃ point-free じゃない方法で解いてた
#そのふたつを糊にして、小さな関数を結合して答えを解く
#point-free の反対ってどういうんですか?
#lambdabot は un-point-free っていう名前をつかっていた
#けど、pointwise のほうがよりよいとおもう
#pointwise か。ありがとう
#pointful ってタイプしてしばらく悩んでたw
#Haskell にしろ数学にしろ、一番小さい単位は pointwise で書かないと定義できない
#でも、圏論が主張するのは、パズルのピースを結合するのに point-free でできるよ、ということ
#point-free で結合すると、計算機には優しくなる
#ふむふむ
#人間には可読性が激しく悪くなる
#\x y -> A (y,x ) :=====: (A .) . flip (,)
#同じ関数なんだけど、ふつう人間は左で書くよね
#(nobsun のような変態をのぞく)
#wwww
#一方、右は、計算機にとっては、うれしい記述になってる
#. と flip と , と型構築子 A を、実際の機械のコードにどう落とすか、さえわかればいいから
#lambda 式より楽
#(というか、Haskell 処理系は、ソースを、右のような point-free style になるようにできるだけ前処理しています)
#そういうことか。動かすと速いって言う意味かと思った > 計算機に優しい
#最適化がやさしくなるかどうかは微妙
#でも機械のコードに落とすのは楽になる
#そこらへんもびみょーで
#カリー化すると、とたんに式が変わってしまうのだ
#どういうこと？
#\x y -> の式を y はずして ( -> ) の式にしたとすると
#\x -> A (y, x) :=====: A. (,) y
#で、Haskell プログラマは、よくこういうことする(最後の引数をはずして、より汎用な関数をつくる)
#このケースをみると、ラムダ式はラムダ式のままとっといたほうがいいんじゃね? とも思える
#カリー化したらこの場合は flip がなくなっちゃったってこと？
#はい
#なるほど
#で、GHC は hybrid かつ富豪的な方法をとっていて
#コンパイル時に両方確保している
#最近出た論文で、この問題をどうしたらいいだろうかと、やり玉にあげていた。
#どっちの方法がうまくいくかっていうのが、やるまでわからないのか
#あと、GC もからむので、複雑な問題だ
#論文の最後では、「提案した方法は実験してみないとわからないので、GHC-head でぐちゃぐちゃしてみます」と書いてあった
#GHC 使う側としては、そういうことはやめてほしい（が、整頓した形で導入してくれるのならいい）
#GHC はユーザに対してサディスティックですよねー
#あと論文の結論が「やってみるまでわかりません」ってどうなんだ
#まあ、Haskell '09 という会議で発表された、口頭発表なので...
##これのことをいってました
#あ、これ読んだけど意味わかんなかった論文だ。。。こんなことが書いてあったのか
#今最初のページだけ読み返してみました。この後に紹介されてる中間言語ってこういう目的があったんですね
#カリー化することによって、欠落してしまう型情報などをどうしよう、というのが主眼です
#本当に効果があるのか、ぼくも知りたいので
#とりあえず、論文中の FH -> StrictCore 変換器をつくって評価することからはじめる予定
#← Haskell 処理系をいつか作りたい子
#あと、もうすこしハードルが低い目標として Web server も書いてみたい
#Apache ハンドブックに
#1.高速 2.マルチタスク 3.認証 4.エラー表示 5.RESTful 6.proxy 7. secure
#が、Web サーバには要求される、と書いてあるが
#0. Haskell で自由に遊べること! がない!
#Haskell で自由に遊べない Web server なんて...
#それは需要が(ry
#Haskell で世界征服
#まずは練馬から
#point-free <-> pointy
#arbitrary = fmap My (listOf arbitrary)
#ghciで
#Not in scope: `listOf' といわれた
#ghci version 6.10.2
#あ、なんかオプションいる？
#えーと ghc-pkg describe QuickCheck して バージョンを確認してみてください
#2.* 以上じゃなかったら cabal upgrade QuickCheck してバージョンを上げてください。それで動くはず
#1.2.0.0 でした。
#cabal-0.6.2 をダウンロードして
#runhaskell Setup configure したら
#Setup: At least the following dependecies are missing:
#HTTP >= 4000.0.2 && <4001, zlib >=0.4 && <0.6
#っていわれた。
#なんだってー！？
#cabal の Windows用インストーラないかな
#QuickCheck のほうを落として直接インストールするほうが速いかも
##さすがに mtl がないとは言われんよね。。。
#cd QuickCheck-2.1.0.1 して runhaskell Setup configure はＯＫ。
#runhaskell Setup build で
#Exception.hs:12:31:
#Class `Exception' used as atype
#In the type `Exception'
#In the type `Either Exception a'
#In the type `IO (Either Exception a)'
#ほえー
#うあ、ほんとだ、cabal だとならないけど runhaskell だと出るね
###Exception でおこられたら、ソース書き換えて、Exception を OldException にするというその場しのぎの hack
#でなんとかなりますが、おすすめできません
#listOf gen = arbitrary >>= sequence . flip replicate gen
#cabal.exe update
#Downloading the latest package list 云々
#cabal: Failed to download index 'ErrorMisc "unsucessful HTTP code: (5,0,0)"'
#InternalServerError だと...
#でもまあ、動かすだけなら listOf gen = arbitrary >>= sequence . flip replicate gen で支障はないと思われるけど
#Warning 出ましたけど（後述）それで ghci で読み込めました。
#でなんていう関数呼べばチェックできます？
#Warning は
#Waring: No explicit method nor default method for `coarbitrary'
#In the instance declaration for `Arbitrary (MyList a)'
#quickCheck prop_laws だったと思う
#その warning は無視して大丈夫です
#結合律外したのは OK, passed 100 test. 動きました。感謝。
#いえいえー
#よく使う関数は $(HOME)/.ghci に記述しておくと、必ず定義されますが
#お、メモメモ。
#Windows 環境の $(HOME) がなにになるのかはよくわかんない... (%HOME% ???
#:def (コマンド名) 無名関数
#:def qc \c -> return $ ":m + Test.QuickCheck \nTest.QuickCheck.quickCheck (" ++ c ++ ") \n:m - Test.QuickCheck"
#みたいな
#%HOMEPATH% かな？ Windowsよくわからないす。
#cygwin だと ~ がありますよね、たしか
#MingW なんだっけか
#Windows の上で ghc 動かすのは仕事でやらされてうんざりしたので、記憶から消えている
#IRC #haskell:*.jp で話が出たのですが
#先のはなしになりますが、9 月の連休 9/19-23 を
#Haskell に関するなにかの週 (hackathon でもいいし)
#にわりあてるというのはどうでしょう
#その日程ぜんぶに参加しなくてもいい
#場所は、いろいろあるので、東京で会場つくって集まってもらってもいいし、地方に住んでいる人が Ust ってもいい
#初心者もふくめてゆるいかんじで
#仮のプランを文章にしてみて、それから皆にみてもらって、推敲してみます
#おお。すばらしい、wktk
#おはようございます
##といいつつ、空のページをつくっちゃおう
#文字 Encode は EUC-JP なのかー(でも、ありがたいので作った)
#コメントも含めて変な文字使わなければ、外人ブラウザでも見えるはずだ
haskell-ja > Archives > 2009/07/06