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
-
I believe this is what Crystal [0] is trying to achieve. Though I’ve hardly used Ruby or Crystal, so can’t say how well it’s fairing on that goal.
-
Successor-ML
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
SuccessorML[1], 1ML[2], 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.
-
InfluxDB
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.
-
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/)
-
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).
-
-
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'
Related posts
- 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.
- Multiple namespaces?
- How Big Should a Programming Language Be?
- Whatever happened to Ruby?
- New video! 2022 in Programming Languages