23 Sep
2012
23 Sep
'12
11:34 a.m.
* Heinrich Apfelmus
Unfortunately, making literals polymorphic does not always achieve the desired effect of reducing syntax. In fact, they can instead increase syntax! In other words, I would like to point out that there is a trade-off involved: is it worth introducing a small syntactic reduction at the cost of both a small additional conceptual complexity and some syntactic enlargement elsewhere?
Can't you just disable the extension when you realise that it makes your life harder? Roman