yes, we are putting floats in the type system, and Foo<NaN> is a different type from Foo<NaN>
zip-bombing the compiler with this one simple trick
- they/it/any
en/de
24
amateur math student
professional slash shipper and shitchoster
average math/programming/game dev enjoyer
proud parent of @JWST-live
asks always welcome :3
mutuals, feel free to dm on discord
might reblog light nsfw, be warned
itch.io
greytdepression.itch.io/You must log in to comment.
in reply to @jckarter's post:
I worked a bit with Python type annotations and I think I got type checker to say
incompatible type "Foo[X]"; expected "Foo[X]"
at least twice
