Clojure static typing

Question

Я знаю, что это может звучать как богохульство поклонникам Лиспа (и другим любителям динамических языков), но насколько сложно было бы улучшить компилятор Clojure для поддержки статической (компиляции) проверки типов?

Отключение аргументов за и против статического и динамического ввода, возможно ли это (не «это целесообразно»)?

Я думал, что добавление нового макроса читателя для принудительного использования типа времени компиляции (расширенная версия макроса # ^) и добавление информации о типе в таблицу символов позволит компилятору отмечать места, где были переменные неправильно. Например, в следующем коде, я ожидал бы ошибку во время компиляции (# * является «время компиляции» типа макро):

(defn get-length [#*String s] (.length s)) 
(defn test-get-length [] (get-length 2.0)) 

#^Макрос может быть даже повторно с глобальным переменным (*compile-time-type-checking*), чтобы заставить компилятор выполнить проверки.

Любые мысли о выполнимости?

Answer 1

Это, безусловно, возможно. Компилятор уже выполняет некоторую проверку статического типа вокруг примитивных типов аргументов в ветке разработки 1.3.

Answer 2

Поскольку одна форма считывается и оценивается в то время, когда вы не можете иметь прямые ссылки, делающие это несколько ограниченным.

Answer 3

Это определенно возможно. Однако я не думаю, что Clojure когда-либо получит какую-либо форму слабой статической типизации - преимуществ слишком мало.

Rich Хики имеют, однако неоднократно выражали его как для сильной, необязательной и выразительной типизации функции языка Qi, http://www.lambdassociates.org/qilisp.htm

Answer 4

DECLARE может иметь намеки типа, поэтому можно объявить var, что «есть» тип, который еще не определен, но содержит данные о структуре, но это было бы действительно неуклюже, и вам нужно было бы сделать это до того, как любой путь кода, который мог бы выполнить, до того, как будет определен тип , В принципе, вы бы хотели определить все свои пользовательские типы спереди, а затем использовать их как обычно. Я думаю, что это делает библиотеку несколько хакерской.

Я не хотел предлагать ранее, что это невозможно, только для пользовательских типов это намного сложнее, чем для заранее определенных типов. Преимущество этого и затрат - это то, что следует серьезно рассмотреть. Но я призываю всех, кто заинтересован попробовать и посмотреть, смогут ли они заставить его работать!

Answer 5

Да! Похоже, что идет проект, core.typed, чтобы сделать факультативный статический тип проверки реальностью. См Github project и его documentation

Эта работа grew out of an undergraduate honours dissertation (PDF) Амвросий Боннер-сержант, и связан с системой Typed Racket.

Answer 6

Старый вопрос, но два важных момента: я не думаю, что Clojure поддерживает макросы читателей, только обычные макросы lisp. И теперь у нас есть опция core.typed для ввода в Clojure.