PK
Меня эта проблема уже очень давно донимает.
Size: a a a
2019 October 18
V
найти бы время на все мои хотелки по контрибуции..
PK
AB
Мне кажется должно работать (X) -> X when X :: a() | b()
PK
Alexander Bogosyan
Мне кажется должно работать (X) -> X when X :: a() | b()
Это даст другой результат. На сколько я понимаю.
AB
В доке есть пример с tuple()
AB
spec id(X) -> X when X :: tuple().
AB
The above function specification uses multiple occurrences of the same type variable. That provides more type information than the following function specification, where the type variables are missing:
-spec id(tuple()) -> tuple().
The latter specification says that the function takes some tuple and returns some tuple. The specification with the X type variable specifies that the function takes a tuple and returns the same tuple.
-spec id(tuple()) -> tuple().
The latter specification says that the function takes some tuple and returns some tuple. The specification with the X type variable specifies that the function takes a tuple and returns the same tuple.
AB
Что мешает tuple быть a() | b()?
V
мешает то, что это объединённый тип
AB
Правда вопрос что тут под same понимается, тип или value
PK
Alexander Bogosyan
Мне кажется должно работать (X) -> X when X :: a() | b()
(a()) -> b(). Провалидируется успешно
PK
А хочется ошибку увидеть.
V
в английском чатике очень не советуют компоузить opaque типы, а как у вас опыт с этим?
V
одна из цитат: last time I tried, you could not compose an opaque type out of opaque types, or types that themselves contained an opaque type
c🦊
в английском чатике очень не советуют компоузить opaque типы, а как у вас опыт с этим?
что за чатик?
c🦊
ссылку в студию
2019 October 19
V
официальный слаковский
c🦊
а... слаковский. Я-то думал в телеграме есть что-то
V
по идейным соображениям не подходит?