urweb

purely functional language for web programming

Description

Ur is a pure, functional, statically typed, strict programming language in the tradition of ML and Haskell; however, it features a significantly richer type system. Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports constructing dynamic web applications backed by SQL databases.

This package provides the urweb compiler and development libraries; you do not need to install it to run applications written in Ur/Web.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.

Upload a screenshot

Hint: upload an image here from your clipboard with Ctrl-V


Homepage

http://impredicative.com/ur/


Install this software package

If the package is available for the distribution you are currently using on your computer then install the software by clicking on…

Install urweb