Our great sponsors
- InfluxDB - Access the most powerful time series database as a service
- CodiumAI - TestGPT | Generating meaningful tests for busy devs
- SonarQube - Static code analysis for 29 languages.
- ONLYOFFICE ONLYOFFICE Docs — document collaboration in your environment
The Crystal Programming Language
I believe this is what Crystal  is trying to achieve. Though I’ve hardly used Ruby or Crystal, so can’t say how well it’s fairing on that goal.
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
SuccessorML, 1ML, etc. are pretty close to this in spirit. I've been trying to keep up with the publications around the future of ML, but academic research moves kinda slowly. I'm hopeful we'll see a new definition of Standard ML this decade. I'd tend to agree SML is a great choice -- SML-1997 is still ahead of many languages that came well after it in both features and usability.
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Hybrid visual and textual functional programming.
This really isn't what you asked for, but I discovered a "programming language" recently, named Enso, that seems like something you'd like. (https://enso.org/)
The Racket repository
Racket (https://racket-lang.org) has quite a lot of mathematics support (rationals as ratios, imaginary numbers, exponentiation, implicit integer->float coercion), and comes with a dedicated IDE, although it's a lisp, and I don't know if you'd like that (I certainly do).
🐝 Wasp : Wasm programming language (by pannous)
🦋 Raku test suite
You might want to have a look at the Raku Programming Language (https://raku.org). It doesn't parallelize automatically, but only if you hint at it being ok, or if you are explicit (in this case using the `.hyper` method):
The millionth prime number using 1 CPU:
$ raku -e 'say (1..Inf).grep(*.is-prime).skip(999999).head'
I created a fast, safe and powerful pythonic language which aims allow you to create simple scripts to complex systems in a code easier to read, write and maintain than other system languages with the same purpose. It's free and opensource.
4 projects | reddit.com/r/coding | 28 Apr 2023
2 projects | reddit.com/r/ProgrammingLanguages | 15 Apr 2023
How Big Should a Programming Language Be?
2 projects | reddit.com/r/ProgrammingLanguages | 23 Mar 2023
Whatever happened to Ruby?
7 projects | reddit.com/r/ruby | 21 Feb 2023
New video! 2022 in Programming Languages
8 projects | reddit.com/r/contextfree | 28 Jan 2023