Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically typed, and strict. Ur supports a powerful kind of metaprogramming based on row types.
This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/petersen/urweb/