aith
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions. (by Superstar64)
rakudo
🦋 Rakudo – Raku on MoarVM, JVM, and JS (by rakudo)
aith | rakudo | |
---|---|---|
5 | 55 | |
60 | 1,698 | |
- | 0.2% | |
6.8 | 9.9 | |
3 months ago | 6 days ago | |
Haskell | Raku | |
GNU General Public License v3.0 only | Artistic License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
aith
Posts with mentions or reviews of aith.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-02-10.
-
Kinds and Higher order types use cases?
As for uses of kinds in general, I'm using them a lot in Aith. Except that, instead of using higher kinds I'm parameterizing my Type to allow for fancier classification then just "this is a type". I'm using kinds for
-
Why is there no simple C-like functional programming language?
Aith is another new one.
-
Resources to build an interpreter or PL in Haskell?
https://github.com/Superstar64/aith is also an interesting language, with substructural typing. The creator is also in the discord server if you have any questions
-
Type Annotation Decoration and Avoiding Regeneralization
In Aith after doing hindley milner type checking, I want to annotate my ast with type annotations for several reasons:
-
How do you typecheck a macro?
It depends on how powerful you want your macros to be. In aith, my macros are just a compile time lambda calculus. My macros can only generate values or other macros, this limits them to being no more powerful then what you can normally do with functions but it (will when my language is usable) let me write code that I know will be inlined and edsls that compile into fast code. With these limitations I can completely type check macros ahead of time (because they are just like funcitons) and I can also use my kind system to prevent macro types from leaking out into normal ones.
rakudo
Posts with mentions or reviews of rakudo.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-03-07.
-
Stability
Fix IO::Path::parent #4795: merged 2022-02-19 Add more IO::Path::parent tests #801: merged 2022-02-19 Change parent to always just remove the last element #4800: merged 2022-02-26 Change .parent behavior to "stupid" resolving #802: merged 2022-02-26
-
Moving printf formats forward
This then became the Formatter class. And since this was a completely new feature, it only became available for use by opting into the 6.e.PREVIEW language version. And then it went largely unnoticed and uncared for the next 1.5 year. As clearly the time wasn't right for it yet.
-
Shaking the RakuAST Tree
The intended audience are those people willing to be early adopters of these exciting new features in the Raku Programming Language. The examples in this blog post will work in the next release of the Rakudo compiler (probably 2023.06), but are now already available in the bleeding edge version.
-
So why is there RakuAST in the first place?
If you really want to look at this, you can find the code in src/Perl6/Grammar.nqp, src/Perl6/Actions.nqp and src/Perl6/World.nqp.
-
A practical example of RakuAST
If you find this very interesting, you probably want to read the RakuAST README. And the actual source code of the RakuAST classes can be found in the same directory. And if you're really feeling adventurous and you have the Rakudo repository checked out, you can have a look at the generated NQP code in gen/moar/ast.nqp.
-
RakuAST for Early Adopters
Yes, it would. But until there was RakuAST, that was virtually impossible to do because there was no proper API for building ASTs. Nor was there an interface to execute those ASTs. And now that there is RakuAST, it is actually possible to do this. And there is actually already an implementation of that idea in the new Formatter class. Although this is definitely not intended as an entry point into grokking RakuAST.
-
What explains this difference in behavior?
I have opened one. https://github.com/rakudo/rakudo/issues/5205.
-
Why isn't sign() defined for Complex numbers?
Will Coleda has made a Pull Request
-
Building Rakudo on JVM backend fails: guarantee(requested_word_size <= chunklevel::MAX_CHUNK_WORD_SIZE) failed: Requested size too large (561049) - max allowed size per allocation is 524288
There's an issue pertaining to this. This is something I'd like to resolve, but I'm unsure on how to better debug this to see if it really is the deserialization of a setting file triggering it. JDK 11 should at least be capable of building Rakudo, but being an experimental backend people don't always align with MoarVM immediately, I can't make any guarantees about tests. You may be disappointed in its performance at the moment.
-
Resources and advice
(NB. While the PL is just a toy (and just a tiny bit of the toy too), the tech is actually industrial strength, used to power the production Raku compiler, which is written in Raku using its grammar construct. Starting easy doesn't mean you can't go far. Quite the opposite in fact -- you can go as far as you want.)
What are some alternatives?
When comparing aith and rakudo you can also consider the following projects:
unseemly - Macros have types!
instaparse
klister - an implementation of stuck macros
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
besm - Resurrecting PP-BESM
enso - Hybrid visual and textual functional programming.
hackett - WIP implementation of a Haskell-like Lisp in Racket
perl5 - 🐪 The Perl programming language
mal - mal - Make a Lisp
roast - 🦋 Raku test suite
LinearML - Functional language for parallel programming
langs