Erlang Meets Idris: Cure Programming Language
18 comments
·November 6, 2025h4kor
delitrem
> This is 100% LLM generated
Who knows, may be you are right here. I actually thought so at first, but knowing the author personally (he is my former colleague, I had the pleasure of working with him in the same team about 17-18 years ago), his extraordinary abilities and his writing style even before the widespread use of AI, I had my doubts.
anonzzzies
There is a github repos and that + code looks also LLM generated to me. Not necessarily bad, if it works for what was intended that is; I just don't have time/patience to try it because of how lazy their web page is. I mean LLMs can DEFINITELY make a lot better pages than this; this what you get if you do it one-shot and publish.
IdontKnowRust
I was about to say the same thing haha
bjoli
This is the GitHub repo: https://github.com/am-kantox/cure-lang
dmit
Compilation Performance
Small files (<100 lines): <1 second
Medium projects (1K-10K lines): 5-30 seconds
Large projects (100K+ lines): 30-300 seconds with incremental compilation
ares623
Super exciting. Can't wait to use this in production. Imagine, using AI to write with a language built with AI, building AI products that AI people use.
GCUMstlyHarmls
Curious what the E, e, e, L and G stand for in the logo.
hmry
My money's on L = LLM, G = Generated
weatherlight
The project looks very young. I do like the goals of the project though, and I like that it's on the BEAM.
agnishom
I would like to see some interesting code examples showcasing the main features.
brap
It absolutely drives me nuts when people spend so much time building something but make it difficult to show you what they’ve built.
A short code snippet (with syntax highlighting thank you) should be the first thing on your page.
I do not have to scroll through a huge wall of text (probably AI generated), 2 images (definitely AI generated), miss it, start clicking links, still not find it, hit the back button, scroll through the slop again, etc.
I want to see the thing, I don’t care about what you have to say about the thing until I can get a sense of the thing.
debugnik
> when people spend so much time building something
I do not think that much human time was spent on this actually.
paulglx
Everything smells of AI here, is it the world's first slop language?
pshirshov
No, I have one too: https://github.com/pshirshov/pascal-llvm
josefrichter
How does this compare to Gleam, in terms of goals, features, etc.?
littlestymaar
> A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees
0x69420
please keep the erlang ecosystem out of the llm griftosphere. jesus christ.
This is 100% LLM generated; website, documentation and tutorials. There is no link to downloads or a repository. No way to use anything.
Why should anyone care about this?