bluebird
firefly-boot
Our great sponsors
bluebird | firefly-boot | |
---|---|---|
11 | 12 | |
25 | 48 | |
- | - | |
0.0 | 9.7 | |
over 1 year ago | 6 days ago | |
C++ | JavaScript | |
GNU Affero General Public License v3.0 | 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.
bluebird
-
Asking for opinions on the best way to specify an exclusive range in a for-loop
0 upto n and 0 thru n. I think I saw it in Bluebird first and really liked it.
-
Tips for implementing an AST
Instead of the classic visitor pattern, I found it easier to create a class that basically wraps a big switch statement that switches on an enum representing the kind of expression. You pass it an expression, and based on the enum returned by its kind() function you downcast the expression into the subclass you need. The code is here for reference. My AST code is here.
-
January 2022 monthly "What are you working on?" thread
I am working some again on my Ada-like language bluebird. I am making another attempt to use MLIR as an intermediate IR between the AST and LLVM IR (I made a brief attempt a few months ago just to look into it).
-
September 2021 monthly "What are you working on?" thread
I fworked some more towards adding pointers on my Ada-like programming language bluebird. I've finished adding pointer types and variables (as well as the operators for dereferencing/getting the address of objects), but I still need to add the ability to dereference and assign.
-
July 2021 monthly "What are you working on?" thread
I started to experiment with using MLIR to write a high-level IR for my language bluebird, which will hopefully reduce the work of implementing features I want to add such as generics and ranges, as well as allowing me to eventually write some optimizations. I am also considering rewriting my AST as an MLIR dialect, since MLIR provides a bunch of type-checking/error printing/support infrastructure.
-
June 2021 monthly "What are you working on?" thread
I continued implementing support for references (a restricted form of pointers) in my Ada-like language bluebird. I also am working on adding a cleanup pass between my parser/typechecker to handle stuff like type resolution of literals and constant folding.
-
May 2021 monthly "What are you working on?" thread
I didn’t add too many new features to my Ada-like language bluebird this month because of lots of projects/school stuff.
-
LLVM’s New Pass Manager
Here is a link to my optimizer pass setup for reference. This is just a simple optimization pipeline (I think clang has a setup where optimization stages are re-run multiple times to take advantage of inlining making more optimizations possible).
-
March 2021 monthly "What are you working on?" thread
I made some more progress on bluebird, my Ada-like language.
-
February 2021 monthly "What are you working on?" thread
I continued to make progress on the compiler for my Ada-inspired language bluebird. I will have less time to spend on it as classes began earlier last month, but I still hope to continue working on it. Things are getting to the point where adding a new feature isn’t as difficult as it was when doing so often meant writing the supporting code from nothing.
firefly-boot
-
What's the syntax of lambda expressions in your language?
Firefly, curly braces:
-
January 2022 monthly "What are you working on?" thread
I'm still working on Firefly, a language with first class capabilities.
-
Ask HN: Who Wants to Collaborate?
Since there's no other way for `deleteDirectory` to obtain capabilities than to recieve them as arguments, `deleteDirectory` only has access to the file system.
[1] https://github.com/Ahnfelt/firefly-boot/tree/master/compiler
-
Preventing Log4j with Capabilities
> Do you have more to share, like resources about capability-safe languages, or your ongoing work?
I can share an example from the main function of the [self hosting Firefly compiler](https://github.com/Ahnfelt/firefly-boot/tree/master/compiler):
main(system: System): Unit {
-
What are some simple but powerful compile-to-JS languages I might not know about, or that you are working on (not Elm, Reason, PureScript, or ClojureScript)?
I'm working on Firefly, which will compile to JS once bootstrapping is complete (almost there).
-
June 2021 monthly "What are you working on?" thread
Still working on typechecking Firefly with the help of a friend.
-
March 2021 monthly "What are you working on?" thread
Working on the type inference for Firefly. I don't have a lot of free time at the moment, so it's coming along slowly.
-
Alternative to monads for enforcing purity?
Firefly uses object capabilities for enforcing purity:
-
Generalizing Ruby block syntax in static languages with currying
In Firefly, this is done without macros:
-
February 2021 Monthly What Are You Working On
Firefly - self hosting, working on the type inference.
What are some alternatives?
starlight - JS engine in Rust
xvm - Ecstasy and XVM
Cwerg - The best C-like language that can be implemented in 10kLOC.
konna - A fast functional language based on two level type theory
durin - the Dependent Unboxed higher-oRder Intermediate Notation
cubiml-demo - A simple ML-like programming language with subtyping and full type inference.
pika - A WIP little dependently-typed systems language
Matrix - Easy-to-use Scientific Computing library in/for C++ available for Linux and Windows.
IntercalScript - The IntercalScript programming language