Компьютерная литература
  • формат pdf
  • размер 201,44 КБ
  • добавлен 23 января 2011 г.
Jones M.P. Typing Haskell in Haskell
Статья М. П. Джонса, опубликованная в Haskell Workshop Version: September 1, 1999. Посвящена описанию системы типизации языка Haskell, причём реализация машины вывода типов приведена опять же на языке Haskell.
Краткое содержание:
Introduction
Preliminaries
Kinds
Types
Substitutions
Uni cation and Matching
Predicates and Quali ed Types
Type Schemes
Assumptions
A Type Inference Monad
Type Inference
Conclusions
Acknowledgments
References
Похожие разделы