emacsと間違えて、切り取りのためにCtrl-Wを押して、firefoxのタブを閉じてしまって泣いてしまうことが、ここのところ繰り返している。 はやく、xkeymacsをインストールしないと・・・

http://sky.zero.ad.jp/~zaa54437/programming/clean/LanguageReport21/Chap3.html#sc18 ランクN多相性の記述を見つけた。以前、型システムで混乱したけれど、これに関係している気がする。 ちょっと整理できていないので、「後で書く」

[id:lethevert:20051228:p4] ABCの命令列は、{Instruction}という配列として定義できるな。 Instruction :: *VM -> *VMおのおのの命令を、たとえば、以下のように定義してやれば、部分パラメータ化を使えば、きれいに書けるぞ。 AddI :: !Int !*VM -> !*VMと…

純粋で遅延評価の文脈で、定グラフと定関数の違いに意味があるのかが分からなくて混乱していた。純粋であるから定関数はなんど計算しても同じ値を返すし、遅延評価であるのから定グラフは必要になるまで計算されないはず。 http://sky.zero.ad.jp/~zaa54437/…

http://www.kt.rim.or.jp/~kbk/perl-5.8/perlretut.html#using_regular_expressions_in_perl http://perldoc.jp/docs/perl/5.6.1/perlop.pod#item__PATTERN_cgimosx while ($dna =~ /\G(\w\w\w)*?TGA/g) { print "Got a TGA stop codon at position ", pos $…

perlのpack/unpackの使い方を理解した。 pack 構造体→固定長レコード unpack 固定長レコード→構造体 という変換のために利用する。 デリミタで区切られたレコードを変換するのに、split/joinを使うのと対照的だ。 - で、これが理解できたので、perlのurldeco…