PureScript is a small strongly typed programming language that compiles to JavaScript.


Modifying the DOM

PureScript’s expressive type system and lightweight syntax make it simple to define domain-specific languages, which can be used to solve problems like templating the DOM. Bindings also exist for libraries such as React and Virtual DOM.

import Flare
import Flare.Smolder
ui :: UI _ H.Markup
ui = greet <$> string "Name" "World"
  greet name = h1 $ text $ "Hello, " <> name <> "!"

HTML5 Canvas

Higher-order functions allow the developer to write fluent, expressive code. Here, higher-order functions are being used to capture some common patterns when working with HTML5 canvas, such as closing and filling paths.

import Control.Apply
import Graphics.Canvas.Free

scene =
  filled $ closed do
    moveTo 0 0
    lineTo 50 0
    lineTo 25 50
    closed path = beginPath *> path <* closePath
    filled shape = shape <* fill

Callback Hell

The problem of callback hell can be solved by using PureScript’s type system to capture complex control flow as functions in a safe way. Here, the continuation monad is used to hide the boilerplate code associated with handling callbacks.

import Control.Monad.Aff
import Control.Monad.Aff.Par

data Model = Model (List Product)

loadModel = do
  popular <- get "/products/popular"
  products <- runPar $ for_ popular \product -> Par (get product.uri)
  pure (Model products)

Generative Testing

PureScript provides a form of ad-hoc polymorphism in the form of type classes, inspired by Haskell. Type classes are used in the QuickCheck and StrongCheck libraries to support generative testing, which separates test definitions from the generation of test cases.

import Test.QuickCheck

main = do
  quickCheck $ \xs ys ->
    isSorted $ merge (sort xs) (sort ys)
  quickCheck $ \xs ys ->
    xs `isSubarrayOf` merge xs ys