Haskell или конкретный компилятор, есть что-нибудь вроде лямбда-выражений на уровне типов (если это вообще термин)? Чтобы уточнить, скажем, у меня есть параметризованный тип Foo ab и я хочу, чтобы Foo _ b был экземпляром, скажем, ...
вопрос задан: 1 November 2010 14:37