A
Привет.
У меня есть некторые вопросы по алгебраическим эффектам, давайте обсудим.
https://gist.github.com/darkleaf/f0cbfe38eaad82cb44758aef1228287f
Size: a a a
2020 August 28
EM
/trolling mode on
Вся суть фпрог чата. Человек предложил интересную тему обсудить, а все продолжают бессмысленный офтоп.
Ну конечно, это же не динамическую VS статическую типизацию обсуждать.
/trolling mode off
Вся суть фпрог чата. Человек предложил интересную тему обсудить, а все продолжают бессмысленный офтоп.
Ну конечно, это же не динамическую VS статическую типизацию обсуждать.
/trolling mode off
AT
Evgenii Moiseenko
/trolling mode on
Вся суть фпрог чата. Человек предложил интересную тему обсудить, а все продолжают бессмысленный офтоп.
Ну конечно, это же не динамическую VS статическую типизацию обсуждать.
/trolling mode off
Вся суть фпрог чата. Человек предложил интересную тему обсудить, а все продолжают бессмысленный офтоп.
Ну конечно, это же не динамическую VS статическую типизацию обсуждать.
/trolling mode off
Справедливости ради, смысл алгебраических эффектов в языке без какого-либо контроля эффектов не ясен. В динамическом языке – ещё менее ясен.
EM
Ну как же, first class control flow, и при этом более понятная модель чем call/cc и delimited continuations.
AT
Мне кажется, в динамическом языке она уже не будет принципиально отличаться от исключений. 🤷♀️
AT
А хотя ладно, вспомнил, чем отличаются. 🙂
AT
Но тогда уж логичнее https://en.wikipedia.org/wiki/Common_Lisp#Condition_system реимплементировать. 😄
АГ
Справедливости ради, смысл алгебраических эффектов в языке без какого-либо контроля эффектов не ясен. В динамическом языке – ещё менее ясен.
Справедливости ради, смысл алгебраических эффектов и в статически типизрованных языках не ясен.
MK
Ну да, конечно
AT
Справедливости ради, смысл алгебраических эффектов и в статически типизрованных языках не ясен.
More loosely coupled and composable than monads and row types. 🤷♀️
АГ
More loosely coupled and composable than monads and row types. 🤷♀️
Композабельность переоценена
АГ
(Композабельность эффектов - тем более)
χλ
Тут же можно оффтопик?
Y
Композабельность переоценена
Что это значит?
χλ
Предположу, что можно :)
Витте про себя писал, что он написал философическую диссертацию про "Бесконечно малые", которую даже перевели на французский. А, по всей видимости, это диссертацию даже на русском не публиковали.
Частность министра _)
Витте про себя писал, что он написал философическую диссертацию про "Бесконечно малые", которую даже перевели на французский. А, по всей видимости, это диссертацию даже на русском не публиковали.
Частность министра _)
АГ
Нужно фигачить реальные задачи, а не композить всё, что под руку попадется
AT
Композабельность переоценена
Кем? Явно не императивными/ОО-программистами. 😂
AT
Композабельность переоценена
Лесли Лэмпорт одобряет
AT
Нужно фигачить реальные задачи, а не композить всё, что под руку попадется
I do support your sentiment but respectfully disagree with conclusions. 🙂