[plt-scheme] Re: plt-scheme type of language

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sun Dec 13 17:55:28 EST 2009

> What sound type system is this?  The one where everything has the type
> "binary gibberish"?

Close.  It is the one where the type is its bit length.  I believe
this implicit type system does better than "gibberish" -- I believe it
can predict the right bit-length -- but I may be forgetting some
details, and anyway there are casts.


Posted on the users mailing list.