Our great sponsors
|3 days ago||3 months ago|
|GNU General Public License v3.0 or later||Apache License 2.0|
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 🤷♂️.
Language Design: Against Mixed-cased Type Names
2 projects | reddit.com/r/ProgrammingLanguages | 5 Jun 2022
This is actually done by several bootstrapped languages, such as Crystal, Nim, Raku, and even my own language Star
Your language's favorite MINOR feature?
2 projects | reddit.com/r/ProgrammingLanguages | 24 Mar 2022
In Star, commas and newlines are analogous everywhere, even inside array literals. This actually solves the issue of trailing commas by not needing commas at all
Building a new .NET language, doing to C# what Kotlin did to Java
3 projects | reddit.com/r/ProgrammingLanguages | 19 Feb 2022
I really like Nemerle's OOP+FP hybrid model, and I've taken a lot of it to heart while designing my language Star, which is similar in spirit.
Is there a language with structural type constraints for variants and records?
3 projects | reddit.com/r/ProgrammingLanguages | 4 Dec 2021
It's currently a work-in-progress, mainly due to subtyping issues with generics (which I'm honestly too lazy to fix rn, focusing on other stuff first). the code is located here, although be aware that it's a bit messy lol3 projects | reddit.com/r/ProgrammingLanguages | 4 Dec 2021
My language Star has this (excluding full type inference, as method signatures require type annotations for stuff), both for structural types and variants (which I don't cover in my docs, but there's an example here. Extensible variants are also supported via nominal subtyping, and they also combine the properties of sum types with product types as they can have instance fields (along with other class behaviors)
November 2021 monthly "What are you working on?" thread
13 projects | reddit.com/r/ProgrammingLanguages | 1 Nov 2021
Making lots of progress on Star's typechecker, which has been very difficult due to its expansive type system. Although still not completely finished or useable, it does at least work a bit. Currently need to implement type variable expansion/substitution, "lazy" type refinement (because I have no clue what else to call it), and some basic support for existentials
2 projects | reddit.com/r/ProgrammingLanguages | 25 Oct 2021
I think this is referred to as partial or lazy initialization. I have this feature in my own language Star (which us null-safe), but I don't have an actual null literal for this purpose
Typechecking new type system features
2 projects | reddit.com/r/types | 7 Sep 2021
Hello, I'm the developer of the Star programming language, and I have some questions about how to typecheck several new/uncommon features that it has, and looking for feedback on it in general.
Why are you building a programming language?
16 projects | reddit.com/r/ProgrammingLanguages | 5 Sep 2021
I'm working on Star because there are no languages that push the limits of what can be done by mixing OOP and FP ideas , features, and type systems.
Is Haxe good for writing compilers?
2 projects | reddit.com/r/haxe | 27 Aug 2021
Funny you should mention it, I've actually been writing Star's base compiler in Haxe. I'm also writing my Red.js project in Haxe, although it's more of an interpreter than a compiler
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]
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).
starlight - JS engine in Rust
Yoakke - A collection of libraries for implementing compilers in .NET.
passerine - A small extensible programming language designed for concise expression with little code.
konna - A fast functional language based on two level type theory
gaiman - Gaiman: Text based game engine and programming language