ΑZ
а представьте себе ещё unsafe добавится
Size: a a a
2020 September 02
ΑZ
ониж пытались там с монадами что-то сделать и не вышло
да не пытались, лодочник написал "кококо смарите как все сложно"
ΑZ
и это все что есть от кортимы на эту тему
H
понятно, жаль
ΑZ
не говря о том что можно было сделать адхок
ΑZ
как в скале
ΑZ
или идрисе
ΑZ
ты же видел что в идрисе do работает с любым типом с функциями Pure (>>=)
YB
Т-34 85
так растёт же с 2016го! Думаю, нет удивления, почему в 2014 и в 2015 было падение?
Есть реальные данные которые совпали
ΑZ
даже если они не подходят под Monad
H
ты же видел что в идрисе do работает с любым типом с функциями Pure (>>=)
ага
ΑZ
ну вот
H
грустно
ΑZ
что мешало так же делать? Говно система типов? Нет общего интерфейса?
ΑZ
ну хоть синтаксис норм однообразный
Т8
Есть реальные данные которые совпали
а?
p
но тут проблема тупо в том что люди не видят монад и делают ерунду
В расте их нет.
p
Ну ансейф и асинк
YB
Т-34 85
а?
Есть данные роста реального ВВП с 1990 до 2018 где 1990 берётся за 100%
p
да не пытались, лодочник написал "кококо смарите как все сложно"
Да скорее всего проблема раста в архитектуре