What features would you want in a new programming language?

• letlang

  12 157 7.9 Rust

  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

• Pipefish

  36 138 9.4 Go

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

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• Deal

  9 690 6.4 Python

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

• koka

  31 3,040 9.8 Haskell

  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.

• mech

  5 200 7.0 Rust

  🦾 Main repository for the Mech programming language. Start here!

  

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

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project