Тип последовательности замыкания

Question

Тип последовательности замыкания

Какой правильный тип последовательности? У меня есть этот код:

(defrecord MethodInfo [^clojure.lang.ISeq preconds ^clojure.lang.ISeq postconds])

Но, похоже, он не обеспечивает должного соблюдения требований к типу, так как я могу написать (new MethodInfo 1 2),

5

clojure typechecking static-typing

Источник

user81636 17 июл '11 в 23:25

1 ответ

Решение

Другие вопросы по тегам clojure typechecking static-typing

user152739 18 июл '11 в 01:37 2011-07-18 01:37 · Accepted Answer · 2011-07-18 01:37

Насколько я понимаю, подсказки типа Clojure существуют только из соображений производительности, чтобы улучшить поиск методов путем обхода отражения; Это их единственное назначение, а не принудительное применение статических типов в динамическом языке.

Пожалуйста, посмотрите этот ответ на аналогичный вопрос.

Редактировать:

В некоторых случаях в Clojure 1.3 говорится о возможности применения примитивных типов возвращаемых данных, но это явно то, что постоянно меняется, и все же не будет применяться к типам последовательностей.