История изменений

Исправление quasimoto, 24.10.12 11:30 (текущая версия) :

#lang typed/racket (http://docs.racket-lang.org/ts-guide/, http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf)? Не знаю, насколько он внешний, но пытается сохранить совместимость со схемой, при этом добавив ограничения в духе STLC с объединениями и подтипами.

Что касается CL - какой смысл в его статическом чекере, если при этом 90% (если не все 99) типичных программ на CL не пройдут его проверку?

Исходная версия quasimoto, 24.10.12 11:28:

#lang typed/racket (http://docs.racket-lang.org/ts-guide/, http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf)? Не знаю, насколько он внешний, но пытается сохранить совместимость с со схемой, при этом добавив ограничения в духе STLC с объединениями и подтипами.