| 11/28 |
| A Practical Soft Type System for Scheme |
| Schemeに実際にSoft Typingをする。長い論文。Static Typeなど新しい概念が多くて読むのがたいへん。 |
| 11/20 |
| Compiling Standard ML to Java Bytecodes |
| SMLをJavaにコンパイルする。ポリモーフィズムはすべての型に対してコードを作るというSTLまがいのことをしていた。でもバイトコードにコンパイルすることを利用して関数をただのイテレータに変換するなど頑張ってた。関数を引数に渡す場合はそれぞれのタイプについてインターフェースを作りそのオブジェクトとして渡す。よって使われる全てのインターフェースを作る必要があった。シグニチャを書くことで隠蔽をすることができるけど、外に見える部分では関数渡しのできる関数は定義できないようになってた。 あとSMLとOcamlは微妙に書式が違ってうまく書けない。 |
| 11/6 |
| Safe polymorphic type inference for a Dynamically Typed Language:Translating Scheme to ML |
| SchemeのソースをMLのソースに変換しようという論文。動的型チェックのSchemeをできるところは静的に型チェックしてしまうことりにより効率化を計る。なんとなーくわかったけど自分の英語力の無さのため十分にはわからなかった。東大記録会のテントの中で読んだ。寒かった。 |
| 10/23 |
| Soft Typing |
| MLのように厳格に静的に型をつけてしまうのではなく、ランタイムの型チェックも許して適度に型をつけましょう。これでSchemeにも型をつけることができます。でも重要なところはfull paperを参照してくれと書いてありfull papaerを参照すると非常に長々と書いてあるため読む気が無くなる感じだった。 |