4 ms·
But structural typing that allows you defining anonymous record types is orthogonal to colocation of types and bindings. You're effectively saying that you're p
by instig007 1y ago
But structural typing that allows you defining anonymous record types is orthogonal to colocation of types and bindings. You're effectively saying that you're proposing a type system that supports structural types, syntax and colocation don't have much to do with it.
- sestep 1y agoCould you clarify what you mean? TypeScript already has structural types, but I already examined it in my post; if that were the only thing I was saying then my post would have just used TypeScript at the top.