わかったよーなモナド。
でも「モナドのすべて」を読んでたら、分からなくなってきた。
つー事で、モナドでやってる事をモナドじゃない方法でやってみよう。
羊さん。
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関連の洋書が何冊か出てるんで、それかな。
数独特プログラム、まだ未完成。
簡単なアルゴリズムしか実装してないので、難しいヤツは解けない。
息抜きに、まぁ、他にもやってる人居るだろうと思って適当にぐぐる。
……うーん。
見つけたものは
「とりあえず適当に数入れて詰まったら捨てる」
っつーもの
いや、確かに早いし、コードも短いし、そっちの方が良いんだろうけど
解いた気にならない(重要)
まー 人間と同じ解法をやらせるのは間違ってるんだろうけど
練習がてらなので気にしない。
[9fans] multiple venti servers
いや、ディスククラッシュとは関係ないけど。
[9fans] Using OS abstractions book, for Plan 9. + example program to export files
まだちゃんと読んでないけど、かなりしっかり書かれてるっぽいぞ。
あっしも、いつかまとめようと思ってたんですがね……
今年度になってから忙しさが段違いになっちまって、どうにもPlan 9出来てません。
いや、時間が無いわけじゃないんだ
ただ、まとまった時間じゃないとやる気が起きないのが問題なんだ
鯖復旧できませんでした...orz
RAID組んでても同時に死ぬって何だよ(;´Д`) 勘弁してくれよ
こないだの地震かなぁ、この地域は地震なんて起きないから対策してなかった
# 生まれて初めてだぜ
やっぱディスク持っちゃダメだよ、うん。
しかし、どうすっかな
Plan 9関係のドキュメントが吹っ飛んじまった
バックアップどこだっけかなぁ
まぁ、書き直せばいいかぁ、どうせ古くなってたしなぁ
しょーじき、やる気が見る見る消えていきます
(´Д`)コマルー
鯖のディスク逝った
……(;´Д`)コマル
これ買った。
ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門
前から出るっつー話があった「ふつうのHaskellプログラミング」
随分出ないんで企画ポシャったのかと思ってた
後、適当にもう一冊
入門Haskell―はじめて学ぶ関数型言語
入門書の類は複数併読しなきゃ信用できない。
いや、これらがそうだとは言ってないよ？
一般的に、入門書は分かり易さの為に若干のうそ大げさ紛らわしいが入ってたり
一部の内容を端折ってたり、著者のレベルが低かったりするから
一冊の内容を鵜呑みにするのは危険。
読んでないのが溜まってるけど、忘れないようにとりあえずメモっとく
今度いじってみよう
アレとコレとソレ片付けないと、Plan 9で遊べない。
引越しからこっち、色々たまってんなー
共有ライブラリなんかクソ食らえ
[9fans] Writing device drivers
デバドラを書く。
[9fans] Glenda Black T-shirts
相変わらずキモカワイクナイな。
boot 関係と 9P 関係がちょっと流れてたのでメモ
[9fans] booting problem
[9fans] cd boots but not installs
[9fans] booting from cd on an intel 440GX dual processor
[9fans] why there is no srv->clunk in lib9p?
[9fans] "new" 9load freezes
[9fans] installation timezone
[9fans] V9fs and npfs documentation
[9fans] 9p flush
[9fans] p9p on win32?
