Which can include type assertions but also a lot more. The agents seem to do well with this. I've also had good results using agents to write Crystal https://crystal-lang.org/ which is Ruby-like but does have the static types and produces blazing fast static binaries. Might be a sweet spot for coding agents if you're building some backend services. But I'd still pick Ruby on Rails for a new full stack project. - Source: Hacker News / 2 months ago

Sounds a lot like Crystal, which is also similar to Ruby and features a green fiber runtime: https://crystal-lang.org/#concurrency. - Source: Hacker News / 3 months ago

> 1. Go with a better type system. A compiled language, that has sum types, no-nil, and generics. I was looking for something like that and eventually found Crystal (https://crystal-lang.org) as a closest match: LLVM compiled, strong static typing with explicit nulls and very good type inference, stackfull coroutines, channels etc. - Source: Hacker News / 5 months ago

Wondering why https://crystal-lang.org/ hasn't been mentioned in the comments. - Source: Hacker News / 8 months ago

> What kind of code snippets could you suggest? Anything really! Some websites that do this currently: https://ziglang.org, https://crystal-lang.org and https://www.ruby-lang.org/en > I have a comparison table mentioning features Yes - I did see this in the README. Maybe worth adding it, or something similar to the website. - Source: Hacker News / 9 months ago

There is of course a FOSS rewrite https://mathics.org. - Source: Hacker News / 8 months ago

If you know Mathematica syntax, you could also try Mathics: https://mathics.org. - Source: Hacker News / about 1 year ago

I applaud calling the language Mathematica, despite Stephen Mathematica's attempts to rename it a couple of years ago. See also: https://mathics.org/ It's a more mature and complete reimplementation of Mathematica, though still miles behind the original. - Source: Hacker News / almost 2 years ago

Mathis is an open source clone of Mathematica. https://mathics.org/ Naturally, Wolfram hired the creator and the project nearly died. A couple of heroes stepped in to create a second generation, but it's just too hard to continually compete with a multi-billion dollar company. No idea how OEIS is involved. - Source: Hacker News / almost 2 years ago

There's Mathics, a subset of the language implemented in Python, but unfortunately after the main author of that was hired by Wolfram, the project seems to have basically died. Still fun for what it is. https://mathics.org/. - Source: Hacker News / over 2 years ago