Ur is a programming language designed to introduce richer type system features into functional programming in the tradition of ML and Haskell. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of metaprogramming based on row types.
This page is proudly brought to you by Backbite. Basically it’s a collection of interesting things I discovered during my daily web excursions, but there are some other people contributing to this Tumblog. All in the spirit of Christian Neukirchens first Tumblelog Anarchaia.
Programs used to create this page: my brain, Emacs, Ruby, textile(redcloth) Haml, Linux, Apache, postfix, procmail and some more.