DMdmit·May 17, 2025
> Haskell
https://github.com/Frege/frege
https://github.com/typelead/eta
Of the others you mentioned, I bet there's a couple JVM Prologs out there, but haven't encountered any myself.
In Java at 30: Interview with James Goslingtypelead
eta
Haskell2017–2025
typelead / eta
eta
The Eta Programming Language, a dialect of Haskell on the JVM
6Distinct people
7Mentions
0Explicit recommenders
2.6KGitHub stars
What to know before exploring
What it is
The Eta Programming Language, a dialect of Haskell on the JVM
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
- frege/frege · linked in 2 of the same discussions
Mentioned in the same Hacker News threads. That is not proof they are substitutes.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:03:16 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 year7 dated mentions
Observed mentions: 2017-01-11 16:08:20 UTC to 2025-05-17 09:25:58 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 |
|---|---|---|---|---|---|
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 5 | 0 | 5 |
| 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 | 0 | 0 | 0 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2025 | 2025-01-01 00:00:00 UTC | 2026-01-01 00:00:00 UTC | 1 | 0 | 1 |
What Hacker News says
7 sourcesThere's also Frege: https://github.com/Frege/frege
It's also Haskell for the JVM. Made me wonder why there are two efforts. Found an explanation: https://github.com/typelead/eta/issues/3
In The Last Hope for Scala's Infinity War [video]You can probably get a Haskell job if relocating is an option.
Also checkout eta since it's Haskell but interops with the JVM:
https://github.com/typelead/eta
You are a haskeller writing Java, I'm a haskeller writing Go ;)
In Why hasn't Haskell taken over the world? And the curious case of GoI'm confused. Isn't Eta the new name for GHCVM? https://github.com/typelead/eta/commit/76cdf91843ad679bcb441...
In Eta – A powerful language for building scalable systems on the JVMAwesome,
Haskell <> JVM with Eta[1]
Scala <> Native with Scala Native[2]
One language to rule them all. Personally am rooting for both becoming a success, though Eta may have the easier path given that it can piggy back on the JVM, while Scala Native will have to, for example, come up with a plausible GC solution (i.e. matching JVM's world class GC is a tall task to say the least) along with porting myriad Java/Scala libs to native.
[1] https://github.com/typelead/eta
[2] https://github.com/scala-native/scala-native
In Eta – A powerful language for building scalable systems on the JVMThis might be helpful:
* https://github.com/typelead/eta/blob/master/docs/source/faq....
* https://github.com/typelead/eta/issues/3
In Eta – A powerful language for building scalable systems on the JVMThis is the relevant github repository: https://github.com/typelead/eta
And this is the blog post from the co-founder of Typelead (the company behind Eta) discussing about it: https://blog.typelead.com/https-blog-typelead-com-introducin...
In Eta – A powerful language for building scalable systems on the JVM