QH
Ну и, да, они не дружат с типами, не бывают дженеричными и т. п.
Size: a a a
2020 February 24
AO
Ну и, да, они не дружат с типами, не бывают дженеричными и т. п.
Разве нельзя? Ну понятно что толку особо не будет, но впринципе то что мешает
AL
Тогда обычные исключения отлично работают
Обычных исключений нету в системе типов. А хотелки простые:
1. Иметь информацию о возможных входных и выходных параметрах в типе
2. Иметь механизм для работы с этими параметрами.
С первым справляются sealed типы. Со вторым уже тяжелее.
1. Иметь информацию о возможных входных и выходных параметрах в типе
2. Иметь механизм для работы с этими параметрами.
С первым справляются sealed типы. Со вторым уже тяжелее.
AN
Мысль понятен. В принципе это все покрывается одним единственным классом. Для этого не обязательно тащить в язык что-то новое
VP
Так вроде никто и не предлагал)
AN
Так вроде никто и не предлагал)
HKT хотять
AL
HKT хотять
Это уже из другой проблемы тянется и с Either не связано :)
AM
Мысль понятен. В принципе это все покрывается одним единственным классом. Для этого не обязательно тащить в язык что-то новое
Sum types в некоторой степени тоже покрываются существующими силдами, но их продолжают резонно хотеть 🤷♂
AO
Sum types в некоторой степени тоже покрываются существующими силдами, но их продолжают резонно хотеть 🤷♂
Потому что sealed не композируются
AO
А суммы очень даже
AN
Это уже из другой проблемы тянется и с Either не связано :)
Я с самого начала продвигал мысль, что вопрос с Result и вопрос с Union types - два разных вопроса. Я не помню, можно ли сейчас создавать Result, но он вроде покрывает все, что нужно в смысле передачи управления.
AN
А для Union types не нужна композиция
AO
А для Union types не нужна композиция
Всмысле оО
AN
При этом я не говорю, что юнионы не нужны
AN
Всмысле оО
а зачем?
AL
Я с самого начала продвигал мысль, что вопрос с Result и вопрос с Union types - два разных вопроса. Я не помню, можно ли сейчас создавать Result, но он вроде покрывает все, что нужно в смысле передачи управления.
Result строго завязан на исключения, да и он не раскрывает что именно он словил в типе.
AO
а зачем?
Композировать типы возвращаемых результатов
AN
Композировать типы возвращаемых результатов
В результах уже есть
AO
В результах уже есть
Где?
