Re: [racket-users] Typed Classes and this%

2016-02-19 Thread Matthias Felleisen
Axel, I tend to organize modules around classes so that I avoid the "Asumu pitfall": #lang typed/racket (define-type Polynome% (Class [init-field [a [Vectorof Real]]] [value (-> Real Real)] [derive (-> Polynome)])) (define-type Polynome (Instance Polynome%)) #; (type-out

Re: [racket-users] Typed Classes and this%

2016-02-19 Thread Asumu Takikawa
Hi Axel, On 2016-02-19 06:24:35 -0800, Axel Schnell wrote: > I'm just experimenting with typed classes in the typed/racket language.In my > first experiments I created a class called polynome% with a method derive. > The result of this method is new instance of this class via (new this% ...). >

[racket-users] Typed Classes and this%

2016-02-19 Thread Axel Schnell
I'm just experimenting with typed classes in the typed/racket language.In my first experiments I created a class called polynome% with a method derive. The result of this method is new instance of this class via (new this% ...). Unfortunately the drracket environment complained that it does not