ЗП
блин, ребята, это обязательно в типе, если он полиморфен
https://github.com/purescript/purescript/issues/766#issuecomment-66807499
в этом ишью, наверное, можно узнать всю историю explicit forall в PS
Size: a a a
2018 November 28
e
1. "Нинужны"
2. Путают
3. Пугают нуфагов
2. Путают
3. Пугают нуфагов
Для ньюфагов есть эльм
Aq
ну вот когда они нужны, тогда можно и квантор написать
скоупед тайп вариаблес можно и без них использовать
2018 November 29
ЗП
p
Более общий тип там, где ожидается более конкретный?
e
Там интересно, если я сигнатуру уберу, то он сам выводит её и все работает (с warning конечно). Если я эту сигнатуру вставлю копи-пейстом, то ломается с таким же сообщением.
e
Могу код залить на гитхаб, там 80 строчек всего
e
Экспериментирую с прокидыванием update-а через message + линзы
VY
а там точно
а то мб по структуре только
upd: я сам не понял что написал :)
p1 = t0 ?а то мб по структуре только
upd: я сам не понял что написал :)
e
По моему в PS типы прозрачные, если структура совпадает - то все унифицируется
p
Там интересно, если я сигнатуру уберу, то он сам выводит её и все работает (с warning конечно). Если я эту сигнатуру вставлю копи-пейстом, то ломается с таким же сообщением.
Залей, конечно. Интересно глянуть, как минимум.
p
на Pastebin можно
VY
я в таких случая использовал wildcard, упрощал (заменял то, что мне подсказывал компилятор на свои алиасы) и смотрел потом чем отличается мой тип от того, что он вывел
p
Пурса вообще отличается своими замечательными раскукоженными типами в ошибках, которые хрен можно понять. 🤣
p
Кстати, как вы кванторы пишете? У вас клава для APL? 🤣
AG
VY
у меня в emacs quail и правило
("~forall" ["∀"]), например