# PicoML

A minimal statically-typed functional programming language. Not actually
an ML. Written entirely in cross-platform C; allows for multiple code
generators.

Exhaustive feature list:

- sums (eager)
- products (lazy)
- functions
  - currying
  - closures
- references
- implicit values (searched by type, must be unambiguous)
- libc bindings (incl. malloc)

Maybe looking like

~~~~
data List a =
  [ Cons a (List a)
  , Nil
  ]

map (f : a -> b) (l : List a) : List b =
  case l of
    Cons x xs -> Cons (f x) (map f xs)
    Nil       -> Nil

record Stream a =
  { .head a
  , .tail (Stream a)
  }

mapS (f : a -> b) (s : Stream a) : Stream b =
  { .head = f s.head
  , .tail = mapS f s.tail
  }

record Functor f = { .fmap ((a -> b) -> f a -> f b)  }

implicit listFunctor   : Functor List   = { .fmap = map  }
implicit streamFunctor : Functor Stream = { .fmap = mapS }
~~~~