Post #2272733

2025-11-11 13:57 UTC

anyway just learned python typing invented a new kind of voldemort type -- one which when named doesn&#39;t actually name it `float` and `int` are two distinct types in the type system but if you write `x: float` that actually means `x: float | int`. but if you write `x: float | int` that means `x: float | int | int`. anyway that&#39;s why `ty` has a `JustFloat` extension that is an actual alias for actual `float` that doesn&#39;t expand to `float | int`, so you can actual refer to... just float https://play.ty.dev/a8714369-9b4c-4028-9418-26727b546205

Replies (13)

@Gankra@toot.cat 2025-11-11 14:03

`complex` is `complex | float | int` :)

Open ##2975011
@ldvsoft@fosstodon.org 2025-11-11 14:00

@Gankra@toot.cat waaat

Open ##2975012
@typeswitch@gamedev.lgbt 2025-11-11 14:07

@Gankra@toot.cat oh so it's a bit like subtypes? i guess with all of the implicit conversions that happen in python's arithmetic it kind of makes sense. oh! maybe the reason was so you can pass an integer literal to a function expecting a float.

Open ##2975015
@mindpersephone@spookygirl.boo 2025-11-11 14:18

@Gankra@toot.cat huh til typea | typea isn't an error

Open ##2975017
@apmasell@mastodon.social 2025-11-11 15:02

@Gankra@toot.cat have you encountered the psychic damage that `bool` is a subtype of `int` for reasons?

Open ##2975019
@mansalia@shitpost.poridge.club 2025-11-11 15:31

@Gankra@toot.cat Why does python make things needlessly complicated for library devs

Open ##2975023
@Kroc@oldbytes.space 2025-11-11 16:23

@Gankra@toot.cat Schrödinger’s duck typing. It's a duck, until you actually check and discover it's The Thing underneath.

Open ##2975024
@ucodery@fosstodon.org 2025-11-11 20:15

@Gankra@toot.cat Is this just the consequences of treating the numeric tower equivalent totally the actual instance types?

Open ##2975025
@siguza@infosec.space 2025-11-11 23:02

@Gankra@toot.cat Voldemort can float, so I guess that checks out...

Open ##2975026
@ignaloidas@not.acu.lt 2025-11-12 00:27

@Gankra@toot.cat People adding types to Python have been doing some serious bullshit that has little to do with how people use Python or types in Python for a long time Funny consequence of this - x.hex() is invalid, because only float has .hex(), int doesn't.

Open ##2975027
@Girgias@phpc.social 2025-11-12 00:55

@Gankra@toot.cat I can somehow see the logic, because in PHP `float` accepts `int` values by coercing them into floats, but it doesn't "expand" into a union type. Because we *do* have functions that have return types and parameter types which are marked as `int|float`.

Open ##2975028
@johoda@is.nota.live 2025-11-12 15:09

@Gankra@toot.cat 1.0 is mathematically an integer, checkmate athiests

Open ##2975029
@valorzard@mastodon.gamedev.place 2025-11-14 03:18

@Gankra@toot.cat man type systems are weird. I still don't fully understand what dependent types are and how they lead to proofs exactly

Open ##2975030