0xd34df00d
24.10.2012 08:45 Azoth_mac
Почему abs :: a → a в определении тайпкласса Num? Я соснул с реализацией Num для векторов :(
Recommended by:
@pooq: моча съела говно
8 comments
recommend
bookmark
subscribe
А как ты инстанировал fromInteger?
Этот кусок прелюдии давно кандидат на рефакторинг.
Никак пока.
Поскорее бы уже.
Ну и вот, в том и дело, что Num это в первом приближении что-то типа "интуционистки заданное подкольцо вещественных". Да, это совершенно нелогично, что Num часто используют там, где стоит использовать кольца, но это общая проблема ghc
Почему ghc? Похоже, что всего стандарта.
Олсо, я просто плюсик хочу. В каком модуле там были тайпклассы для всяких колец-хуец?
ghc слабо связан со стандартом, в стандарте вообще каша вместо типовой системы (в ghc — консервативное расширение System FC up)
Могу посоветовать ткнуть в http://hackage.haskell.org/package/algeb... в base ничего такого с ходу не помню, посмотрю повнимательнее сейчасъ