Matthew Flatt

Results 280 comments of Matthew Flatt

The `distro-build` approach starts from sources, including the C sources for the runtime system, so it needs a C compiler. Currently, `distro-build` can cross-compile for Windows using MinGW. I don't...

The function and macro examples don't have a `;` after the body. Was there meant to be one, or have I misunderstood the grammar/intent?

I'm having trouble understanding the intent here. The intended way for information to be local is to use a tag prefix on a part, so that the information is available...

Thanks for the explanation. I had forgotten about traverse versus collect and how the traverse pass is meant to be global and involve a fixpoint in a way that doesn't...

Ok, I think I understand why more context is useful during the traverse pass. I'm not convinced that `#:local` is the right way to go, though. It seems like a...

The difference is not so dramatic on my machine, but I do see a difference: ~206 seconds versus ~240 seconds. And on my machine, the difference seems to be specifically...

@LiberalArtist: I think that would likely work well for `prop:equal+hash` and `prop:procedure`, and maybe there would be an advantage of having a field for properties instead of going through the...

I tried subtyping `#!base-rtd` and soon ran into a problem I had forgotten about: Chez Scheme wants rtds to be faslable, so properties or procedure values can't be in immediate...

I tried writing the sapling demo with just `=>` and `|` (so, no special `=` or `:` or `&` as line starters or enders), and I think it's probably a...

Opinions will certainly vary, but I'd like to stop having to explain how identifiers in my favorite language have an usual syntax. So, for me, no `?` or `!` in...