KV
Да, это не то получится
a -> b -> c например, в общем случае?Это верно?
( a, b ) -> c
c -> Either a b
Size: a a a
2018 December 18
p
И как мы дуализируем
Это верно?
( a, b ) -> c
c -> Either a b
Это верно?
( a, b ) -> c
c -> Either a b
p
Или я не туда эту дуализацию прикладываю?
KV
Или я не туда эту дуализацию прикладываю?
Ну в общем да. Надо понимать, в каких категориях стрелки разворачивать
p
Как понять? :)
KV
Меня спрашивать бесполезно, я сам не понимаю :(
p
😐 Видимо надо разбираться с сопряженными функторами.
2018 December 19
R:
Создатель говорит что он очень классный и даже быстрее хэдвига
p
Где ты это находишь?
R:
Где ты это находишь?
Что "это"?
R:
Где ты это находишь?
R:
Где ты это находишь?
AG
> This repository has been archived by the owner. It is now read-only.
недолго мучалась старушка
недолго мучалась старушка
R:
> This repository has been archived by the owner. It is now read-only.
недолго мучалась старушка
недолго мучалась старушка
Это же норма
p
> This repository has been archived by the owner. It is now read-only.
недолго мучалась старушка
недолго мучалась старушка
🤣 Так а зачем столько одинаковых старушек?
VY
интересно зачем он это сделал)
в смысле, я так понял это не порт, он писал сам просто поверх инферно.
пописал с месяц, заархивировал, даже ридми нет
хоть написал бы как к этому относиться...
что-то типа "это эксперимент, не обращайте не меня внимания, да и сам я забил уже"
щас перечитал своё сообщение – как-то не вежливо звучит, но в целом, оно так ведь и есть
в смысле, я так понял это не порт, он писал сам просто поверх инферно.
пописал с месяц, заархивировал, даже ридми нет
хоть написал бы как к этому относиться...
что-то типа "это эксперимент, не обращайте не меня внимания, да и сам я забил уже"
щас перечитал своё сообщение – как-то не вежливо звучит, но в целом, оно так ведь и есть
p
интересно зачем он это сделал)
в смысле, я так понял это не порт, он писал сам просто поверх инферно.
пописал с месяц, заархивировал, даже ридми нет
хоть написал бы как к этому относиться...
что-то типа "это эксперимент, не обращайте не меня внимания, да и сам я забил уже"
щас перечитал своё сообщение – как-то не вежливо звучит, но в целом, оно так ведь и есть
в смысле, я так понял это не порт, он писал сам просто поверх инферно.
пописал с месяц, заархивировал, даже ридми нет
хоть написал бы как к этому относиться...
что-то типа "это эксперимент, не обращайте не меня внимания, да и сам я забил уже"
щас перечитал своё сообщение – как-то не вежливо звучит, но в целом, оно так ведь и есть
Ну, написал человек
Я просто вот не понимаю. Есть же PUX. Разметка там вроде на фримонаде. Написать интерпретатор для любого бекенда не выглядит сложным. Зачем армия клонов?
себе игрушку.Я просто вот не понимаю. Есть же PUX. Разметка там вроде на фримонаде. Написать интерпретатор для любого бекенда не выглядит сложным. Зачем армия клонов?
p
Иначе к чему там эта фримонада? 🙃