Ask HN: New Programming Language?

This page summarizes the projects mentioned and recommended in the original post on

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
  • crystal

    The Crystal Programming Language

    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.

  • enso

    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. (

  • racket

    The Racket repository

    Racket ( 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

    🐝 Wasp : Wasm programming language (by pannous)

  • roast

    🦋 Raku test suite

    You might want to have a look at the Raku Programming Language ( 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'

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts