AP
Как в любом лиспе, умеющем в runtime macroexpansion
Size: a a a
2020 May 13
DK
Но спеки это не макросы
k
Мой поинт в том, что именно "как сейчас в Haskell" на лету сделать проще, чем это делается в compile time, не получится.
Но какие-то иные варианты анализа кода на безопасность (в ином ключе, опять же) могут быть реализованы, тут простора для творчества много.
Но какие-то иные варианты анализа кода на безопасность (в ином ключе, опять же) могут быть реализованы, тут простора для творчества много.
я думаю я согласен в целом с вашим поинтом. как сейчас в хаскелль проще сделать не получится. но действительно может быть можно будет сделать что-то другое, лежащее не в плоскости вывода типов хиндли-милнера.
DK
Насколько мне известно в кложе макросы раскладываются все таки в компайл тайм
AP
Denis Krivosheev
Насколько мне известно в кложе макросы раскладываются все таки в компайл тайм
Могут и так, и сяк
k
Clojure с их spec, как раз пытается "типизировать словарики". Но это всё — рантайм проверки
про clojure довольно интересно, но я не знаком с ним как следует. но сейчас знакомлюсь с элексиром, вроде он довольно сильно influenced
AP
В Эликсире динамическая типизация :)
k
спору нет) и ничем даже близким к хм и не пахло
DK
Подтверждаю, рантайм проверки в кложе довольно дорогое удовольствие... в основном делается только в дев режиме и убирается к чертям в прод билдах
AP
про clojure довольно интересно, но я не знаком с ним как следует. но сейчас знакомлюсь с элексиром, вроде он довольно сильно influenced
У них там есть подвижки в сторону проверки словариков на соответствие некорой спецификации, которая заменяет сигнатуру функции. По идее можно подумать о том, чтобы макроподставновки проверяли, что спецификации не противоречивы
AP
Denis Krivosheev
Подтверждаю, рантайм проверки в кложе довольно дорогое удовольствие... в основном делается только в дев режиме и убирается к чертям в прод билдах
Это неплохо, на самом деле. Дизайнишь ты в репле и с эвалом, а потом запекаешь и получаешь профиты от JIT
DK
Это неплохо, на самом деле. Дизайнишь ты в репле и с эвалом, а потом запекаешь и получаешь профиты от JIT
Это да
DK
Проверяются не только словарики конечно... все что угодно проверяется, но для словариков тулинг хороший
AP
Запекая макросы, мы лишаем систему средств переписывать себя. Что может быть красиво. Не продуктивно, но красиво :)
AP
Поэтому любителям CL сложно в Clojure :)
Как хаскелистам в Elm :)
Как хаскелистам в Elm :)
AP
ИЧСХ, и Elm, и Clojure — попытки сделать практично ценой мощи. Обе попытки в известной степени не неудачные
MB
кложа всё же чуть больше живая
DK
Мне кажется она очень даже живая
AP
Ну как, не мертва. Но хайпа вокруг неё давно нет
AP
Она просто есть и её просто используют те, кто давно освоил