Isaac Clayton

Results 67 comments of Isaac Clayton

We're one step closer - there was an issue with passerine/aspen (see https://github.com/rust-build/rust-build.action/issues/2) - but now that that has been (hopefully) resolved, binaries should be built. We'll test it out...

We'll test out this action on the next release, which should be soon. @siraben has also been working on packaging `aspen` for nixpkg.

@siraben Great! Thanks for your work on this! I'll resolve the tag-version conflict in the next release.

Here are the package managers I think are a good subset to start. If you're familiar w/ packaging on these systems or would like to contribute packages for another one,...

In addition to scoping variables, we also need to scope macros and type definitions. This will be interesting.

This is happening in the `big-refactor` branch.

Another way to do types macros is to leverage a two-level lambda calculus with a kind-based macro system. I'll give Unseemly a look, I wonder if its using a similar...

> First and foremost, errors derived from macro expansion or ill-typed expressions can be reported in the same way the user sees them (that is, with the original source location...

Cool! Let me know if you run into any roadblocks that you need me to resolve :)

Thanks for taking the time to put this in! Aside from hoisting, we need to document the semantics of mutability and immutability in Passerine, especially the concept of 'local mutability.'...