То, что надо

[migmit]

Кинули тут в твиттере линк: http://hackage.haskell.org/trac/ghc/ticket/7642

Вкратце: тайпклассы БЕЗ параметров. У такого тайпкласса, естественно, может быть только один инстанс, так что кажется, что это то же самое, что и просто значение. Но один юзкейс я вижу. Это форвард-декларации. То есть "я предоставлю это значение, но не здесь, а в другом модуле, который сюда импортировать не хочу или не могу". То, что в каких-нибудь плюсах есть просто с рождения.

Для типов, кстати, форвард-декларации есть, это семейства типов без параметров. Они работают прекрасно.

Пейтон-Джонса, в итоге, убедили, что реализовать это надо.

Comments

[juan-gandhi.livejournal.com]

Красиво