Our great sponsors
|2 days ago||8 months ago|
|GNU General Public License v3.0 or later||MIT License|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Have you written your own language in itself yet?
3 projects | reddit.com/r/ProgrammingLanguages | 5 Feb 2023
Parts of Ecstasy are now implemented in Ecstasy. Here's the Lexer, for example.
Top programming languages created in the 2010's on GitHub by stars
6 projects | reddit.com/r/ProgrammingLanguages | 1 Feb 2023
What are you doing about async programming models? Best? Worst? Strengths? Weaknesses?
3 projects | reddit.com/r/ProgrammingLanguages | 7 Dec 2022
A Future reference has the various capabilities that you'd imagine, taking lambdas for thenDo(), whenComplete(), etc. The reference, in the above example, is a local variable, so you just obtain it using the C-style & operator:
October 2022 monthly "What are you working on?" thread
16 projects | reddit.com/r/ProgrammingLanguages | 2 Oct 2022
FWIW - here is the stage manager code that I referred to.
September 2022 monthly "What are you working on?" thread
10 projects | reddit.com/r/ProgrammingLanguages | 1 Sep 2022
Ecstasy (xtclang.org): Currently working on session management for a cloud-based HTTP back end. Not exactly compiler or language stuff, but it certainly is exercising the compiler and language.
Abstract Syntax Tree structure for variable definition
2 projects | reddit.com/r/ProgrammingLanguages | 1 Sep 2022
I prefer to make my AST nodes fairly rich, and let them do the brunt of the work themselves. Instead of the 5 lines of code above, the assignment statement node in Ecstasy is over 1000 LOC. But it handles everything from initial validation through the MLIR emission.2 projects | reddit.com/r/ProgrammingLanguages | 1 Sep 2022
No, not that specific project. It's our own Mid Level Intermediate Representation (or Mid Level Intermediate Language), aka MLIR/MLIL. Here's a snapshot of the operators.
Thoughts on building on a VM (in particular, .NET/CLR) but not "exposing" the underlying VM?
4 projects | reddit.com/r/ProgrammingLanguages | 20 Aug 2022
Ecstasy project on Github: https://github.com/xtclang/xvm
August 2022 monthly "What are you working on?" thread
21 projects | reddit.com/r/ProgrammingLanguages | 31 Jul 2022
Quite a few improvements in Ecstasy over the past month:
Any language with a 'self' type?
3 projects | reddit.com/r/ProgrammingLanguages | 22 Jul 2022
Early on, we had the This keyword, and its meaning was "this type". So if a method on class Collection was declared as This add(Element), it meant that the method returned the auto-narrowing type of this. We later changed it from This to Collection (or whatever the class name is) and added the Collection! (non-narrowing) form, because there were syntactic needs (e.g. inner and outer auto-narrowing class references) that could not be covered by This. We evaluated a few different options, and we liked (and still like) the result that we came up with. That said, I still wish we had a This keyword (see the 5th bullet point) for the "this type", but 🤷♂️.
The absurd complexity of server-side rendering
5 projects | news.ycombinator.com | 19 Apr 2022
It's still a long way from being complete, but I'm working on something like that. Eventual plans are to have good Rust library interop (e.g. bindings to hyper for http) while also being able to compile to Wasm (to run on an erlang-style distributed runtime / the browser). The language is currently interpreted, but one I get typechecking working, I should be able to merge in the Wasm codegen backend I'm working on (with eventual plans for LLVM). Current compiler has zero external dependencies.
Language itself could be described as a mix of OCaml, Scheme, and Lua. Currently working on the hygienic procedural macro system and system injection through algebraic effects.
I wrote a Cozy Programming language
6 projects | dev.to | 8 Nov 2021
Passerine was the next language i decided to try to fit onto paka, but alas this one too was eventually put aside for the time being.
Scripting Languages of the Future
9 projects | news.ycombinator.com | 7 Nov 2021
Tossing my hat in for Passerine . Gorgeous ML inspired syntax. Built for scripting Rust applications.
Dreaming here: Lua is a fantastic scripting language, but the Rust FFI isn’t as ergonomic as it could be. Enter Luster , which is basically LuaJIT rewritten in Rust.
Embedding a scripting language in a Rust application gives you tons of power (e.g. scripting Rust structs from Lua ), and setting this up isn’t terribly difficult.
4 projects | reddit.com/r/ProgrammingLanguages | 6 Jun 2021
Seed7 and https://github.com/vrtbl/passerine (and seemingly more as others have suggested) have direct / first-class support of syntax declaration/definition in a homoiconic way, as powerful as LISPs, but feels more "natural" compared to a LISP.
Achieving nullable ergonomics with a real optional type without special compiler privileges.
5 projects | reddit.com/r/ProgrammingLanguages | 30 May 2021
It used to work pretty well only if the core PL makes semicolons programmable, but given the development of effect systems, plus customizable syntax as in https://github.com/ThomasMertes/seed7 and https://github.com/vrtbl/passerine , I'd say, there are much more we can do about it.
Passerine: An extensible and expressive new programming language
3 projects | news.ycombinator.com | 21 Feb 2021
git clone https://github.com/vrtbl/passerine3 projects | news.ycombinator.com | 21 Feb 2021
I really like how this has zero dependencies 
What are some alternatives?
seed7 - Source code of Seed7
list-exp - Regular expression-like syntax for list operations [Moved to: https://github.com/phenax/elxr]
dapr - Dapr is a portable, event-driven, runtime for building distributed applications across cloud and edge.
dmd - dmd D Programming Language compiler
kuroko - Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.
TablaM - The practical relational programing language for data-oriented applications
ghc - Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
star - An experimental programming language that's made to be powerful, productive, and predictable
firefly-boot - Bootstrap compiler for Firefly