News for hackers. Stuff that matters.

A comment on Python’s “type hints” are a bit of a disappointment to me. Parent comment

Re:Python’s “type hints” are a bit of a disappointment to me by int_19h on Friday April 22, 2022 @08:08PM (#31129847)
> What Pandas does is notoriously hard to fit into a compile-time type system.

Sounds a lot like F# type providers to me.

https://thesharperdev.com/introduction-to-fsharp-type-provid...

[ Parent | on HN ]
Re:Python’s “type hints” are a bit of a disappointment to me by bayesian_horse on Saturday April 23, 2022 @12:23AM (#31131373)
As I said, it is hard.

And good luck teaching beginning scientists F#.

[ Parent | on HN ]