k
там 3 строчки кода
не то что хочется велосипедить
Size: a a a
2020 July 22
A
не то что хочется велосипедить
map : (a -> b) -> Maybe a -> Maybe b
map f maybe =
case maybe of
Just value ->
Just (f value)
Nothing ->
Nothing
map f maybe =
case maybe of
Just value ->
Just (f value)
Nothing ->
Nothing
A
это базовые навыки
DK
Только зачем такое делать для функции, которая уже входит в кор непонятно
k
Denis Krivosheev
Только зачем такое делать для функции, которая уже входит в кор непонятно
that's the point!
2020 July 23
k
друзья, а вот если у меня есть такой тип:
то как мне построить функцию
nonmaybe interval =
case (interval.start, inerval.end) of
(Just start , Just end) -> Just {start = start, end = end}
-- problem! is of type Interval a {} , not Interval a b --
_ -> Nothing
type alias Interval b a =
{ a
| start : b
, end : b
}
то как мне построить функцию
nonmaybe : Interval a (Maybe b) -> Maybe (Interval a b)
nonmaybe interval =
case (interval.start, inerval.end) of
(Just start , Just end) -> Just {start = start, end = end}
-- problem! is of type Interval a {} , not Interval a b --
_ -> Nothing
k
но проблема как раз с кусочком типа
a, который добавляется в recordk
потому что я не понимаю как просто его скопировать в новый
k
record update я опять же не могу использовать, потому что типы у рекордов уже разные
k
если не было бы типа
a, то все было бы очень просто... но он есть и конкретно в моем приложении над которым я сейчас работаю это довольно важноk
там несколько пайпов, в которых этот тип
a разный и это такая дополнительная информация которая последовательно дополняетсяDK
Не понимаю суть типа... почему он вообще рекорд?
k
Denis Krivosheev
Не понимаю суть типа... почему он вообще рекорд?
а почему ему быть не рекордом?)
k
в результате применения нескольких функций это получается рекорд с 5 полями)
k
и дальше с ним уже так удобно работать
k
можно попробовать сделать такой тип конечно
type Interval a b = Interval b b ak
и работать с ним и сделать потом еще дополнительное преобразование в конце
DK
погоди) Обьясни предметную область, что ты пытаешься добиться
k
наверное это самое разумное решение, потому что изучив документацию я не нашли ничего путного
но вдруг все таки можно с рекордами все тоже самое сделать
но вдруг все таки можно с рекордами все тоже самое сделать
DK
Почему это не может быть например
type Interval = Interval Int Int
type alias WithInterval a =
{ a | interval : Interval }