Size: a a a

2020 July 22

к

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

к

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

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

к

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

data X a = A | B | C a

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

к

кана in Haskell
источник

Oℕ

Oleg ℕizhnik in Haskell
как дела?
источник

к

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

к

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

Oℕ

Oleg ℕizhnik in Haskell
Зигохистоморфный Препроморфизм
кто пояснит, почему именно это лимит?
type Lim f = forall a. f a
представления не имею, почему именно это лимит, но подобное полиморфное значение является частным случаем произведения по множеству всех типов
т.е. если взять дискретную категорию, в которой объекты - типы хаскеля и нет стрелок, кроме айдентити, а потом построить функтор D, соответствующий тайпконструктору f, пределом D будет такой тип
источник

Oℕ

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

Oℕ

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

любая зависимая функция - это возможно большое произведение
т.е. если есть 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
привет. а есть ли книга по паттернам в хаскеле/фп?
источник

MK

Maxim Koltsov in Haskell
Тааааак...
источник

A

Andrey in Haskell
^
источник

A

Andrey in Haskell
🧙‍♂️🦹‍♂️🧜‍♂️🧞‍♂️
привет. а есть ли книга по паттернам в хаскеле/фп?
вот ссылка в сообщении выше
источник

🧙

🧙‍♂️🦹‍♂️🧜‍♂️🧞‍♂️... in Haskell
Andrey
вот ссылка в сообщении выше
🙏🏿
источник

🧙

🧙‍♂️🦹‍♂️🧜‍♂️🧞‍♂️... in Haskell
Andrey
вот ссылка в сообщении выше
а есть бесплатная версия?🤔
источник

A

Andrey in Haskell
🧙‍♂️🦹‍♂️🧜‍♂️🧞‍♂️
а есть бесплатная версия?🤔
спроси в личке у автора, пожалуйста
источник
2020 July 23

in Haskell
подскажите лучше самый хороший туториал по линзам
источник

KZ

Kirill Zaborsky in Haskell
свежее из закладок (у самого пока руки не дошли) - https://williamyaoh.com/posts/2019-04-25-lens-exercises.html
источник

a

adam in Haskell
подскажите лучше самый хороший туториал по линзам
Можешь у Артёма посмотреть (lens over tea), он по-моему его в книгу упаковал
источник