169 похожих чатов

А каким образом там branded поможет?

10 ответов

8 просмотров

Ну будет тип, который можно создать только через конструктор/гард. И он будет несовместим со всеми остальными типами

Kirill-Sukhomlin Автор вопроса

Ааа, хитрó. Хотя я не очень понимаю как. Ну и немного вербозно.

Во flow есть очень крутая штука — opaque types. Ты можешь делать с этими типами что угодно, но не можешь кастовать к ним. То есть создать значение такого типа ты можешь только через набор инструментов, который определил (гарды и конструкторы). Сладенько

Kirill-Sukhomlin Автор вопроса

Ну как типичные ADT в Хаскеле?

хз) вот, свм посмотри https://flow.org/en/docs/types/opaque-types/

есть morphic-ts c похожим функционалом https://github.com/sledorze/morphic-ts

https://github.com/sveseme/taghiro вот такой подход

https://github.com/gcanti/newtype-ts чуть популярнее альтернатива

Kirill-Sukhomlin Автор вопроса

знакомый ник gcanti

Да есть много реализаций

Похожие вопросы

Обсуждают сегодня

читать файл максимально быстро? странный вопрос))
zamtmn
53
тоесть, указав return eax, сгенерируется никому ненужная инструкция mov eax,eax ?
Aiwan \ (•◡•) / _bot
24
Приветствуем всех! Устали без проектов? Если вы программист и хотите получать стабильные заказы, компания Elif предлагает вам недельный курс по поиску проектов и их ведению. ...
Elif
1
А чего сейчас в моде вместо Error для эксепшенов? А то я тут внезапно узрел что он не рекомендуется :) У Try::Tiny какой-то совершенно ужасный синтаксис если надо конкретные э...
Denis F
19
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Привет. Сразу скажу, что на C/C++/Rust я не пишу, но тем не менее возникла потребность дебага C/C++/Rust кода. Суть: есть серверное приложение, которое периодически ведёт себ...
ninekeem 🐳
4
всем привет! углубившись в плюсы и начав изучать реверсинг понял, что без асм'а никуда со своими высокоабстрактными представлениями начал изучать механизмы асма, и не совсем п...
9
Всем привет, после Си стоит учить плюсы или лучше на раст перейти?
Linus
8
или вы считаете муит дает знание?
супер_лох_3000 альфа версия
12
значить например он учился в СДУ то получается он особенный?)
Asets Serikov
11
Карта сайта