| 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. Shriram
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}