PS
даже в котлин подвезли Result
Size: a a a
2018 June 20
VS
Ну в сишарпе нету резалта ,да
B
даже в котлин подвезли Result
Свой напиши
VS
В целом, можно nullable рассматривать в данном ключе
PS
да, это неспложно. Просто было бы легче интегрироваться с разными либами, когда есть в сдк
B
да, это неспложно. Просто было бы легче интегрироваться с разными либами, когда есть в сдк
Либы для шарпа обычно используют исключения. Достаточно уметь конвертить резалт туда-обратно
VS
Ну тоже не всегда
AH
Там вон хороший вопрос на SO задали
https://stackoverflow.com/questions/50944604/f-type-parameter-cannot-be-used-as-type-constructor
https://stackoverflow.com/questions/50944604/f-type-parameter-cannot-be-used-as-type-constructor
g
Там вон хороший вопрос на SO задали
https://stackoverflow.com/questions/50944604/f-type-parameter-cannot-be-used-as-type-constructor
https://stackoverflow.com/questions/50944604/f-type-parameter-cannot-be-used-as-type-constructor
Хочет странного.
AH
Ну, в F# не очень реализуемо то что он хочет да
АУ
Хочет странного.
а это разве не примерно то, что через модули в окамле можно сделать?
g
Ну, в F# не очень реализуемо то что он хочет да
Зависит от устройства тех "message systems", от которых он хочет абстрагироваться. Я плохо понимаю мотивацию.
g
а это разве не примерно то, что через модули в окамле можно сделать?
Да, пожалуй, в OCaml можно было бы завести сигнатуру с абстрактным типом ссылки.
g
В F# мы можем ввести новый тип
Ref<'T, 'Msg>, где 'T — это тип "нетипизированной" ссылки, 'Msg — тип сообщения.g
И уже в коде, где тип ссылки уже известен, будут нужны две дополнительные функции
pack/unpack.g
Кажется, довольно просто. Более сложный случай, когда типы совсем "стираются" — тогда нужна рефлексия и визиторы.
g
Другое решение, в духе ОО -- выделить общий минимальный интерфейс и сделать обертки для ссылок. С object expressions должно быть симпатично.
g
Комментарии, предложения? :)
Dv
В F# мы можем ввести новый тип
Ref<'T, 'Msg>, где 'T — это тип "нетипизированной" ссылки, 'Msg — тип сообщения.Ну напиши чуваку ответ.
g
Ну напиши чуваку ответ.
Мне лень.