なんでもセミナー

Haskell 大学

10/22になんでもセミナーというもので、Haskellについての話をすることになりました。
Haskellの中間言語についてとかそういった話をします。

  • 型推論
  • 糖衣構文
  • A正規化
  • STG (Shared Term Graph)
  • C--
  • ランタイムシステム
  • 非ボックス化
  • 書き換え規則(融合変換とか)
  • 正格性解析

などについて触れようと思っています。個々のテーマについて変換アルゴリズムなどをじっくりと掘り下げる事は能力的にも時間的にもできませんが、興味のある方はぜひお越しください。