Scala is both acclaimed and criticized for its type inference capabilities. But most of this criticism stems from Scala’s object-functional nature, so how does type inference look like and work in functional languages without objects, such as Standard ML or Haskell? This talk aims to show one way to achieving that. We will present Wand’s type inference algorithm, a lesser known, but easier to understand and extend alternative to the classic Damas-Hindley-Milner algorithm. We’ll use a small subset of Standard ML as a vehicle language and Scala as the implementation language.
* Material *
Slides: speakerdeck.com/igstan/a-type...
* Event *
Typelevel Summit New York City, March 2017: typelevel.org/event/2017-03-su...
* About Speaker *
Ionuț G. Stan is a software developer at Eloquentix, where he works on backend services using Scala. His current interests revolve around functional programming techniques, programming languages and compilers.
* Licensing *
This recording is licensed under CC-BY 4.0 (creativecommons.org/licenses/....
Негізгі бет Ғылым және технология A Type Inferencer for ML in 200 Lines of Scala - Ionuț G. Stan
Пікірлер: 2