[Haskell-cafe] ANNOUNCE: urembed- urxml-

Sergey Mironov grrwlf at gmail.com
Thu Oct 31 09:33:06 UTC 2013

Hello. I'm glad to announce the release of Ur/Web[1] helper
applications: urembed- and urxml-

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

Uermbed and urxml are aimed at making Ur/Web development more pleasant.

* Urembed


Urembed embeds file or files into the Ur/Web project by generating the
module which provides the programmer with functions serving the
specified file as a binary. This way Ur/Web application no longer
requires standalone webserver for serving static content. Also,
Urembed supports generating JavaScript FFI signatures for *js files.
https://github.com/grwlf/uru project uses urembed and may illustrate
it's abilities.



UrXML is yet another XML parser/pretty-printer application. This time,
it supports ur/web syntax extensions of XML. One can integrate this
tool with VIM editor to indent  XML parts of non-XML files like Ur/Web
sources. Please, read README.md for the details.


[1] - http://www.impredicative.com/ur/

More information about the Haskell-Cafe mailing list