|
|
|
|
|
|
by sxiao
1922 days ago
|
|
|
A type system can do way more than the simple things from your first code block. This is misleading in terms of what a powerful type systems can do. Re your second code block: This can be typed with literal types, no need for tests at compile time. |
|
|