3 ms·
I think this is a subtle and important point. Types are a potential useful tool to restrain and and specify the schema of data structures. But concern for types
by Arelius 2y ago
I think this is a subtle and important point. Types are a potential useful tool to restrain and and specify the schema of data structures. But concern for types is very different then concern for the data structures.