Вопросы по теме 'algebraic-data-types'
Почему в алгебраических типах данных, если я могу определить специальные функции «от» и «до» для двух типов, эти два типа можно считать равными?
Я читаю этот блог: http://chris-taylor.github.io/blog/2013/02/10/the-алгебра-оф-алгебраических-типовданных/
В нем говорится:
Однако, когда я говорю о равенстве, я не имею в виду равенство Haskell в смысле функции (==). Вместо этого я имею...
285 просмотров
schedule
05.11.2023