という疑問を最近みたので(どこで見たんだろう)。数学も数学史も詳しくないので間違ってるかもしれんが。多分、最初の出発点は、Fermatが発見した、ある種のDiophantus方程式(楕円曲線)の一つの解から別の解を次々に構成していく手法にあるんだと思う。つま…

まあ、よい機会なので少しCore Simplifierがどんな感じなのか概観してみることに。以下の話は、GHC-6.6のソースに基づいている。GHC compilerの中核は、main/HscMain.lhsに記述されている。hscSimplifyとか見ると、実質的にcore2coreを読んでいるだけなので…

よく考えると(よく考えなくても)、Hylo-fusionをRULESプラグマのみで扱うのは無理がある。普通のプログラムをHylo3つ組形式に変換→融合変換→Hylo3つ組形式を展開、というプロセスで、2つ目と3つ目をRULESで処理しようとしても、本来融合変換できるはずのもの…