Matthew Flatt

Results 312 comments of Matthew Flatt

Based on a suggestion from @willghatch, `define-enforest` is now parameterized over the selection of names of implicit prefix and infix operators. This makes it less tied to shrubbery notation, although...

What if you switched the roles of `()` and `[]`, so that parentheses are used in most places and `[]` is for grouping? Or what if `{}` was used for...

I'm trying to figure out how essential it is to equate a group with one item and that item. It seems like the sort of representation choice that usually goes...

Thanks for the clarification. I can appreciate the goal of allowing parentheses to group without interfering with matching. I expected that kind of interference with shrubbery parentheses, but for what...

I like the idea of completely separating `{}` from block notation. The connection between `:` and `{}` was the main idea in tonyg's [racket-something](https://github.com/tonyg/racket-something), which was a starting point of...

The issue may be that the Racket `openssl` library currently consults only `/System/Library/Keychains/SystemRootCertificates.keychain`, and maybe it should also look at `/Library/Keychains/System.keychain` and `~/Library/Keychains/login.keychain-db`. You could try that by changing `collects/openssl/mzssl.rkt`...

Those on-demand menu updates are timing-sensitive. If something takes too long, then the update is abandoned — which is not great. If you see this often, then we should probably...

I worry about an implementation approach that involves changing the inlining heuristic. The test failure illustrates one kind of pitfall, although that sort of thing mostly happens to tests, which...

Defining `unbox` as a macro (instead of defining `inline:unbox`) seems like a good choice in this case. It appears that the implementation of `general-unbox` and `general-unsafe-unbox` could use the `unbox`...

That's what I had in mind, but maybe it doesn't apply to boxes, after all. The `do-impersonate-box` function does not use its `make-props-impersonator` argument.