Ur
From Impredicative Wiki
(Difference between revisions)
(New page: [http://www.impredicative.com/ur/ Project web site] === Topics === * C FFI Example) |
m (→Tools) |
(24 intermediate revisions by 9 users not shown) |
Latest revision as of 04:35, 19 November 2016
Contents |
[edit] Official resources
[edit] Ur/Web
- Ur FAQ
- Performance Comparisons
- Comparison tables
- Companies supporting the urweb language
- Won't fix
- Compiler contributions procedure
[edit] Code Samples
- Rosetta Stone - currently lists rough translations between certain functions from the Ur/Web standard library and functions from the Haskell platform. Designed to aid understanding, rather than to be rigorous!
- Best practices
- Code Samples
- Impredicativity in Ur/Web
- C FFI Example
- Pitfalls - things which can go wrong
- Expressing subrecord constraints