Indeed @ewolff: For the record: Yes, you can efficiently implement large system in dynamically typed languages.