What we're about

This is a group for people interested in actual computer science, which has only a functional underpinning. Explicit types can make functional programming easier. That means Haskell and secondarily, Ocaml.
Implicit types are OK for very small programs, but harmful for larger programs. Did you realize that types have algebraic properties and are "often" differentiable? You don't have to be good at algebra, tho, it just helps. There is an underlying "reasoning by analogy," the one kind people have been seen to getting smarter at.

Don't get your shirt sleeve caught in the automatic machinery and hang onto your hat!

Upcoming events (1)

Time and place currently open, despite what you may read elsewhere.

Join today and let us know what you would like to do.