Posted onDecember 11, 2023 A recent online mention ofSalad Fingerssent me back to watchthe first installmentof that deeply weird early-web animation, and it struck me that it seems to owe more than a little to Samuel Beckett. Oddly, nobody else seems to think so (or at least if they ...
So something like “map ML types to JSON” won't work. Instead, I'm going to propose using “union typing”. This is a system where types represent “constraints” on values, and one can both union (||), intersect (&&) and exclusive-or (xor) type-constraints....
“meet them where they are” and not impose constraints a priori. So something like “map ML types to JSON” won't work. Instead, I'm going to propose using “union typing”. This is a system where types represent “constraints” on values, and one can both union (||), intersect (...