DP
или зачем нужны зависимые типы если половина кода будет динамической? кому они помогут? (кроме локальных случаев как eDSL в конкретных местах)
Size: a a a
2020 December 21
SA
типизация может быть неявной
SA
всм само выводить все
SA
контракты же в рантайме чекаются?
AK
могу если что на выходных помочь с переводом, за пару выходных можно сделать в принципе. но я не супер нейтив инглиш, но там и слог достаточно понятный. скорее, требует больше передать по смыслу ближе к сути и красиво литературненько, наверное, так? вы уже начали перевод, где можно присоединиться?
Да, тут скорее важнее русский хорошо знать))
Я первый абзац кое-как перевел и задолбался 😅 Завтра на github выложу тогда
Я первый абзац кое-как перевел и задолбался 😅 Завтра на github выложу тогда
AK
так пожалуйста, откуда такая агрессия?
Не обращай внимания, у моего тезки такая манера общения прост)
DP
Да, тут скорее важнее русский хорошо знать))
Я первый абзац кое-как перевел и задолбался 😅 Завтра на github выложу тогда
Я первый абзац кое-как перевел и задолбался 😅 Завтра на github выложу тогда
с русским вроде все более менее ) но это не точно. давайте попробуем. на выходных смогу присоединиться если что
AK
Ок, отлично
DP
всм само выводить все
из всех реализаций что я видел, такой неявный вывод создает больше проблем чем решает. и требует статической типизации всего модуля. typed racket это условно вариант ближе к хаскелю. контракты несколько другой подход. как по мне их можно сочетать. но зачастую оно излише и хочется просто динамики с опцитипами аля CL
SA
можно 1 проблемы для примера?
DP
ой я не готов это кучу раз уже обсуждалось на каждом углу. холиварить че то нет настроения аообще сейчас
SA
окей
SA
ну то есть нельзя
SA
ну тогда короче я молодец
AK
Мне тоже интересно, что за реализации, типов-то в лиспах, почитай, кроме typed racket и CL нету. Есть только какие-то слабые попытки в Gambit Scheme
SA
железная банка выводит часть типов
SA
кое где могла бы больше но спек мешает
SA
кое где не допилили
SA
но то что спек мешает там на самом деле можно обойти
SA
короче