Ha nem programozó nevelése a cél, akkor az erős típusosság erőltetése szerintem teljesen felesleges. Ezért pl. a Python tökéletes induló nyelvnek, amint azt sokan már javasolták is. Egy régi írás a témában: http://mcsp.wartburg.edu/zelle/python/python-first.html