Опциональные аннотации типов в динамически типизированном языке.

http://www.lispworks.com/documentation/HyperSpec/Body/d_type.htm

Объявить входные параметры fixnum — ok. Вот как интерфейсами ворочать?

Я CLOS ещё не осилил, поэтому давайте рассмотрим вариант, где методы принадлежат объектам (или классам). (т.е. Python, Ruby, Smalltalk like languages)

> Вот как интерфейсами ворочать? Я CLOS ещё не осилил

В CLOS нет интерфейсов. Интерфейсы - это костыли для decoupling'а кода в неполноценных языках типа жабки или плюсов. В нормальных языках они не требуются.

Контракты в Racket.

Интерфейсы - это костыли для decoupling'а кода в неполноценных языках типа жабки или плюсов. В нормальных языках они не требуются.

А икры в магазине нет, потому что никто и не спрашивает.

Erlang

actionscript3 тот что ecmascript4

> А икры в магазине нет, потому что никто и не спрашивает.

По существу есть что ответить?

Интерфейсы (в широком смысле этого слова) в CL реализуются обобщенными функциями и пакетами, а не классами.

Clojure, Scheme R6RS.

Может быть boo или genie? Правда уже не помню, подходят ли они точно под изложенные требования, или нет.

Наверное ещё cython.