I think that a statically typed language with Type-Inference gives us the best of both worlds: the strong type safety of static typing, and the better expressiveness and productivity of dynamic typing.
Type-Inference: - Increases the expressive density of the language (allows you to get the same thing done with less code and increased readability). - Makes internal/embedded DSLs feasible
In my opinion, these factors lead to increased expressiveness and productivity.
And we get to retain all the benefits of static type safety (including the availability of compile-time type information - which allows IDEs to provide powerful capabilities).
Flat View: This topic has 370 replies
on 371 pages
[
«
|
181920212223242526
|
»
]
Previous Topic
