k
ну не все типами меряется
Size: a a a
2020 May 13
k
В Elm средств для генерации типов не хвататет!
про это не могу ничего сказать, наверное да)
AP
"Сделать неконсистентное состояние невыразимым" — вот одна из центральных идей, тут вам и на видео ссылку кинут, если что
AP
И эта идея — про типы как раз
AP
Если вы можете легко менять логику, но не менять типы, то у вас либо слишком узкий кейс, либо "недотипизировано"
AP
"недотипизировано" — как раз и есть послабление типобезопасности
AP
Цена гарантии, что в функцию всегда приходит какой-то словарик и выходит словарик — копейки.
AP
Это не та типобезопасность, за которой в тот же Elm приходят. Я уж не говорю про Haskell.
MB
В Elm средств для генерации типов не хвататет!
Каких, например?
AP
data Foo = ...
deriving FromJSON, ToJSONk
Цена гарантии, что в функцию всегда приходит какой-то словарик и выходит словарик — копейки.
вы можете накладывать ограничения на этот словарик, типа как в идрисе. и можете доказывать для макросов что функции которые генерируются макросами которые переводят один словарик в другой словарик, выдают корректные словарики
k
типы это не единственный способ получать гарантии для кода
MB
data Foo = ...
deriving FromJSON, ToJSONхм, кстати, да, тоже пару раз сталкивался, что не хватало
k
вы можете накладывать ограничения на этот словарик, типа как в идрисе. и можете доказывать для макросов что функции которые генерируются макросами которые переводят один словарик в другой словарик, выдают корректные словарики
мне бы кстати было бы довольно интересно поработать с чем-нибудь таким
AP
вы можете накладывать ограничения на этот словарик, типа как в идрисе. и можете доказывать для макросов что функции которые генерируются макросами которые переводят один словарик в другой словарик, выдают корректные словарики
Кароч, у меня нет сил продолжать этот диалог, простите.
Если вы сможете предложить, как "три из трёх получить", индустрия изменится навсегда, а за сим я устраняюсь из этого обсуждения.
Если вы сможете предложить, как "три из трёх получить", индустрия изменится навсегда, а за сим я устраняюсь из этого обсуждения.
k
Кароч, у меня нет сил продолжать этот диалог, простите.
Если вы сможете предложить, как "три из трёх получить", индустрия изменится навсегда, а за сим я устраняюсь из этого обсуждения.
Если вы сможете предложить, как "три из трёх получить", индустрия изменится навсегда, а за сим я устраняюсь из этого обсуждения.
без проблем! прошу прощения если был излишне напорист, не хотел вас отталкивать от обсуждения. это хорошо что вы говорите об этом
AP
Мой поинт в том, что именно "как сейчас в Haskell" на лету сделать проще, чем это делается в compile time, не получится.
Но какие-то иные варианты анализа кода на безопасность (в ином ключе, опять же) могут быть реализованы, тут простора для творчества много.
Но какие-то иные варианты анализа кода на безопасность (в ином ключе, опять же) могут быть реализованы, тут простора для творчества много.
AP
Clojure с их spec, как раз пытается "типизировать словарики". Но это всё — рантайм проверки
AP
И таки да, там компилятор частью приложения является таки.