News for hackers. Stuff that matters.

A comment on Things I Was Wrong About: Types. Parent comment

Re:Things I Was Wrong About: Types by joe_the_user on Sunday September 27, 2020 @05:41PM (#24610350)
For many enterprises, getting code out the door is a key win. So in an idealist conception, maintainability, correctness and good design are everything. In the practical reality of today, these often have to take a back seat to speed of implementation.

What I'd like to see is a language that allows typeless programming to start but which is designed to allow the imposition of types at a later point.

[ Parent | on HN ]
Re:Things I Was Wrong About: Types by easton on Sunday September 27, 2020 @06:33PM (#24610720)
Python’s type hinting is specifically designed for this use case: https://docs.python.org/3/library/typing.html

Also, TypeScript is designed to work the same way, as it can coexist with untyped JavaScript code as you introduce it to the code base (it still has to run through a compiler, of course).

[ Parent | on HN ]