4 ms·
Erlang Meets Idris: Cure Programming Language
- josefrichter 11mo agoHow does this compare to Gleam, in terms of goals, features, etc.?
- littlestymaar 11mo ago> A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees
- forgotpwd16 11mo agoRegarding goals, from a quick check on both, the essential difference is Cure has dependent types with SMT-backed validation. So, as mentioned in homepage, is oriented towards domains requiring correctness over convenience, whereas Gleam targets general development. (Beyond goals for anyone that hasn't heard Gleam before, Cure appeared out of nowhere recently and seems like AI slop, Gleam exists for few years and people are using it to make actual projects.)
- GCUMstlyHarmls 11mo agoCurious what the E, e, e, L and G stand for in the logo.
- hmry 11mo agoMy money's on L = LLM, G = Generated
- bjoli 11mo agoThis is the GitHub repo: https://github.com/am-kantox/cure-lang https://github.com/am-kantox/cure-lang
- dmit 11mo agoCompilation 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 Love that there's an upper limit on compilation time. No matter how large your project gets, it will never take more than five minutes to compile (incrementally).
- xigoi 11mo agoAlso it’s not possible to write programs that have between 100 and 1000 lines.
- h4kor 11mo agoThis 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?
- IdontKnowRust 11mo agoI was about to say the same thing haha
- anonzzzies 11mo agoThere 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.
- forgotpwd16 11mo agoThe idea may be good and result may be functional but regarding adoption, especially for the domain it targets, for someone to depend on what appears to be vibe coded project is irrational.
- delitrem 11mo ago> 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.
- EdwardDiego 11mo agoEmojis make it look LLM af.
- PaulRobinson 11mo ago
- weatherlight 11mo agoThe project looks very young. I do like the goals of the project though, and I like that it's on the BEAM.
- brap 11mo agoIt 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 11mo ago> when people spend so much time building something I do not think that much human time was spent on this actually.
- paulglx 11mo agoEverything smells of AI here, is it the world's first slop language?
- deleted 11mo ago[deleted]
- agnishom 11mo agoI would like to see some interesting code examples showcasing the main features.
- ares623 11mo agoSuper 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.
- 0x69420 11mo agoplease keep the erlang ecosystem out of the llm griftosphere. jesus christ.
- saithound 11mo agoThis is not a real language, it's pure LLM slop. Just look at the so-called sort example from the repo: def sort(list: List(T)): List(T) where Ord(T) = match list do [] -> [] [pivot | rest] -> sort(rest) end
- Beretta_Vexee 11mo ago> Perfect for : Trading systems, industrial control, Medical devices, aerospace applications Regulator, here is some code in an unknown and poorly documented language with no operational experience. The compiler was written using AI and no one has audited it. That seems like an excellent idea to me.
- sam-cop-vimes 11mo agohttps://cure-lang.org/examples/ https://cure-lang.org/examples/ gives a 404