What features would you want in a new programming language?

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

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. letlang

    Functional language with a powerful type system.

    I'm working on a programming language inspired by erlang and which compiles to Rust: https://letlang.dev

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. Pipefish

    Source code for the Pipefish programming language

    I meant the lang I'm writing. (This being r/ProgrammingLanguages, when people say "my lang" that's what they're going to mean. We're cooking the future here, my friend.)

  4. Deal

    🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

    I started using a design by contract library for a Python project this year and it made my code safer and easier to use.

  5. koka

    Koka language compiler and interpreter

    It also offers a great Inversion of Control mechanism where everything is customisable, and, unlike Capability Objects, AESs also offer compatibility with type inference (you can pass functions doing IO to map, and it Just Works(TM)) and first-class control over stack frames (because really a continuation function is just some stack frames, which you can manually move to the heap if you want a closure; which means async is an effect!). It also is composable in ways Monads are not.

  6. mech

    🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!

    You should take a look at the language I’m developing, Mech: https://github.com/mech-lang/mech

  7. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
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

  • The Jank Programming Language

    1 project | news.ycombinator.com | 9 Feb 2025
  • Jank: A native Clojure dialect hosted on LLVM with C++ interop

    1 project | news.ycombinator.com | 2 Feb 2025
  • The jank programming language: Dialect of Clojure compiled to LLVM

    1 project | news.ycombinator.com | 29 Jan 2025
  • Doing Hard Things While Living Life: Why We Built Vade Studio in Clojure

    1 project | news.ycombinator.com | 11 Jan 2025
  • Jank programming language: Clojure/LLVM/C++

    1 project | news.ycombinator.com | 4 Dec 2024

Did you know that Rust is
the 5th most popular programming language
based on number of references?