Viewing profile — adamthekiwi99

That's right! I think it's a good balance between giving the typechecker the info it needs, but also being flexible in how you can supply it!

Hello, thanks for the great question! Yes, you do have to specify where a variant comes from, but it doesn't have to be nominal at all! Here's an example: ``` enum Option {Some(T),…

I'll have to check it out and reimplement it's good features for THIS Sage hahaha

How long until we enumerate all the herbs?!?!?!?!?! The pantry's almost empty!!!

My major constraint is just that the name must lend itself well to artistic representations and fun mottos/slogans hahaha! I love these suggestions, especially Moss and Ivy! Thank …

Hahaha I doubt there's an English word left!!!

Thanks for the great question, and for checking out the project! This project started out because I noticed some really interesting properties about compiling brainfuck-like progra…

I like it! And if that's trademarked too I could always fall back on "spearmint" instead haha

Thanks so much! I originally added it to experiment with the structural typing -- the type system is a really cool foundation for some awesome future stuff! Thanks for checking out…

Thank you!! Sage will eventually change its name (I just recently found out about this), but I haven't had time to come up with a good replacement name and make art + quippy saying…

Hello, yes, I'll go back and add some text examples as well. (I didn't like how GitHub does syntax highlighting though :/) I put all the example programs in text on the web-demo, t…

Right now, memory is managed like C or C++, but I intend to implement lifetimes in the frontend eventually. But definitely no garbage collection (although, a target could implement…

Sage is a Rust-like programming language built on a brainfuck-inspired VM with LLVM-like properties. https://github.com/adam-mcdaniel/sage Check out the web-demo to run the compile…