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.
Perhaps.
Copyright © 2010-2024 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.
Never forget, 2017-06-29 06:17:59 -0300 #
HTTP/1.1 418
Date: Thu, 29 Jun 2017 11:14:57 GMT
Server: yaws/2.0.4 (openBSDM)
Last-Modified: Wed, 22 Jul 2009 19:15:56 GMT
Content-Length: 88
Content-Type: text/html
Connection: Closed