Giusto per completare, uno dei modelli migliori di programmazione ad oggetti fortemente tipizzata è a mio parere quello offerto da Eiffel.