トップ «前の日記(2003-02-15) 最新 次の日記(2003-02-17)» 月表示 編集

日々の流転


2003-02-16 [長年日記]

λ. variance

On Variance-Based Subtyping for Parametric Types では fixed-variance を bivariance と呼んでいるようだ。

Tags: haskell CPL

λ. 『女王の百年密室』ラジオドラマ

そういえば明日からですね。http://www.nhk.or.jp/audio/prog_se_future.html

『女王の百年密室』(全10回)
【放送日】
2月17日(月)〜2月21日(金) 22:45〜23:00(1-5回)
2月24日(月)〜2月28日(金) 22:45〜23:00(6-10回)
原作:
森博嗣
脚色:
富永智紀
選曲:
伊藤守恵
演出:
大久保篤
技術:
糸林薫
効果:
島津楽貴 木村充宏
出演:
高山みなみ 島本須美 八代駿 柴田秀勝 高戸靖広 水澤心吾 佐藤友紀
あらすじ:
時は22世紀。全てがコンピュータで管理される世界。ナビの故障で道に迷ってしまったフリーライターのサエバ・ミチルとロイディは、女王が統治する幸福で豊かな楽園「ルナティック・シティ」にたどり着く。犯罪にも無縁の理想郷のような世界…だがある日、王子が女王の塔で殺される。そこは完全なる密室だった。調査を開始するミチルとロイディだったが、住民たちは誰も「殺人」の存在さえ認めない。この街にはそもそも「死」の概念がなかったのだ。誰が、どうやって、何のために?ミチルの調査が「神」にたどり着いた時、シティ創立の秘密を含め全ての謎が明らかとなる。

λ. 正格性フラグ

hugs98-Dec2001が以下のプログラムでsegmentation fault。これはまぁ仕方ないと思うのだけど、GHC-5.04.2でコンパイルして実行したら「Fail: <<loop>>」とか言って停まってくれて少し驚いた。でも、どうせならコンパイル時に検出できないものかな。

data Nat = Zero | Succ !Nat deriving Show
 
main = print.show $ infinity where
  infinity = Succ infinity

【2006-09-20追記】 ちなみに、これでループを検出するのは実行時のブラックホール化(black holing)の仕組みによる。

Tags: haskell