И
это еще надо AllowAmbiguousTypes включать?
Size: a a a
2021 October 15
SG
я так понимаю здесь рассматривается задача как без синглтонов кое-где иметь похожее поведение. Ну, да, при помощи TypeApplication мы можем это рассматривать как функция, которая возвращает значение по переданному типу. А как быть, если нам наоборот как-то надо какие-то значения представить как типы? Ну вот та же задача с ролями у пользователя, например.
И
для того примера?
SG
> AllowAmbiguousTypes
Да я так понял, что в современном хаскеле при программировании на типах надо его сразу отключать, поскольку современная система типов хаскеля давно уже без этого может корректно работать.
Да я так понял, что в современном хаскеле при программировании на типах надо его сразу отключать, поскольку современная система типов хаскеля давно уже без этого может корректно работать.
AP
Да, нужно будет. Но в данном случае указание типа через Type Application всё равно подразумевается, так что это расширение не помашает
AP
Ну нет!
YS
Постоянно включаю
YS
Как раз тайп аппликейшенами и уточняю где надо
AP
"Включаю, когда компилятор попросит"
YS
(всегда)
YS
(прошу компилятор попросить включить)
JS
мои коллеги почему-то боятся AAT, предпочитают через Proxy писать, якобы так более явно
AP
Тут уже синглтоны самописные или пакетные
AP
Но это паттерн, можете считать
SG
ну у вас там есть чего бояться, наверное, я бы тоже боялся отключать, наверное
YS
Ну кажется бояться нечего
YS
Если включить, то всё равно неоднозначные (невыводимые?) места не скомпилируются
SG
когда бояться нечего, всегда можно бояться мало ли чего. Я вот иногда боюсь мало ли чего 🙂
YS
ну, наверное
JS
а не надо делать неоднозначные места, надо типы через прокси передавать