スペルポイント88万スペルポイントが999990を超える(弾幕開花宣言)なんて絶対無理だと思ってたけど、ノーマルのてゐ相手で88万ほどまでいった。頑張れば結構なんとかなるのかも。孝司<URL:http://www.nue.riec.tohoku.ac.jp/jssst2005/papers/05100.pdf>この手の話でO'HaskellやHList/OOHaskellが言及されていないのはちと不思議に思える。それと、多相バリアントは多相バリアントでも、O'Camlのはデータ構築子の型を任意に決め、任意に組み合わせることが出来るのに対して、ここで提案している拡張可能なバリアントはそこまで自由度の高いシステムではない。どちらが望ましいというわけではないけど、一応区別して考えた方がよいと思う。この論文で導入されたバリアントの宣言方法は最初は冗長に感じられたが結構面白い。types)を宣言出来ないという問題はあるな。開再帰の問題についてはよく知らなかったが、それを型クラスの一種を用いて解決するのはスマートに思える。それに、Haskellのコードを出力するプリプロセッサとして動作させることが出来るというのも面白いな。コードを改造して遊んでみたくなった。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。