|
|
|
|
|
|
by moomin
2506 days ago
|
|
|
The presence of general type level programming does, however, mean that you can build decent preconditions on types. Which will get you further than you could in C++. I’m more concerned by the typeid switching, but maybe it’s got a proper structured mechanism as well. |
|
|