Size: a a a

Elm Lang сообщество разработчиков

2020 May 13

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Как в любом лиспе, умеющем в runtime macroexpansion
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Но спеки это не макросы
источник

k

kl mw in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Мой поинт в том, что именно "как сейчас в Haskell" на лету сделать проще, чем это делается в compile time, не получится.

Но какие-то иные варианты анализа кода на безопасность (в ином ключе, опять же) могут быть реализованы, тут простора для творчества много.
я думаю я согласен в целом с вашим поинтом. как сейчас в хаскелль проще сделать не получится. но действительно может быть можно будет сделать что-то другое, лежащее не в плоскости вывода типов хиндли-милнера.
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Насколько мне известно в кложе макросы раскладываются все таки в компайл тайм
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Denis Krivosheev
Насколько мне известно в кложе макросы раскладываются все таки в компайл тайм
Могут и так, и сяк
источник

k

kl mw in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Clojure с их spec, как раз пытается "типизировать словарики". Но это всё — рантайм проверки
про clojure довольно интересно, но я не знаком с ним как следует. но сейчас знакомлюсь с элексиром, вроде он довольно сильно influenced
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
В Эликсире динамическая типизация :)
источник

k

kl mw in Elm Lang сообщество разработчиков
спору нет) и ничем даже близким к хм и не пахло
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Подтверждаю, рантайм проверки в кложе довольно дорогое удовольствие... в основном делается только в дев режиме и убирается к чертям в прод билдах
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
kl mw
про clojure довольно интересно, но я не знаком с ним как следует. но сейчас знакомлюсь с элексиром, вроде он довольно сильно influenced
У них там есть подвижки в сторону проверки словариков на соответствие некорой спецификации, которая заменяет сигнатуру функции. По идее можно подумать о том, чтобы макроподставновки проверяли, что спецификации не противоречивы
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Denis Krivosheev
Подтверждаю, рантайм проверки в кложе довольно дорогое удовольствие... в основном делается только в дев режиме и убирается к чертям в прод билдах
Это неплохо, на самом деле. Дизайнишь ты в репле и с эвалом, а потом запекаешь и получаешь профиты от JIT
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Это неплохо, на самом деле. Дизайнишь ты в репле и с эвалом, а потом запекаешь и получаешь профиты от JIT
Это да
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Проверяются не только словарики конечно... все что угодно проверяется, но для словариков тулинг хороший
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Запекая макросы, мы лишаем систему средств переписывать себя. Что может быть красиво. Не продуктивно, но красиво :)
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Поэтому любителям CL сложно в Clojure :)
Как хаскелистам в Elm :)
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
ИЧСХ, и Elm, и Clojure — попытки сделать практично ценой мощи. Обе попытки в известной степени не неудачные
источник

MB

Mikhail Bortnyk in Elm Lang сообщество разработчиков
кложа всё же чуть больше живая
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Мне кажется она очень даже живая
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Ну как, не мертва. Но хайпа вокруг неё давно нет
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Она просто есть и её просто используют те, кто давно освоил
источник