「プログラミングHaskell」*1を読んでいて、p.123にかっちょいいaddの定義が載っていて、ぜひmulも欲しかったので、ちょっと考えてみたが、挫折した。格好良くないのだ。 *1:[asin:4274067815:detail]

ちょっとひっかかったところのメモ集。あとでちゃんと読むために。 Scalaスケーラブルプログラミング[コンセプト&コーディング] (Programming in Scala)作者: Martin Odersky,Lex Spoon、Bill Venners,羽生田栄一,長尾高弘出版社/メーカー: インプレスジャパ…

とりあえず、ブラウザの履歴だけ張って逃げる。 2009-06-15 - Yet Another Ranha via（引用）ギレンさんが - ヤドカリデンキ商会（第一倉庫） gauche.night - sumiiの日記 帰納的定義と数学的帰納法 ※※※by 萩谷昌己の最後の「個人的な思い」の部分 参考文献:…

403 Forbiddenを読んで、最初は「可換って面倒がなくてすばらしい。学校はつまらんことにこだわるもんだな」とか単純に思っていたのだが、3個ｘ50円/個＝150円というのは、掛け算が中置演算子だから見過ごしがちだが、get_kingaku_num_price(3個、50個/円）…

Modern C++ Design―ジェネリック・プログラミングおよびデザイン・パターンを利用するための究極のテンプレート活用術 (C++ In‐Depth Series)作者: アンドレイアレキサンドレスク,Andrei Alexandrescu,村上雅章出版社/メーカー: ピアソンエデュケーション発…

Erlangでパーサ・コンビネータ - kgbu?では、自分で証明できなかったので、プログラム意味論 (情報数学講座)で参考文献に挙げられていたプログラミング言語の基礎理論 (情報数学講座)のp.130あたりを読んでみた。 だいたい納得できた。やはり、有限の型では…

Erlangでどう書くかはほっておいて、どんなことをやりたいかについて、ちょっと考えてみた。 たとえば Top, Middle, Last という３つのパターンがあったとして、それをStrという文字列（それはリストに他ならないのだが）にマッチさせることを考える。たとえ…

http://d.hatena.ne.jp/kgbu/20080617/1213685112 でひっかかっていたので、BarendregtのLambda calculi with typesを少し読んでみた。 以下、自分にもよくわからないメモなので、もし間違って検索でここに来た人は、すみませんが無視してください。

なんて大それたことをするつもりは無かったんだけどなー。Javascriptでやってる人もいるくらいだから、、、とかいう考えで大ハマリ中。 （以下追記修正あり） で、Erlangだと、anonymousな再帰関数はどうやって書くんだ？という問題にぶち当たった。 以下、…