The Little Typer
Daniel P. Friedman, David Thrane Christiansen, Duane Bibby, Robert Harper, Conor Mcbride
评分 9.9分
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are
