If your programs are all well-typed, if you follow the simple rules, you will never go wrong. But there is a lot of interesting programs that can't be proven not to go wrong; they might, but you cannot tell if you don't try them out, and your type system is rejecting them up front. Perhaps you are missing them out.
Copyright © 2010-2023 Vítor De Araújo
O conteúdo deste blog, a menos que de outra forma especificado, pode ser utilizado segundo os termos da licença Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International.
Powered by Blognir.