News for hackers. Stuff that matters.

A comment on SPy: An interpreter and compiler for a fast statically typed variant of Python. Parent comment

Re:SPy: An interpreter and compiler for a fast statically ty... by rurban on Wednesday November 05, 2025 @08:01AM (#45822398)
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!

[ Parent | on HN ]
Re:SPy: An interpreter and compiler for a fast statically ty... by setopt on Wednesday November 05, 2025 @08:30AM (#45822617)
> A type is a contract, not a hint!

In Python it is a hint.

[ Parent | on HN ]
Re:SPy: An interpreter and compiler for a fast statically ty... by rurban on Wednesday November 05, 2025 @08:40AM (#45822709)
Exactly. That was their worst mistake ever
[ Parent | on HN ]
Re:SPy: An interpreter and compiler for a fast statically ty... by setopt on Wednesday November 05, 2025 @02:28PM (#45826813)
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.
[ Parent | on HN ]
Re:SPy: An interpreter and compiler for a fast statically ty... by almostgotcaught on Thursday November 06, 2025 @01:13AM (#45832039)
Never gonna happen - the fundamental premise of the language is duck typing.
[ Parent | on HN ]
Re:SPy: An interpreter and compiler for a fast statically ty... by setopt on Thursday November 06, 2025 @04:51AM (#45833356)
Either you add type hints to your function and should expect it to be type checked, or you don’t add type hints and remain free to use duck typing as you want.

But not receiving as much as a warning when you violate type hints is the worst of both worlds.

Duck typing isn’t completely incompatible with type checking btw. Haskells type classes are an elegant solution to that, for example.

[ Parent | on HN ]
Re:SPy: An interpreter and compiler for a fast statically ty... by sevensor on Thursday November 06, 2025 @05:17AM (#45833538)
Python protocols work great for duck typing as well. You can specify exactly how an object has to quack without constraining it to an avian family tree.
[ Parent | on HN ]