So, why are you not using dependent types yet? Do you like your programs randomly crashing?
Name:
Anonymous2018-10-17 15:29
Average software quality will be greatly improved and even programmers who write 99% safe code will benefit. Even C++ concepts-lite that is being discussed to inclusion in C++20 will change the industry.