Телеграмм чат группы elm

Size: a a a

Elm Lang сообщество разработчиков

2020 July 23

kl mw in Elm Lang сообщество разработчиков

Denis Krivosheev

Почему это не может быть например

type Interval = Interval Int Int

type alias WithInterval a =
    { a | interval : Interval }

там не всегда Int! иногда Maybe Int

источник

16:47пожаловаться #1

kl mw in Elm Lang сообщество разработчиков

в этом поинт

источник

16:47пожаловаться #2

Denis Krivosheev in Elm Lang сообщество разработчиков

Ну заменить на мэйби инт да и все

источник

16:47пожаловаться #3

kl mw in Elm Lang сообщество разработчиков

Denis Krivosheev

Ну заменить на мэйби инт да и все

ну тогда нужно будет добавлять еще одну степень полиморфизма для WithInterval 🙂 но да, так можно сделать

источник

16:48пожаловаться #4

Denis Krivosheev in Elm Lang сообщество разработчиков

в элм нет рестриктед полиморфизма, ты не можешь наложить ограничение на а, он должен быть или вообще любой тип или конкретный тип

источник

16:48пожаловаться #5

kl mw in Elm Lang сообщество разработчиков

Denis Krivosheev

да, я понимаю

источник

16:49пожаловаться #6

kl mw in Elm Lang сообщество разработчиков

мне здесь и не нужен restricted полиморфизм

источник

16:49пожаловаться #7

kl mw in Elm Lang сообщество разработчиков

примерно такая идея -- Interval a b это тип который хронит некоторую информацию про интервал времени. Преобразования у меня примерно такие:
1. List (Interval (Maybe Posix) {})
2. List (Interval (Maybe Posix) { some_additional_data })
3. List (Interval Posix { some_additional_data })
4. List (Interval Posix { more_additional_data } )

источник

16:51пожаловаться #8

kl mw in Elm Lang сообщество разработчиков

и вот вопрос в преобразовании 2 -> 3

источник

16:51пожаловаться #9

kl mw in Elm Lang сообщество разработчиков

я хочу применить List.filterMap и почистить все Interval (Maybe Posix) ... в которых есть Nothing и получить просто Interval Posix ...

источник

16:52пожаловаться #10

kl mw in Elm Lang сообщество разработчиков

и поэтому как раз хочется построить такую вот функцию nonmaybe : Interval a (Maybe b) -> Maybe (Interval a b) про которую я писали выше

источник

16:52пожаловаться #11

Denis Krivosheev in Elm Lang сообщество разработчиков

Вопрос в том, почему рекорд, который хранит интервал должен включать в себя что-то ещё кроме собственно интервала?

источник

16:53пожаловаться #12

kl mw in Elm Lang сообщество разработчиков

Posix в описании выше я замянели на Int просто для простоты

источник

16:53пожаловаться #13

kl mw in Elm Lang сообщество разработчиков

Denis Krivosheev

правда состоит в том что это тип который хочет заказчик)

источник

16:53пожаловаться #14

kl mw in Elm Lang сообщество разработчиков

ну он на выходе хочет рекорд у которого будет start end и еще доп информация

источник

16:54пожаловаться #15

kl mw in Elm Lang сообщество разработчиков

но можно действительно использовать полиморфный тип интервала и в конце просто преобразовать к нужному виду

источник

16:54пожаловаться #16

kl mw in Elm Lang сообщество разработчиков

наверное это самое разумное )

источник

16:54пожаловаться #17

kl mw in Elm Lang сообщество разработчиков

Denis Krivosheev

спасибо за наводки, anyway )

источник

16:58пожаловаться #18

Denis Krivosheev in Elm Lang сообщество разработчиков

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

источник

17:02пожаловаться #19

Denis Krivosheev in Elm Lang сообщество разработчиков

а у тебя как раз для старт и энд тип должен поменяться с Maybe a на а

источник

17:03пожаловаться #20