Remix clone Hacker News

new | show | ask | jobs Github

▲

Myrmornis 9 hours ago

Can you give some examples of how the Python type system is disappointing you?

▲

CJefferson 2 hours ago | parent | next [-]

Mainly, the seems to be no way, in a dynamic language, to dynamically check if functions get the right types.

To me, this means I don't really understand the python type hinting at all, as adding hints to just one or two functions provides no value to me at all.

I assume I must be not using them usefully, as I've tried adding type hints to some projects and they just seemed to do nothing useful.

	▲	patrickkidger an hour ago \| parent \| next [-]
		You want runtime typechecking. See either beartype [1] or typeguard [2]. And if you're doing any kind of array-based programming (JAX or not), then jaxtyping [3]. [1] https://github.com/beartype/beartype/ [2] https://github.com/agronholm/typeguard [3] https://github.com/patrick-kidger/jaxtyping
	▲	Spivak 2 hours ago \| parent \| prev \| next [-]
		Type hints alone don't do this, but you can use Pydantic to accomplish what you want. In Python type hints aren't enforced anywhere at runtime. They're for a type-checker to validate your source. https://docs.pydantic.dev/latest/concepts/validation_decorat...
	▲	zo1 17 minutes ago \| parent \| prev [-]
		How to tell me you use VScode without telling me you use VScode.

▲

colemannerd 2 hours ago | parent | prev [-]

default values! Since type hints are *hints*, it is difficult to set default values for complicated types. For instance, if you have lists, dicts, sets in the type signature, without a library like pydantic, it is difficult and non-standard. This becomes even more problematic when you start doing more complicated data structures. The configuration in this library starts to show the problems. https://koxudaxi.github.io/datamodel-code-generator/custom_t...

The issue very much is a lack of a standard for the entire language; rather than it not being possible.

	▲	alfons_foobar 2 hours ago \| parent [-]
		I might be dense, but I don't understand what that has to do with type hints... To my eyes, the problem of choosing useful defaults for complicated types/datastructures is independent of whether I add type hints for them. I think I am missing something...