orsinium, 2 months ago

@deshipu "Flat is better than nested" 😉 Besides, maybe I misunderstand you, but all typing-related stuff is already in a separate namespace: the "typing" module (and "collections.abc").

deshipu, 2 months ago

deleted_by_author

docRekd, 2 months ago

@deshipu @orsinium

You can do 'import typing as t' to put it in a separate namespace

deshipu, 2 months ago

deleted_by_author

docRekd, 2 months ago

@deshipu @orsinium So your problem is that, unlike some other programming languages like #Scala where you can have an object with the same name as a #type (and in fact Scala has some extra rules for implicits resolutions for companion objects), #Python types are essentially objects.
I think that is a feature, not a bug, as it allows to have #dependentType

deshipu, 2 months ago

deleted_by_author

docRekd, 2 months ago

@deshipu @orsinium
So the thing you're objecting is that they're run time objects.

There is advantage to that tradeoff: unlike with erased types like in #typescript #python can introspect its types and do all kind of interesting things like allowing https://docs.python.org/3/library/dataclasses.html to introspect they type of its fields and check them

deshipu, 2 months ago

deleted_by_author

docRekd, 2 months ago

@deshipu @orsinium Python doesn't have macros yet

https://peps.python.org/pep-0638/

deshipu, 2 months ago

deleted_by_author

docRekd, 2 months ago

@deshipu @orsinium Listen without neither type introspection nor macros how do you implement https://docs.python.org/3/library/dataclasses.html ?

deshipu, 2 months ago

deleted_by_author

docRekd, 2 months ago

@deshipu @orsinium

Ok man you might not want it but plenty of people want a simple "bag of dumb fields" syntax

Stop assuming that just because you might not want or need neither everyone else do

deshipu, 2 months ago

deleted_by_author

docRekd, 2 months ago

@deshipu @orsinium
Also dataclasses are not the only thing that consumes types at runtime and having a separate PEP for all of those would be unviable

docRekd, 2 months ago

@deshipu
Again don't assume everyone else shares your own engineering values

docRekd, 2 months ago

@deshipu @orsinium
Not really, dependent typing is all about making types first class citizens