Op here back from the dead. This is in fact not a stab at dynamically typed languages, or at least not only: statically typed languages such as Java also support this kind of construct. In fact, one could develop a technically type safe programming language where an instanceof construct has sound semantics.
What instanceof breaks is something called polymorphic parametricity, i.e. the fact that generic functions don’t know anything specific about the types they are generic over. This is the fundamental condition for what in the community is dubbed “theorems for free”, that is, naturality of generic functions between generic types.
I’ll try to explain this as quickly and correctly as I can
Sov cits believe their name does not represent themselves, but actually a stock/ commodity that belongs to the US government
They believe this stock to be valued at GDP/population
These “coupons” are instructions to whatever entity they don’t want to pay, informing said entity that they should request the funds from aforementioned stock under the Sov Cit’s name.
I don’t think these people think they’re trying to scam anyone or get away with “not paying”. They genuinely think that every citizen has an equal share of the US’s GDP and can just use it like cash.
lemmy.world
Top