K
Давай. Я до клавиатуры доберусь через час и поправлю. А то с телефона я и не залогинен
Size: a a a
2020 October 06
AP
Надо мне ещё пнуть самого себя и написать уже туториал пошаговый. И на реддите попиариться с ним. Глядишь, успешным стану ;Р
K
Это дело хорошее. Как у эльма с обновлениями? Всё грустно?
AP
Да вроде пилят чего-то. Но опять всё сломают, чую :)
K
Давай этот замержим (только Both уж воткни вместо (,)), а там можно будет поиграться
Я поправил
K
Вечером сделаю non-pure версию
AP
Этот я вмержу тогда, а второй пусть отдельным реквестом будет
AP
Вжух-мержух, вот и живое дерево
K
$elm$core$Basics$composeL а оно >>/<< я смотрю, не инлайнит. Странно.MP
Вжух-мержух, вот и живое дерево
elm-browser почто старый? или кто отвечает за деббаггер...
AP
Ну я не бампал зависимости давно. Работает же, есть смысл трогать?
AP
Всё, бампнул
AP
🎉
Скажешь потом, засчитали тебе реквест или нет. А то я не уверен, что правильно всё потегал (репу и ишшуй).
AP
Я не вижу другого решения. HKT нет, рекурсивных типов тоже нет.
Рекурсию
(a, (a, (..))), кстати, не только Elm не разрешает. Это и в Haskell бы не прокатило. Тут приходится развязывать структурную рекурсию отдельным рукописным типом. Только в хаскеле хватило бы newtype, что вышло бы дешевле :)K
Я в каком-то пейпере видел рекурсивные типы, кстати. В ленивом языке с подобным объектом проблем быть ее должно. А, ну да.
K
У меня руки чешутся сделать им PR или форк с HKT, но меня останавливает то, что я не спец по soundness и прочему добру. Я только один раз фрилансил HM-inference, там HKT-то и не было.