A strongly-typed language that compiles to JavaScript
A pure functional type-inferred language based on JavaScript
A strongly typed language for the web!
Some info that supposed to help to understand PureScript from Haskell pe...