t
т.е. 8 функций итого, из них 6 реализуемые
Size: a a a
2019 November 21
V
ну это зависит от того, о какой категории идет речь
t
хотя, ⊥->⊥ формально тоже Bool->Bool
t
значит, 9
Oℕ
Полагаю, автор всё же надеялся на ответ 4
t
ну это зависит от того, о какой категории идет речь
в примере не уточняется, Hask или Set... если я правильно понимаю, в Set - 4, в Hask - 9?
t
я совершенно не ориентируюсь, поэтому пожалуйста не бейте
Oℕ
в Hask тоже 4, если рассматривать боттомы, Hask вообще не категория
V
если притвориться, что Hask всё-таки категория, то нет, не 9, т.к. не все функции реализуемы
V
если true и false отображаются в разные значения, то bottom обязан в bottom отображаться
V
если точнее, то должен сохраняться порядок, что bottom — минимальный элемент
V
под "не 9" я имел в виду "не 27" :)
t
так, тогда забудем про Hask. в Set боттом включен? значит, Bool = True | False это скорее Bool = True | False | ⊥, так ведь?
V
В Set bottom нет
t
ага.
V
там по определению все функции тотальны
t
теперь понял. значит, если бы Hask был категорией (которой он не является, но почему, я узнаю позже) - то было бы 3*3 функций, из них реализуемы только те, которые не от ⊥, так?
t
т.к. ⊥ будучи типом с 0 инхабитантов является вроде как субтипом всех возможных типов
t
и тот же () на самом деле () | ⊥?
t
я понимаю, что запись | ⊥ не имеет смысла, т.к. нельзя 0 приписать