Re:Why is Idris 2 so much faster than Idris 1?
by ncmncm on Monday May 25, 2020 @11:45PM
(#23307216)
... which does also happen at compile time. Or before you instantiate it, if the template is declared using concepts, in C++20.
The effect without concepts is that you can (in principle) get things that "accidentally" match, like applying "+" to strings; and that the error messages when they don't match are unpleasant. Concepts resolve both.
The effect without concepts is that you can (in principle) get things that "accidentally" match, like applying "+" to strings; and that the error messages when they don't match are unpleasant. Concepts resolve both.