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
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% ...).
>
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
3 matches
Mail list logo