Le 06/08/2018 à 17:59, Master Rinus answers the message of Markus
Klinik, concerning the non-checking of unused entities :
It is a very old 'feature'...
Not so nice though.
Why "not nice"?
There is no [assembly] code generated for such zombies, so why the
typechecker should waste time?
I think that - at least "philosophically" (sorry for the abuse of the
word) this is coherent with laziness. In these contexts the execution
errors won't manifest themselves, so why the type errors should?
Best regards.
Jerzy Karczmarczuk
/Caen, France/
---
L'absence de virus dans ce courrier électronique a été vérifiée par le logiciel
antivirus Avast.
https://www.avast.com/antivirus
_______________________________________________
clean-list mailing list
[email protected]
https://mailman.science.ru.nl/mailman/listinfo/clean-list
