MK
Очень сложно
что сложно, моя шутка или про foldl?
Size: a a a
2020 May 18
R:
Обои*
MK
обои должны быть нескучные
AV
Обои должны быть с зеленым холмом!
R:
Обои должны быть с аниме!
R
class (forall env. (MonadReader env m => HasPrettyConfig env config)) => MonadPretty config m | m -> configтащить
QuantifiedContexts ради такой херни? Нет уж֍֎
Обои должны быть с зеленым холмом!
Это шутка про XP?
AV
MK
тащить
QuantifiedContexts ради такой херни? Нет ужправильно, нет уж
MK
но я бы почитал правила почему так нельзя
MK
где-то это же должно быть описано
MK
в стандарте например
R
class (forall env. (MonadReader env m => HasPrettyConfig env config)) => MonadPretty config m | m -> configну и там должно быть что-то вроде
но не суть
class (forall env. (MonadReader env m, HasPrettyConfig env config)) => MonadPretty config m | m -> configно не суть
MK
а, в стандарте не было MPTC наверное
MK
ну и там должно быть что-то вроде
но не суть
class (forall env. (MonadReader env m, HasPrettyConfig env config)) => MonadPretty config m | m -> configно не суть
нет, тогда он скажет что tuple constraint в QC нельзя))
АХ
там фандепы, в стандарте разве были фандепы?