AD
зашла поискать в typespec-ах и наткнулась на nonempty_maybe_improper_list()
Size: a a a
2021 March 12
AD
что это за монстр
АО
У меня диалайзер ругается на
Stream.t()он на самом деле
Enumerable.tАО
зашла поискать в typespec-ах и наткнулась на nonempty_maybe_improper_list()
насколько я помню
maybe_improper_list(A, B) означает либо терм типа B либо список с элементами типа A, но могу ошибаться. Насчёт конкретно твоего можно предположить, что это либо терм либо не-пустой список любых значений, что странно, поскольку намного проще написать просто anyAD
да там примерно такое описание, просто выглядит как-то неуместно что-ли, хотя добавлено еще в 1.5
АО
порылся в доках эрланга:
в общем говорят, что они редко используются )
The following built-in list types also exist, but they are expected to be rarely used. Hence, they have long names:
nonempty_maybe_improper_list() :: nonempty_maybe_improper_list(any(), any())
nonempty_improper_list(Type1, Type2)
nonempty_maybe_improper_list(Type1, Type2)
в общем говорят, что они редко используются )
AN
А вообще для чего нужен improper list?
АО
с ним проще описывать такие вещи, как iodata
LL
он на самом деле
Enumerable.tНу да, но я хочу указать что у меня возвращается именно
Я понимаю, что нужно
Stream с элементами определённого типаЯ понимаю, что нужно
Enumerable.t() использовать, но было бы удобнее пользоваться Stream.t()АО
тогда определяй свой тип
АО
там не так то просто будет запихать тип элементов в него
ŹR
Ну да, но я хочу указать что у меня возвращается именно
Я понимаю, что нужно
Stream с элементами определённого типаЯ понимаю, что нужно
Enumerable.t() использовать, но было бы удобнее пользоваться Stream.t()А ты вообще встречал тип, у которого в скобках можно что-то указать не эрланговский?
LL
А ты вообще встречал тип, у которого в скобках можно что-то указать не эрланговский?
Я сам такие пишу, а что?
Всякие
Всякие
either(ok, error) или maybe(value)ŹR
Я не разу такой не видел и не знал что так вообще можно делать
ŹR
Я честно говоря до сих пор не уверен что так можно
AD
Я честно говоря до сих пор не уверен что так можно
проверила, доках есть, тоже не встречала
`
`
@type t(first, last) :: %Examples{first: first, last: last}`ŹR
Ну и как потом сделать генерик спек?
ŹR
@spec new(first, last) :: Examples.t(first, last) сработает?
AD
не, first и last это типы
ŹR
Ну я про это и говорю