169 похожих чатов

Кстати, если хотите увидеть наброс, он бы выглядел так. Почему

Functor и Contravariant это разные сущности одного уровня, судя по спецификациям?

13 ответов

12 просмотров

и где это одно и тоже? https://github.com/fantasyland/fantasy-land#functor https://github.com/fantasyland/fantasy-land#contravariant сигнатуры видишь?

Давайте нормальный наброс! Почему если в Haskell так сильно парятся о типах, то threadDelay принимает загадочный Int, так что без чтения документации нельзя понять, о чём речь? Ответ прост: исторические причины. Да и держать в голове, что там мкс, а не что-то ещё, весьма несложно. Всё-таки таких функций не очень-то и много

ㅤ Атеист
Давайте нормальный наброс! Почему если в Haskell т...

слава богу, что хаддок доступен в редакторе

Алексей-Алексеев Автор вопроса
ㅤ Атеист
Давайте нормальный наброс! Почему если в Haskell т...

Вот я тоже про исторические причины. В идеале Functor должен быть абстрактным классом, от которого наследуют Covariant и Contravariant.

и что? ты доверяешь жсерам? там априори не возможно что-то сделать нормально в плане поведения тайпклассов кроме как на честном слове

Алексей-Алексеев Автор вопроса
Zygohistomorphic Prepromorphism🇺🇦
как это?

есть Functor, который как бы Covariant

ㅤ Атеист
Давайте нормальный наброс! Почему если в Haskell т...

@Ordinary_man я решил ту проблему, о которой говорили

Похожие вопросы

Обсуждают сегодня

30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Всем привет! Имеется функция: function IsValidChar(ch: UTF8Char): Boolean; var i: Integer; ValidChars: AnsiString; begin ValidChars := 'abcdefghijklmnopqrstuvwxyzABCDE...
Евгений
44
Карта сайта