Status?

[GildedHonour]

What's the status of the project?

[j14159]

Slow but not abandoned :smile:

In my limited spare time I've been mostly focused on trying to understand enough about first class module systems like 1ML for future Alpaca implementation and have been dabbling a little with Truffle/Graal.

[lpil]

Would love it if you could share any good pieces on 1ML, looks very interesting. :)

[j14159]

@lpil nothing beyond a few papers and books, tbh. Reading list (mostly) from this tweet:

• Types for module systems provided some rough underpinnings for me.
• Understanding and Evolving the ML Module System (thesis summary) for a little more colour.
• I found reading a bit of F-ing Modules helpful to frame 1ML a bit. I don't completely understand this but I think I get (or at least got) the main thrust. I should revisit.
• And then of course the expanded 1ML paper.

I've also been pairing all of the above with dipping in and out of Practical Foundations for Programming Languages.

To be clear: I don't understand all of the above yet 😆 I've got a long way to go still and I think there's some work to do syntax-wise to make the semantics clearer and more approachable for a larger section of our community. It's probably pretty grok-able for people with a lot of ML experience but that's never really been my main target/aim.

I don't have any work-related travel for the next while so might get enough of a stretch of time to attempt summarizing bits of it in the next month or two before implementing.

[lpil]

Thanks! :)