Re: [racket-users] noob question: generic interfaces & classes

2017-06-25 Thread Alex Knauth
> On Jun 25, 2017, at 12:25 PM, Matthew Butterick wrote: > > How does one attach a generic interface to a class? > > `class*` allows one to attach an `interface` [2] (in the class sense of that > term, which I understand is separate from that of "generic interface"). > > Then the docs for `i

[racket-users] noob question: generic interfaces & classes

2017-06-25 Thread Matthew Butterick
How does one attach a generic interface to a class? `class*` allows one to attach an `interface` [2] (in the class sense of that term, which I understand is separate from that of "generic interface"). Then the docs for `interface*` show an example attaching the `prop:custom-write` property. [3