Re:Go 2 Draft Designs
by naasking on Wednesday August 29, 2018 @08:19AM
(#17867626)
> no, it's because every function is implemented with a dozen helper function
Which are needed and/or allowed for reuse because the template language is Turing complete. More restrictive type-level languages have better error messages because the compiler either understands what you're intending to do or you're limited in the things you can express, full stop.
Which are needed and/or allowed for reuse because the template language is Turing complete. More restrictive type-level languages have better error messages because the compiler either understands what you're intending to do or you're limited in the things you can express, full stop.