Let's collect relatively new research programming languages in this thread

1. koka

   1 33 3,493 9.5 Haskell

   Koka language compiler and interpreter

   

   Koka, already cited in this thread, early 2010s. Koka's first claim to fame was a usable effect system (at the type were, basically, effect systems were not usable in practice; in fact few languages have managed to do as well as Koka since). Now its author is working on cool implementation strategies for functional languages as well.

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. HVM

   2 114 11,003 9.5 Cuda

   A massively parallel, optimal functional runtime in Rust

   

   Sure. Sorry I should have linked this before, but I was on mobile. Here you go: https://github.com/Kindelia/HVM/issues/44

4. hylo

   3 60 1,342 9.2 Swift

   The Hylo programming language

   

   I’m a big fan of Val. The value semantics model of Swift is really amazing when you use it, and Val just focuses only on this model. It’s like a cross between functional and imperative programming, and feels great.

5. koika

   4 2 153 0.0 Coq

   A core language for rule-based hardware design 🦑

   

   https://github.com/koka-lang/koka Algebraic effects and reference counting. https://github.com/mit-plv/koika hardware description DSL for coq

6. Vale

   5 67 1,882 6.3 Scala

   Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

   

   We're working on adding a more user-friendly borrow checker in Vale (https://vale.dev), ehich I'm pretty excited about. Here's a draft/preview about it I aim to post later today or tomorrow: https://verdagon.dev/blog/zero-cost-memory-safety-regions-overview

7. jasmin

   6 3 292 9.5 Coq

   Language for high-assurance and high-speed cryptography (by jasmin-lang)

   

   Jasmin, late 2010s, a language designed to be lower-level than C and provide good low-level control for cryptographic code. Basically a new take on "C as a high-level assembly language", with formal semantics etc. I suspect that this design space is rather close to "a good language to use as a compiler backend", but I think this would require changes to Jasmin and no one is working on that as far as I know.

8. cogent

   7 4 164 2.1 Isabelle

   Cogent Project

   

   Cogent, late 2010s, a language with linear types for verification. The idea is that you write functional-looking code that is easy to verify using the functional semantics, but with an efficient compilation strategy enabled by linear types to get realistic system programs.

9. SaaSHub

   www.saashub.com featured

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

   

10. awesome-programming-languages

    8 10 700 7.0 Markdown

    The list of awesome programming languages that you might be interested in.

    

    Behold - the list of 303 languages - from old to new, from mainstream to super obscure. Last updated 4 days ago.

11. futhark

    9 56 2,519 9.7 Haskell

    :boom::computer::boom: A data-parallel functional programming language

    

    https://futhark-lang.org/ High-performance purely functional data-parallel array programming

12. effekt

    10 13 356 9.8 Scala

    A language with lexical effect handlers and lightweight effect polymorphism

    

    https://effekt-lang.org/ A research language with effect handlers and lightweight effect polymorphism

13. karamel

    11 2 445 9.6 OCaml

    KaRaMeL is a tool for extracting low-level F* programs to readable C code

    

    Jasmin and F* don't have similar goals, Jasmin is a language designed to precisely express low-level code, while F* is a generalist language for verified programming. There is a subsystem of F* that performs extraction to "readable C code", Karamel (used to be called Kremlin), but you get the usual limitations of C code as a high-level assembler, and also an embedded assembly layer built on Vale. Project Everest therefore generates artifacts that are a mix of C and assembly, rather than a new low-level language design as Jasmin.

14. hacl-star

    12 10 1,751 9.5 F*

    HACL*, a formally verified cryptographic library written in F*

    

    Jasmin and F* don't have similar goals, Jasmin is a language designed to precisely express low-level code, while F* is a generalist language for verified programming. There is a subsystem of F* that performs extraction to "readable C code", Karamel (used to be called Kremlin), but you get the usual limitations of C code as a high-level assembler, and also an embedded assembly layer built on Vale. Project Everest therefore generates artifacts that are a mix of C and assembly, rather than a new low-level language design as Jasmin.

15. usuba

    13 1 56 3.5 C

    A programming language to write bitsliced ciphers

    

    Usuba, a domain-specific language for writing efficient "bit-sliced" cryptographic code. (Jasmin is a low-level language for fine-grained performance control, which was motivated by the needs of cryptographic routines, but its design is not crypto-specific. Usuba is a domain-specific language for cryptography.)

16. datafun

    14 3 394 10.0 TeX

    Research on integrating datalog & lambda calculus via monotonicity types

    

    Datafun, a take on a "higher-order" (functional) extension of Datalog.

17. ponyc

    15 66 5,858 9.6 C

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

    

    Surprised you didn't mention Pony :)

18. cubicaltt

    16 3 575 2.3 Haskell

    Experimental implementation of Cubical Type Theory

    

    - cubicialtt a programming language based on cubical type theory in which univalence from homotopy type theory isn't an axiom but a theorem

19. SaaSHub

    www.saashub.com featured

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

    

Suggest a related project