МБ
Ага. Об этом варианте я не думал. Спасибо!
prod q = (f $ fst q, g $ snd q)Size: a a a
2019 November 21
ЗП
мб?
NI
мб?
prod q = (f $ fst q, g $ snd q)Так, да. Но смысл понятен.
ЗП
prod :: (x -> z) -> (y -> z) -> (x, y) -> (z, z)prod :: Profunctor p => p x z -> p y z -> p (x, y) (z, z)очень похоже на профункторный split
ЗП
а) все потому что
StrongNI
В хаскеле все кошки серые монады strong, дааа
ЗП
но тут профунктор)
NI
дЫк важно то, что хаскель well pointed.
Из этого многое strong следует.
Из этого многое strong следует.
C
Alert! Rob Black is a known spammer and is CAS banned. Ban is strongly recommended.
t
разбираюсь в основах, читаю Бартоша. Есть задание для самопроверки
5. How many different functions are there from Bool to Bool? Can you implement them all?
верно ли я понимаю, что 4? т.к. подразумеваются только чистые функции, то фактически это может быть только T->T, T->F, F->T, F->F, независимо от того, что и как они делают - результатирующих уникальных функций будет четыре?
5. How many different functions are there from Bool to Bool? Can you implement them all?
верно ли я понимаю, что 4? т.к. подразумеваются только чистые функции, то фактически это может быть только T->T, T->F, F->T, F->F, независимо от того, что и как они делают - результатирующих уникальных функций будет четыре?
t
и 6. Draw a picture of a category whose only objects are the types Void, () (unit), and Bool; with arrows corresponding to all pos- sible functions between these types. Label the arrows with the names of the functions.
является ли описанная конструкция категорией, ведь как я понимаю, стрелки от ⊥ к другим типам не будет?
является ли описанная конструкция категорией, ведь как я понимаю, стрелки от ⊥ к другим типам не будет?
t
а, значит, не будет ⊥ -> ⊥?
t
а раз нет id-стрелки, то вроде это не категория?
t
или важно не то, что получившуюся функцию нельзя вызвать, а само ее существование, поэтому absurd :: ⊥ -> a из примера выше является валидной конструкцией, и, следовательно, и ⊥ -> ⊥ возможно?
V
разбираюсь в основах, читаю Бартоша. Есть задание для самопроверки
5. How many different functions are there from Bool to Bool? Can you implement them all?
верно ли я понимаю, что 4? т.к. подразумеваются только чистые функции, то фактически это может быть только T->T, T->F, F->T, F->F, независимо от того, что и как они делают - результатирующих уникальных функций будет четыре?
5. How many different functions are there from Bool to Bool? Can you implement them all?
верно ли я понимаю, что 4? т.к. подразумеваются только чистые функции, то фактически это может быть только T->T, T->F, F->T, F->F, независимо от того, что и как они делают - результатирующих уникальных функций будет четыре?
да
V
или важно не то, что получившуюся функцию нельзя вызвать, а само ее существование, поэтому absurd :: ⊥ -> a из примера выше является валидной конструкцией, и, следовательно, и ⊥ -> ⊥ возможно?
да
t
спасибо
t
да
а, нет, неправда ваша. Bool -> Bool означает, что может еще быть T->⊥ и F->⊥
t
т.е. 6 функций
t
⊥->T и ⊥->F тоже есть, но их нельзя реализовать