AT
либо городить непрозразные для редукции интерфейсы из 100500 свойств
Size: a a a
2021 March 07
AT
вообще “комонады” сейчас для меня более актуальны, @catostrophe
λ
вообще “комонады” сейчас для меня более актуальны, @catostrophe
Почему в кавычках?
λ
Что комонадическое используешь?
Oℕ
прости, он хотел написать "@catostrophe"
λ
Пытаюсь из эхочамбера вырваться, узнать как дела в других закоулках
AT
Почему в кавычках?
потому что я хочу затащить в прод язык с модальными типами, которые похожи на комонады
w
потому что я хочу затащить в прод язык с модальными типами, которые похожи на комонады
хахаха, да мне вообще похуй
λ
потому что я хочу затащить в прод язык с модальными типами, которые похожи на комонады
Помню грызлов пару лет назад про модальные типы много писал
λ
Кроме названия ничего не запомнил
λ
Какие модальности бывают?
λ
can, may, will
AT
обычно 2 рассматривают — бокс и даймонд
AT
а там уже от интерпретации зависит
λ
а там уже от интерпретации зависит
В Копенгагенской пожалуйста
λ
обычно 2 рассматривают — бокс и даймонд
Мне конечно даймонд, а собаке бокс крылышек
AT
в темпоралке — always/eventually
в языках с эффектами можно бокс интерпретировать, например, как вычисление без эффектов, типа как в Recovering Purity with Comonads and Capabilities
в языках с эффектами можно бокс интерпретировать, например, как вычисление без эффектов, типа как в Recovering Purity with Comonads and Capabilities
λ
обычно 2 рассматривают — бокс и даймонд
Можешь рассказать великим могучим без нечитабельной з
K
Переслано от KrivdaTheTriewe
И с плечом в теслу зайти