Názor k článku Common Lisp: žralok mezi programovacími jazyky od CTCCTCGGCGGGCACGTAG - Proc sva velkohuba tvrzeni o statickych typech nikdy...

Proc sva velkohuba tvrzeni o statickych typech nikdy nepodlozis praktickou ukazkou?

Protoze to z principu v realnem programu nejde, musel bys program omezit na operace zachovavajici prvociselnost.