А
просто это открытый юнион
Size: a a a
2020 December 29
А
в противовес закрытым, которые юзаются в фп языках и называются алгебраическими типами
А
но которые точно также tagged
с#
потому что вот это
File | FileNotFound- это всё ещё tagged union
ну и хорошо же, тут надо будет в любом случае проверить что вернулось
I
потому что вот это
File | FileNotFound- это всё ещё tagged union
Если Exception | FileNotFoundException != Exception, то это неправильный union.
А
ну это фактически == Exception
А
то есть часть
| FileNotFoundException уже не несёт в себе дополнительной информации для компилятораА
да и программиста только запутывает
А
но это уже побочный эффект совмещения открытых юнионов с наследованием, можно натворить ерунды
JF
кто-то в курсе, у телеграмовских ботов уже появилась внятная документация?
я прошлого на 3.5 писал. На 4.х документации вообщен не было
я прошлого на 3.5 писал. На 4.х документации вообщен не было
AM
Если Exception | FileNotFoundException != Exception, то это неправильный union.
Но в том чате с тобой вряд ли об этом общаться будут, да. По-моему, там основная масса -- любители ML и растаманы, за некоторым небольшим вычетом. Одни не любят сабтайпинг, другие исключения)
IP
Ребята, кто хочет делать классные игры и приложения?
I
Но в том чате с тобой вряд ли об этом общаться будут, да. По-моему, там основная масса -- любители ML и растаманы, за некоторым небольшим вычетом. Одни не любят сабтайпинг, другие исключения)
Мне нравится, что Rustaceans перевели как Растаманы. Наверное, потому что Растисты звучит ещё хуже.
IP
В Ceylon подошли красиво к этому вопросу - там checked exceptions - часть типа, то есть File.open возвращает File | FileNotFound. У них и нулябельные типы - это T | null. Что, в принципе, соответствует ментальной модели значение | ошибка и значение | ничто. Жалко, не взлетел, ибо вышел одновременно с другим языком, который был тупо удобнее.
у них в принципе сумтипы есть, я уже из-за этого плакал, узнав про цейлон
BP
В Ceylon подошли красиво к этому вопросу - там checked exceptions - часть типа, то есть File.open возвращает File | FileNotFound. У них и нулябельные типы - это T | null. Что, в принципе, соответствует ментальной модели значение | ошибка и значение | ничто. Жалко, не взлетел, ибо вышел одновременно с другим языком, который был тупо удобнее.
Блин как красиво 😢
IP
Блин как красиво 😢
да, и там матчинг развитый
IP
и без flow-based typing
I
да, и там матчинг развитый
Но свой пакетный менеджер, непонятный обратный интероп с джавой, без поддержки ИДЕ. Но язык красивый, да.
IP
Но свой пакетный менеджер, непонятный обратный интероп с джавой, без поддержки ИДЕ. Но язык красивый, да.
я этого не отрицаю