Ping
On Mon, 13 Jun 2016 18:15:42 +1200 ml wrote: > Hi ports@, > > I would like to add port for Ur/Web compiler. > > > >From pkg/DESCR: > > 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. > > Ur/Web is Ur plus a special standard library and associated rules for > parsing and optimization. Ur/Web supports construction of dynamic web > applications backed by SQL databases. The signature of the standard > library is such that well-typed Ur/Web programs "don't go wrong" in a > very broad sense. > > > Port archive is attached. > > > Ur/Web depends on MLton compiler [1]. > Testing and comments for both ports are much appreciated. > > [1] http://marc.info/?t=146427455100001&r=1&w=2 > > > Best regards, > Alex >
