SB
Зочем ты ему отвечаешь если он вопрос как чорт задал
так он и есть чорт.
Size: a a a
2020 March 27
DS
это я даже во внимание не принимаю, если так ставить вопрос, то никакой инструментарий теорката неприменим.
Применим в языках с зав. типами
DS
Так этих проблем нет
SB
Так этих проблем нет
это уже за гранью моего понимания. Но, например, любой моноид даст тебе полноправную категорию. И без проблем в рамках того же Хасклея ты построишь функтор, который не эндофунктор, а именно фуктор.
SB
Просто это конструирование ради конструирования.
SB
Отличный абстрактный опыт, здорово прочищает мозги, но на пратике нахуй не нужен.
DS
это уже за гранью моего понимания. Но, например, любой моноид даст тебе полноправную категорию. И без проблем в рамках того же Хасклея ты построишь функтор, который не эндофунктор, а именно фуктор.
Если ты хочешь не эндофункторы, то они аж есть в виде либы в хаскеле, но она никому не нужна
SN
Так этих проблем нет
пардон, я тут отвлекся.
в моей книжке ты числишься как человек с понятиями и с практикой, поправь меня (выше) плз, если думаешь, что я не ухватил суть
в моей книжке ты числишься как человек с понятиями и с практикой, поправь меня (выше) плз, если думаешь, что я не ухватил суть
SB
Если ты хочешь не эндофункторы, то они аж есть в виде либы в хаскеле, но она никому не нужна
в смысле? тебе будет достаточно
instance Functor. оно едва ли из кода как-то по-новому будет, просто вкладываемый смысл будет иной.SB
Находишь в Хаскле любой instance Monoid и автоматически получаешь специфическую категорию.
DS
пардон, я тут отвлекся.
в моей книжке ты числишься как человек с понятиями и с практикой, поправь меня (выше) плз, если думаешь, что я не ухватил суть
в моей книжке ты числишься как человек с понятиями и с практикой, поправь меня (выше) плз, если думаешь, что я не ухватил суть
Я чуть пропустил, а где начало дискуссия про lift и аппликативные функторы?
SB
Оттуда можно в _Hask_, предполагая, что _Hask_ существует, коненчо.
SB
вот тебе и обычный функтор.
DS
в смысле? тебе будет достаточно
instance Functor. оно едва ли из кода как-то по-новому будет, просто вкладываемый смысл будет иной.SB
это вообще впервые вижу. сейчас прочту.
SB
не, я чот уже не понимаю че это такое и как это на теоркат ложится.
SN
Находишь в Хаскле любой instance Monoid и автоматически получаешь специфическую категорию.
осталось только отразить это на практическую задачу. в примере выше - где в его типах юнит, например? и какая у него ассоциативная операция? в 90% случаев у нас все типы такие. есть категория людей, которые начинают натягивать сову на глобус и вводить какие-то абстракции чисто чтобы "как в хаскеле"
SN
Я чуть пропустил, а где начало дискуссия про lift и аппликативные функторы?
в основном началось. ща
SB
осталось только отразить это на практическую задачу. в примере выше - где в его типах юнит, например? и какая у него ассоциативная операция? в 90% случаев у нас все типы такие. есть категория людей, которые начинают натягивать сову на глобус и вводить какие-то абстракции чисто чтобы "как в хаскеле"
я потерялся в его примерах, если ты сюда скинешь, сможем попробовать разобраться.
SN
@DogeShibu https://t.me/fsharp_chat/148352 -- отсюда можно отследить начало, а потом сюда форварднули