I did a similar project, a typed perl. cperl. I could import most the modules, and did add types to some of the important modules. Eg testing was 2x faster. I needed typing patches for about 10% for most CPAN packages.

A type is a contract, not a hint!

▲

setopt 19 hours ago | parent [-]

> A type is a contract, not a hint!

In Python it is a hint.

▲

rurban 19 hours ago | parent [-]

Exactly. That was their worst mistake ever

▲

setopt 13 hours ago | parent [-]

I agree. I use Beartype to get runtime type checks, but it shouldn’t be necessary. Some support for type checking, whether at byte compile time or runtime, should land upstream.

	▲	almostgotcaught 3 hours ago \| parent [-]
		Never gonna happen - the fundamental premise of the language is duck typing.