9 Feb
2010
9 Feb
'10
3:01 p.m.
| Hello Simon and others, | | unfortunately, I missed this e-mail. | | Yes, removal of impredicative polymorphism hurts me, since impredicativity | plays a crucial role in the Grapefruit FRP library at the moment. This is | described in section 5 of my paper “Signals, Not Generators!” [5]. It’s | probably possible to use a workaround involving a newtype wrapper, in case | polymorphic fields in newtypes are still supported. However, this makes things | more awkward for library users. I plan to support impredicative polymorphism in some form; but you may need more type annotations. I'll announce when there's something to test (it'll be a couple of months). Simon