CLclacke2·Aug 11, 2019
Now you guys made me think of https://github.com/Gabriel439/Haskell-Annah-Library again.
In Preserves: An Expressive Data LanguageGabriella439
Haskell-Annah-Library
Haskell2016–2019
Gabriella439 / Haskell-Annah-Library
Haskell-Annah-Library
Distributed programming language that desugars to Morte
4Distinct people
6Mentions
0Explicit recommenders
94GitHub stars
What to know before exploring
What it is
Distributed programming language that desugars to Morte
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year6 dated mentions
Observed mentions: 2016-06-07 18:09:57 UTC to 2019-08-11 08:18:05 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2016 | 2016-01-01 00:00:00 UTC | 2017-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 2 | 0 | 2 |
What Hacker News says
6 sourcesAlong these lines is an intermediate language called Morte[0], developed by Gabriel Gonzalez, well known in the Haskell community. It seems to still be getting some love.
The basic idea is to implement a strongly normalizing calculus of constructions which languages can compile down to. That way, equivalent functions provably generate equivalent code. Here's [1] a blog from 2014 that goes into more detail on motivation, examples, and the like.
There's a proof-of-concept frontend called Annah[2]. I'm unaware of any backends though.
[0]:https://github.com/Gabriel439/Haskell-Morte-Library
[1]:http://www.haskellforall.com/2014/09/morte-intermediate-lang...
[2]:https://github.com/Gabriel439/Haskell-Annah-Library
In Zero Cost AbstractionsYou might like this:
http://www.haskellforall.com/2014/09/morte-intermediate-lang...
Basically, it's a calculus of constructions that guarantees equivalent funtions get compiled to the same thing. It's really intended 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
In Algebra and the Lambda Calculus (1993)I think this project is about the coolest think I've encountered in a long time and thought some of you might like it as well. It's still very much alive!
https://github.com/Gabriel439/Haskell-Morte-Library
Also, the article mentions wanting to write a frontend for Morte. It seems the author made that happen:
https://github.com/Gabriel439/Haskell-Annah-Library
In Morte: an intermediate language for super-optimizing functional programs (2014)I remember reading about two projects og Gabriel Gonzales that might be interesting in this regard.
Dhall, a total configuration language.
https://github.com/Gabriel439/Haskell-Dhall-Library
There is Morte and Anna as well, that look like the previous experiments in total languages in haskell.
https://github.com/Gabriel439/Haskell-Annah-Library
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
In Toward a URL for every function