On Monday, 25 May 2015 02:43:58 UTC+10, Alex Knauth wrote: > Also opaque types might help you: > http://docs.racket-lang.org/ts-reference/special-forms.html#%28form._%28%28lib._typed-racket%2Fbase-env%2Fprims..rkt%29._require%2Ftyped%29%29 > http://docs.racket-lang.org/ts-reference/type-ref.html#%28form._%28%28lib._typed-racket%2Fbase-env%2Fbase-types-extra..rkt%29._.Opaque%29%29 > > If you wanted sub-typing too, then refinement types would help, except I > don’t think they work yet. > > An example of using them for radians and degrees:
Also many thanks for pointing this out. Stu -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
