![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
This page is a placeholder with some notes towards a future tutorial for the programming language Hoon. I'll probably never actually get around to writing it.
In contrast to almost all other programming languages, Hoon is based on the combinatory logic model of computation. See my [1] for more on this, as Hoon compiles down to Nock.
Like a large subset of Haskell, a large subset of Hoon is purely functional.
Hoon has a different sort of type system. Hoon is a pure, strict higher-order static type-inferred functional language, with co/contra/bivariance and genericity, but it achieves this in a different way than some other languages with similar properties.
See also [2]
