Hacker News
- The Ur Programming Language Family http://www.impredicative.com/ur/ 18 comments
- Ur/web: pure functional, statically typed web programming http://impredicative.com/ur 45 comments
- The Ur Programming Language Family http://impredicative.com/ur/ 11 comments
- Ur/web is out of beta http://www.impredicative.com/ur/ 15 comments programming
- Ur/Web is a domain-specific language for programming webapps backed by SQL databases. Statically-typed, purely functional, and with features from dependently-typed languages like the logic behind Coq. http://www.impredicative.com/ur/ 58 comments programming
Linking pages
- MIT unifies Web dev into a single, speedy new language -- Ur/Web | Computerworld http://www.computerworld.com/article/2863069/application-development/mit-unifies-web-dev-into-a-single-speedy-new-language-urweb.html 164 comments
- GitHub - dbohdan/compilers-targeting-c: A list of compilers that can generate C code https://github.com/dbohdan/compilers-targeting-c 36 comments
- Web Frameworks Benchmark 2015 http://www.infoq.com/news/2015/04/web-frameworks-benchmark-2015?amp%3Butm_campaign=04282015news&%3Butm_medium=weeklynl_editorialcontentoperationsinfrastructure 24 comments
- Web Frameworks Benchmark 2015 http://www.infoq.com/news/2015/04/web-frameworks-benchmark-2015 5 comments
- GitHub - KMahoney/squee: A Typed, Composable Database Query Language https://github.com/KMahoney/squee 5 comments
- Functional Geekery Episode 101 – Adam Chlipala – Functional Geekery https://www.functionalgeekery.com/episode-101-adam-chlipala/ 1 comment
- MIT unifies Web development in a single, speedy new language | Computerworld http://www.itworld.com/article/2863674/mit-unifies-web-development-in-a-single-speedy-new-language.html 1 comment
- Polymorphic variants in Ur/Web : ezyang’s blog http://blog.ezyang.com/2012/07/polymorphic-variants-in-urweb/ 0 comments
- Managing the server/client split in Ur/Web : ezyang’s blog http://blog.ezyang.com/2012/07/managing-the-server-client-split-in-ur-web/ 0 comments
- Naming conventions in Standard ML – The Breakfast Post https://thebreakfastpost.com/2016/06/11/naming-conventions-in-standard-ml/ 0 comments
- How Ur/Web records work and what it might mean for Haskell : ezyang’s blog http://blog.ezyang.com/2012/04/how-urweb-records-work-and-what-it-might-mean-for-haskell/ 0 comments
- MIT aims to simplify web development with new language http://www.gizmag.com/mit-urweb-development-language/35390/ 0 comments
- GitHub - urweb/urweb: The Ur/Web programming language https://github.com/urweb/urweb 0 comments
Related searches:
Search whole site: site:impredicative.com
Search title: The Ur Programming Language Family
See how to search.