History of notes-computer-jasper-typeSystem
2014-06-28
01:26 UTC
Revision 1
. . . .
BayleShanks
–
if a variable can have many interface types (predicates? attribute types?), then need to decide at some point how much inference the compiler will do . . .
![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
