Názor k článku Common Lisp: žralok mezi programovacími jazyky od Ink - Je otázka, co má být ještě součást "typu"....

Je otázka, co má být ještě součást "typu". Je "typ YMD" (trojice čísel) zodpovědný za správné ošetření přestupného roku, tedy za řešení počtu dní v únoru? Asi ne. Na druhou stranu ale pokud jazyk dokáže vyjádřit jenom "vektor objektů" a není možno ani říct, že to je vektor celých čísel a musí se to kontrolovat dynamicky a popisovat v komentáři, je to slabé.