Телеграмм чат группы haskellru страница 13130

это правда должно работать только для функторов, у остальных аргумент может быть индексом и тогда все сломается

22:07пожаловаться #1

кана

возможно можно вместо этого написать

type Lim f = f Void

хорошими примерами являются [Void] или Maybe Void, для любого [x] существует только один морфизм в [Void], это \xs -> []

22:09пожаловаться #2

а для чего-нибудь типа

data X a = A | B | C a

будет два по два морфизма, можно ли A и B назвать приделами X я не знаю, так как это один объект, были бы два - было бы два предела

Oℕ

как дела?

пока не разъяснишь ситуацию выше, то плохо, так что ты теперь ответственен

22:13пожаловаться #6

с другой стороны, f (forall a. a) это не совсем то же самое что и forall a. f a, но я разницы не вижу пока

22:17пожаловаться #7

Oℕ

Зигохистоморфный Препроморфизм

кто пояснит, почему именно это лимит?
type Lim f = forall a. f a

представления не имею, почему именно это лимит, но подобное полиморфное значение является частным случаем произведения по множеству всех типов
т.е. если взять дискретную категорию, в которой объекты - типы хаскеля и нет стрелок, кроме айдентити, а потом построить функтор D, соответствующий тайпконструктору f, пределом D будет такой тип

22:17пожаловаться #8

Oℕ

т.к. произведения - частный случай лимитов, в принципе это не ложь

22:18пожаловаться #9

Oℕ

если вам будет проще, представьте завтипный язык

любая зависимая функция - это возможно большое произведение
т.е. если есть f : Bool -> Type тип (x: Bool) -> f x соответствует тюплу из двух значений
если есть f : Fin n -> Type, тип (x : Fin n) -> f x соответствует тюплу из n значений
если есть f : Type -> Type, тип (x: Type) -> f x соответствует гигантскому произведению и одновременно типу 1 ранга forall x. f x

🧙‍♂️🦹‍♂️🧜‍♂️🧞‍♂️... in Haskell

22:27пожаловаться #10

🧙

привет. а есть ли книга по паттернам в хаскеле/фп?

23:42пожаловаться #11

Maxim Koltsov in Haskell

Тааааак...