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
the swift programming language is my fault to some degree. mostly here to see dogs, shitpost, fix old computers, and/or talk about math and weird computer programming things. for effortposts check the #longpost pinned tag. asks are open.
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
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