Nizahのひとです、こんちわ
最近、右目がピクピクするんですわ
すわ、眼瞼痙攣かってくらいに
# 実際そうだったらやだな
適当にネットで情報漁ってるんだけど、何か微妙に違うんだよなぁ
» 続きも読む
かしわうどん。
……鶏肉、なんか余した。
そういや、前に鍋食った時も対して肉食わなかったし
その前に焼き肉行った時も、あまり肉食ってないな
こ、これが老化かっ
※直前のエントリと矛盾してるような気もしないでもない
飯食った、19時、なんかTVでクリームシチュー食ってる
気付いたら、21時、なんかTVで煎餅食ってる
時間が飛んだッ
意識も飛んだッ
やばい、明日、やばい
癒しとかどっかその辺に落ちてないかな
ネコとかがいいです(*´Д`)ニャー
いかん、超不眠症だ。ちょーだぞ
元々寝付きは悪いけど、輪を増してひどい
ストレス溜まってんのかなー(´Д`)なんか胃の具合悪いし
あくびは出るんだけど眠れないんだよ、困る
とりあえずお茶漬け食う
飯を作ってたはずなのに、気付いたらベッドで寝てた。
食べた形跡はあるので、その後寝たんだろう、多分。
なんか頭重いし、風邪ぶり返したかなあ
味の濃いものが食いてぇ
さむいわっヽ（`д´)丿 風邪引いたっ
季節の変わり目は必ず風邪を引く几帳面な体質だ。
ストーブつけたけど、シーズン初はやっぱ臭いがするなぁ(;´Д`) 頭痛が悪化しそうだ
わかったよーなモナド。
でも「モナドのすべて」を読んでたら、分からなくなってきた。
つー事で、モナドでやってる事をモナドじゃない方法でやってみよう。
羊さん。
sheeptest.hs
ツリーっぽいインチキなデータ構造で羊さんを表現してみる。
母親の父親とか、父親の父親とか、関数合成で上手く表現出来ているように見えるけど
父親が存在しないので paternalGrandfather dolly が実行時エラーを起こす。
mother, father を関数として実装して、MyNothingのときにゴニョゴニョやれば出来なくも無さそうだけど
(眠いのでやらない)
しかし、そういうルールをゴニョゴニョするって事は、結局はモナドに必要なルール(モナド則？)を実装する事になって、結局「もなど」になるんじゃなかろーか
Monadのインスタンスかどうかなんて、本質的にはどうでもよくて
モナド則が実現されているかどうかが、その本質なんだ、多分。
(でも、モナド則を実現するのはプログラマ任せ なんて記述もあるしなぁ)
ん、Monadのインスタンスでも「モナド」じゃないようなクラスも作れるのかな？(意味はさておき)
しばらく、「もなど」っぽい様なコードを書いて、「モナド」とはなんぞや ってのを考えてみよう。
特に、計算戦略の隠蔽とか、まだしっくり来ない。
しかし、モナドを考えるときには IO は忘れた方が良いような気がする。
あれ、たしかに身近だけど、あれがモナドって言われると余計に意味分かんないって
とりあえず
ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門
これらは読んだわけですが、その次にどうするよ？ って話。
A Gentle Introduction to Haskell, Version 98
やさしい Haskell 入門 (バージョン98)、中身は日本語だよ。
を読んでます。
その後は
なぜ関数プログラミングは重要か
The Haskell 98 Language Report ( Haskell 98 言語とライブラリ 改訂レポート)
All About Monads (モナドのすべて)
辺りを読もうかと。
# もちろんコードも書いてるよ、後PreludeとかData.Listも読んでます。
それが終わったら、Haskell関連の洋書が何冊か出てるんで、それかな。
数独特プログラム、まだ未完成。
簡単なアルゴリズムしか実装してないので、難しいヤツは解けない。
息抜きに、まぁ、他にもやってる人居るだろうと思って適当にぐぐる。
……うーん。
見つけたものは
「とりあえず適当に数入れて詰まったら捨てる」
っつーもの
いや、確かに早いし、コードも短いし、そっちの方が良いんだろうけど
解いた気にならない(重要)
まー 人間と同じ解法をやらせるのは間違ってるんだろうけど
練習がてらなので気にしない。
急性胃腸炎(;´Д`) タスケテー
