Functor и Contravariant это разные сущности одного уровня, судя по спецификациям?
и где это одно и тоже? https://github.com/fantasyland/fantasy-land#functor https://github.com/fantasyland/fantasy-land#contravariant сигнатуры видишь?
Давайте нормальный наброс! Почему если в Haskell так сильно парятся о типах, то threadDelay принимает загадочный Int, так что без чтения документации нельзя понять, о чём речь? Ответ прост: исторические причины. Да и держать в голове, что там мкс, а не что-то ещё, весьма несложно. Всё-таки таких функций не очень-то и много
слава богу, что хаддок доступен в редакторе
"Исторически сложилось"
Ну, это тоже, кстати
Вот я тоже про исторические причины. В идеале Functor должен быть абстрактным классом, от которого наследуют Covariant и Contravariant.
кажется, ты не разбираешься в теме
и что? ты доверяешь жсерам? там априори не возможно что-то сделать нормально в плане поведения тайпклассов кроме как на честном слове
В хаске же нет Covariant, как я понял.
есть Functor, который как бы Covariant
а если не так сильно парятся?
@Ordinary_man я решил ту проблему, о которой говорили
Обсуждают сегодня