Our great sponsors
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
Source code for the Charm programming language (by tim-hardcastle)
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.)
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.
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 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.
🦾 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
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
[2022 Day 1-7] Going for 1 language per day, looking good so far
7 projects | reddit.com/r/adventofcode | 8 Dec 2022
Let's collect relatively new research programming languages in this thread
19 projects | reddit.com/r/ProgrammingLanguages | 15 Nov 2022
jank programming language - Clojure/LLVM/Gradual Typing
1 project | reddit.com/r/razmjenavjestina | 22 Aug 2022
On Data and Objects
2 projects | dev.to | 21 Aug 2022
Jank语言。LLVM托管的Clojure (The Jank Language: LLVM Hosted Clojure)
1 project | reddit.com/r/hnzh | 17 Aug 2022