← All posts tagged Lisp

CL, который застрял со своим нетипизированным лямбда-исчислением в 50-х годах прошлого века
Статическая типизация — это просто частный случай макросов. Только типизация, в отличии от макросов, не дает
соответствующей гибкости для доказательства гарантии корректности и несет нехилый оверхед

via linux.org.ru