IP
Вот, теперь лучше. А знаешь что мощнее монады? Динамическая типизация! Только почему-то ты не хочешь на перле писать.
Оо, вот как только из js уберут TypeError и любое преобразование будет определено для континуума значений, тогда соглашусь
Size: a a a
2021 February 12
IP
Текущая дин. типизация не дает выразительности, потому что типы же все равно остаются. Просто ты работаешь с юнионом всего со всем.
IP
То есть, она почти не увеличивает множество правильных высказываний, она увеличивает множество неправильных высказываний
IP
Динамическая типизация - это как копать землю ножом, потому что лопата в сарае
Скобка прав
IP
а хули ещё с твоей аналогией делать
Вы перешли с аргументирования тезисов на аргументирование аналогий
AA
Хрена за ночь на 600 сообщений бомбануло
I
То есть, она почти не увеличивает множество правильных высказываний, она увеличивает множество неправильных высказываний
Сильное заявление! Не боишься, что лисперы в чате и перловцы (хотя кого я обманываю, только я перлом и восхищаюсь) тебя сожрут с потрохами за такую ересь? Например, найди мне хотя бы один статистически-типизированный язык, в котором можно такое: https://docs.raku.org/language/grammars
ch
А надо? при желание можно написать что нибудь что будет делать то же самое и без жести с динамикой
I
А надо? при желание можно написать что нибудь что будет делать то же самое и без жести с динамикой
Да, надо. Если уж ты говоришь, что динамическая типизация не увеличивает количество правильных высказываний, то, очевидно, не знаком с не-JS и не-питоновской типизацией. Ибо та магия, которая позволяется в нормальных языках (те же продолжения чего стоят), не покрывается никакой статикой. Аналогией было бы судить о статической типизации по сям.
I
А да, при желании всё можно на брейнфаке написать и не будет жести с синтаксисом.
Н
Сильное заявление! Не боишься, что лисперы в чате и перловцы (хотя кого я обманываю, только я перлом и восхищаюсь) тебя сожрут с потрохами за такую ересь? Например, найди мне хотя бы один статистически-типизированный язык, в котором можно такое: https://docs.raku.org/language/grammars
А есть либа на котлине, которая пытается повторить такой функционал?
I
А есть либа на котлине, которая пытается повторить такой функционал?
У меня на компе, да. Но она даже близко не настолько удобная. Из-за отсутствия вариадиков синтаксис не настолько хорош. И приходится проставлять типы, так как тайп-чекер постоянно уходит в рекурсию.
с#
У меня на компе, да. Но она даже близко не настолько удобная. Из-за отсутствия вариадиков синтаксис не настолько хорош. И приходится проставлять типы, так как тайп-чекер постоянно уходит в рекурсию.
тогда тайп чекер должен быть умнее
Н
У меня на компе, да. Но она даже близко не настолько удобная. Из-за отсутствия вариадиков синтаксис не настолько хорош. И приходится проставлять типы, так как тайп-чекер постоянно уходит в рекурсию.
опенсорс есть в планах?)
Н
могла бы получиться прикольная mpp либа..
I
тогда тайп чекер должен быть умнее
Проблема в том, что что-то мне подсказывает, что даже завтипы не помогут, не говоря о юнион типах. Все предыдущие попытки от моих коллег тупо отказывались работать с рекурсией.
I
опенсорс есть в планах?)
Пока нет, но решение может измениться.
с#
что скажете про такой подход?
я про разделение реализаций по файлам и создание такого "конструктора"
я про разделение реализаций по файлам и создание такого "конструктора"
