[racket] Defining a typed language

Konrad, I am surprised you want to remove contracts from Typed-Untyped boundaries given your history of praising types on this mailing list. But yes, you're on the right track. 


On Oct 2, 2014, at 1:18 AM, Konrad Hinsen <konrad.hinsen at fastmail.net> wrote:

> Konrad Hinsen writes:
> 
>> Then, a module that uses it:
>> 
>>   #lang s-exp "my-typed-lang.rkt"
>> 
>>   (define-foo x)
> 
> After a closer look at the language definition mechanism, I came to the
> conclusion that the language here is actually "s-exp", with my module
> merely providing the initial bindings.
> 
> So what I seem to need is typed/s-exp, but that doesn't exist. How
> would I go about writing this myself? The implementation of s-exp
> is simple enough, but I don't see anything in there that says if it's
> a typed or an untyped language.
> 
> Konrad.
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users