AG
нормальный такой месседж типа нам можно ссать в лицо и брать заложников, все равно дружба и жвачка
Size: a a a
2020 August 11
ᛒ
вообще основной лол во всей этой истории это то как путин вперёд паровоза побежал поздравлять
конечно
λ
нормальный такой месседж типа нам можно ссать в лицо и брать заложников, все равно дружба и жвачка
Ну а че бы нет
λ
кто-нибудь пробовал что-то делать по алгебраическим эффеткам в скалке?
λ
Что ты имеешь ввиду
λ
просто интересно положение дел и есть ли что-то что можно затащить уже
λ
Что ты имеешь ввиду
"алгебраические эффекты" вроде рунар делает язык под них
в целом такие более композабельные эффекты (как мне показалось)
в целом такие более композабельные эффекты (как мне показалось)
λ
не монадический подход
λ
хотя Олег вроде говорил что не факт что не монады
SK
кто-нибудь пробовал что-то делать по алгебраическим эффеткам в скалке?
довольно много всякого было, исследовательского уровня
SK
тут другое дело, что алг. эффекты без инференса такую себе ценность имеют
λ
можно подробнее раскрыть?
SK
можно подробнее раскрыть?
тут есть два варианта, либо программист пишет какую-то спецификацию, например, с помощью аннотаций, и type-and-effect checker проверяет, что эффекты используются согласно спецификации
SK
либо есть инференс, который избавляет программиста от необходимости обкладывать кодяру аннотациями
SK
и вот вэлью варианта без инференса это, скажем так, предмет дискуссии
w
и вот вэлью варианта без инференса это, скажем так, предмет дискуссии
ой, не, я не хочу спорить об определениях, лучше пойду поработаю.
