и может добавишь это на http://haskell.org/haskellwiki/Ru/Haskell ?
FlexibleInstance afair просто упрощает ограничения на заголовок instance. стандартные ограничения сделаны довольно жёстко чтобы гарантировать децидабельность. с этим флагом используюься более гибкие ограничения, тем не менее обеспечивающие децидабельность. в частности, type sysmonyms (String вместо хСрфкъ) не этот флаг позволяет писать?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
zaluzianskya and ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png)
skylark_photos
no subject
Date: 2008-07-29 01:46 pm (UTC)FlexibleInstance afair просто упрощает ограничения на заголовок instance. стандартные ограничения сделаны довольно жёстко чтобы гарантировать децидабельность. с этим флагом используюься более гибкие ограничения, тем не менее обеспечивающие децидабельность. в частности, type sysmonyms (String вместо хСрфкъ) не этот флаг позволяет писать?