Gabriella439/Haskell-Annah-Library
View on GitHub ↗ ★ 94 Haskell
Distributed programming language that desugars to Morte
6 mentions on Hacker News by 4 people: 0 stories, 6 comments · first 2016-06-07 · latest 2019-08-11
20082026
-
Now you guys made me think of https://github.com/Gabriel439/Haskell-Annah-Library again.
comment by clacke2 · 2019-08-11 · in Preserves: An Expressive Data Language -
…[1]: http://www.haskellforall.com/2014/09/morte-intermediate-lang... [2]: https://github.com/Gabriel439/Haskell-Annah-Library
comment by xelxebar · 2019-05-17 · in Zero Cost Abstractions -
…as an intermediate form for some higher-level language, and we have Annah as just such an example: https://github.com/Gabriel439/Haskell-Annah-Library
comment by xelxebar · 2018-10-24 · in Algebra and the Lambda Calculus (1993) -
…the article mentions wanting to write a frontend for Morte. It seems the author made that happen: https://github.com/Gabriel439/Haskell-Annah-Library
comment by xelxebar · 2017-10-31 · in Morte: an intermediate language for super-optimizing functional programs (2014) -
…is Morte and Anna as well, that look like the previous experiments in total languages in haskell. https://github.com/Gabriel439/Haskell-Annah-Library
comment by a-saleh · 2017-03-07 · in Ask HN: Have you created a programming language and why? -
Same. Was expecting something like http://www.haskellforall.com/2015/05/the-internet-of-code.ht... https://github.com/Gabriel439/Haskell-Annah-Library
comment by lelf · 2016-06-07 · in Toward a URL for every function