Morning revelation.

[thesz]

Даже предпочитающие для работы динамический Лисп не любят не проверяющих типы.

Comments

[freiksenet]

SBCL проверяет типы. Другое дело что система типов в лиспе достаточно примитивна.

[love5an]

она не то чтобы примитивна, она просто ориентирована на динамику.

[freiksenet]

Она достаточно ограничено расширяема, например рекурсивные типы не доступны. Вообще CL страдает местами от проблем в расширяемости некоторых базовых вещей (кроме типов, например, sequences, правда SBCL вроде предоставляет свои хуки). Что весьма плохо для языка, в котором основная парадигма - это саморасширение :(

[freiksenet]

К тому же ИМХО динамика хороша, когда её можно в итоге проверить. Лисп бы только выиграл от достойно расширяемой системы типов.

offtop

[nealar]

Ещё про банкиров: http://mfdukn.livejournal.com/42072.html#cutid1

Re: offtop

[thesz]

Ха!

Спасибо. ;)