Carl Mäsak

Just doing some drive-by commenting here, pointing out that macro hygiene will have a cross-cutting impact on modules and imports. Namely, if module A calls a macro in module B,...

> Pawel Murias points out that we can arrange things so that all modules are compiled first, and only later do we run all the compunits. This is a good...

> In short, access paths need to be a protocol. I've since also seen access paths being called "member access chains". I kind of like that. Not sure how married...

Somewhat in the manner of zombies, my old long-running issue threads have a way of laying dormant for long stretches of time, and then get up and assault me in...

Drive-by-commenting just to mention [Typing the Numeric Tower](https://www.ccs.neu.edu/home/stamourv/papers/numeric-tower.pdf), which seems to get most of its mileage out of (a) union types, (b) _ordered_ intersection types, and (c) refinement types.

> * There's also the question of how we allow `+=` but disallow `+==`. There's nothing wrong in principle with metaoperators acting twice; it's just in this case it doesn't...

There's also [this blog post](https://breadchris.com/blog/go-run/) praising the tip-of-the-iceberg utter simplicity of `go run main.go`. I want to take something away from that which can be easily summarized. Maybe it's simply...

> I think for the most part, you can start (and stay) with an existing option. PureScript used to use bower, and now uses npm, both of which were targeted...

[This post](https://alpopkes.com/posts/python/packaging_tools/) with an overview of Python environment management and packaging tools, makes me think. I guess the question for now is "how many of those five circles ought one...

Still much later thought: I actually wrote a loop like this in TypeScript. Let me start by pasting the whole function, showing the loop in its context: ```typescript export function...