Hola
Si el Squeak no se apega a los estándares el Strongtalk ni hablar!! No se apega al lenguaje!! :)
Ojo, que se controlen tipos no cambia el lenguaje, Smalltalk es fuertemente tipado y dinamicamente tipado. Que se provean herramientas para acotar lo dinamico del tipado ya sea resolviendolo a la Strongtalk (que no se como es) o via inferencia como otros proponen (con casos concretos que ya corren sobre Squeak) no le quita lo dinamico, y de ninguna manera modifica el lenguaje.
Lo de los standares... que standares? que parte? en que porcentaje? lo vale?
Por lo que entendi, se esta intentando aprovechar las ventajas tanto en velocidad como en diseño que ya presenta la vm de Strongtalk. Pero con la mente abierta a que ya hay aproximaciones en esta tematica que ya corren sobre (o por de bajo) de Squeak.
Tambien hay gente tentada de sumar la posibilidad de chequeo estatico de tipos, con las mismas salvedades de la vm, ya hay posibilidades de controlar tipos en squeak.
Saludos
Emilio
Sin conexión 
Enviar correo