>From the compiler perspective the whole world (except some statically inferrable parts around literal integer) is untyped. The typing will only be used for checking the software contract (currently nothing is checked).
The whole parser/compiler except for some glue code is developed in typed Smalltalk. This (wholly typed) part is translated to java source; here we use the typing information to satisfy the java translation. Cheers, Wouter On Monday, December 23, 2013 8:11:23 AM UTC+1, Simon Ochsenreither wrote: > > Yes, thanks for the hints! > > How did you design/implement optional typing, especially the border > between types and untyped parts of the program/library? > -- You received this message because you are subscribed to the Google Groups "JVM Languages" group. To unsubscribe from this group and stop receiving emails from it, send an email to jvm-languages+unsubscr...@googlegroups.com. To post to this group, send email to jvm-languages@googlegroups.com. Visit this group at http://groups.google.com/group/jvm-languages. For more options, visit https://groups.google.com/groups/opt_out.
