Phil Freeman - PureScript's Typesystem скачать в хорошем качестве

Phil Freeman - PureScript's Typesystem

PureScript (http://www.purescript.org) is a strongly-typed functional programming language that compiles to simple JavaScript. The language is heavily inspired by Haskell, and the compiler itself is written in Haskell. PureScript's type system has grown gradually over the past four years, driven by the need for solutions to real-world problems and also experimentation. Phil will give an overview of some of the type system features which were inspired by Haskell, and also some novel features such as row polymorphism. Phill will also talk about the implementation of the type checker. This was recorded at Brainium in Santa Monica during a Santa Monica Haskell meetup: https://www.meetup.com/santa-monica-h... See Phil's pinned comment for table of contents and other references.