トップ «前の日(03-25) 最新 次の日(03-27)» 追記

U-memo

2006|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|08|
2009|08|10|
2010|02|03|
2011|11|12|
2012|04|
2016|02|
All= / Today= / Yesterday=

2008-03-26

_ [TigerBook] 教科書の(まだ errata に挙がっていない) 間違い

Modern Compiler Implementation in ML の p.91 (ペーパーバック版)の Program 4.4 に2ヶ所問題がある。

一つは単純に、Standard ML の 整数除算は / ではなく div 関数である点。

もう一つに一週間かかった。

そもそも、table の type 定義が与えられておらずこける。 型の整合性をとると、

type table = string -> (table -> int)

とかいうあやしげな再帰型になる。 type 宣言ではこういう再帰は許されていないらしく、推論も出来ずにこける。 実際、無限再帰するよなぁ。実際には末尾で例外という形式で問題は無いのだけれども。

対処した今ならすべてつじつまがあっているけど、これは苦労した orz