undefined | Better HN

0 pointsdavidatbu3y ago0 comments

> I genuinely think I like types in python better than TS!

That's a step further than I'm willing to go :D. For example, the other day, I was able to do

    settingToToggle: KeysWithTypeOf<SomeObject, boolean>

which (after properly defining `KeysWithTypeOf`) allowed me to specify that `settingToToggle` should be a string literal that is a key on `SomeObject` whose corresponding value is a boolean.

Typescript comes closest to fully letting me express my intentions statically and curtly, and while I hope Python's static typing will grow to be as expressive as Typescript, I think that day is still afar off.

0 comments

cdrini3y ago

For me the remaining pieces for Python are much more attainable than the missing pieces for typescript. I think basically all the helper TS things (eg KeyOf, etc) are addable to Python. Runtime types are not addable to TS. It goes against some of the core principles of TS.

But I agree there are loads of missing features in Python :)

davidatbuOP3y ago

You might be (very) interested in this project then: https://deepkit.io/

The guy behind it made a PR to typescript proposing runtime availability of types[0], got rejected, and got going on it by himself. And he already has PoC libraries with the (early) equivalents of Pydantic/FastAPI/SQLModel (using runtime types for (de)serialization).

I really hope this experiment works out and that it gains traction, because it's a massive value add to TS IMO.

[0] https://github.com/microsoft/TypeScript/issues/47658

cdrini3y ago

Oh wow! You are correct, I am very interested in it! Thanks for sharing! Honestly on most of my personal projects, I only use typescript via the jsdoc interface. I just never felt the need to get to 100% type safety for most projects. And I never liked how the types lend themselves to a style of programming which typescript can't support due to lack of runtime typing (eg multiple dispatch, function overloading, serialisation, etc). This project looks very cool, and shifts those tradeoffs for me! I'm going to need to give it a whirl!

j / k navigate · click thread line to collapse

0 pointsdavidatbu3y ago0 comments

> I genuinely think I like types in python better than TS!

That's a step further than I'm willing to go :D. For example, the other day, I was able to do

    settingToToggle: KeysWithTypeOf<SomeObject, boolean>

which (after properly defining `KeysWithTypeOf`) allowed me to specify that `settingToToggle` should be a string literal that is a key on `SomeObject` whose corresponding value is a boolean.

0 comments

cdrini3y ago

But I agree there are loads of missing features in Python :)

davidatbuOP3y ago

You might be (very) interested in this project then: https://deepkit.io/

I really hope this experiment works out and that it gains traction, because it's a massive value add to TS IMO.

[0] https://github.com/microsoft/TypeScript/issues/47658

cdrini3y ago

j / k navigate · click thread line to collapse