Had a crazy idea of porting correctness verifier from Python to C++ and running it a compile-time via constexpr. Then you could make verification work generically with new types.
Падабаецца 0
Рэпосты 0
@vitaut Can’t you do it in a better language than constexpr?
Падабаецца 0
Рэпосты 0
@shac TMP?
Падабаецца 0
Рэпосты 0