← All posts tagged q

@lv пишет

Я помню ...krieger. который умещал шутан уровня ку3 в нескол ко десятков килобайт. Я уверен, что при определенных затратах (и обрезаниях некоторых фишек) можно сделать и мажорный апдейт нормально. Правда тут устанет другой вопрос — а [зачем] тогда новое железо каждый год :)))
вот так-то, учитесь программировать ребятки!

Note [Instantiating stupid theta]
Normally, when we infer the type of an Id, we don't instantiate,
because we wish to allow for visible type application later on.
But if a datacon has a stupid theta, we're a bit stuck. We need
to emit the stupid theta constraints with instantiated types. It's
difficult to defer this to the lazy instantiation, because a stupid
theta has no spot to put it in a type. So we just instantiate eagerly
in this case. Thus, users cannot use visible type application with
a data constructor sporting a stupid theta. I won't feel so bad for
the users that complain.