Ross Angle

> there wasn't really any way to change existing APIs to _stop_ using classes and units Interesting, that's been a concern I've had about generic interfaces, a concern which I...

There were a lot of different topics about class systems discussed today in [the Rhombus meeting](https://github.com/racket/rhombus-prototype/discussions/180#discussioncomment-2479946). One of the topics was how to harmonize the approaches (i.e., this topic). In...

Contracts often end with `/c` with the exception of those that end with `of` or begin with `->`. Functions that process values of a certain type usually have names that...

> `eq?` interferes with optimizations because it exposes pointer identities, so you cannot, for example, create copies of immutable objects. Similarly, it interferes with providing safety because you can tell...

I didn't think to report this as an outright bug, because I don't think there's much that can be done about this without breaking backwards compatibility, but addressing nested combinations...

I just noticed an odd interaction with transformer bindings. I've edited the OP to add this in at the end.

Having thought about this some more, I think the current behavior is more or less ideal. In the top level, variables that are unbound, that have top-level bindings, or that...

Thanks very much for the history. This, #3975, and #3976 were the result of poking around trying to finally understand `#%top` well enough to decide how it should behave if...

(Turns out the list in my previous comment had some wonky formatting, so I fixed that up.) This design looks conceptually consistent to me. Now `#%top` does only what it...

Is it all right if I close this one up? I think we've had our conversation about it. :)