н
Golphyn
но MVar вполне скаловский
s/скаловский/хаскелевский
Size: a a a
2020 October 12
λР
Golphyn
где? зачем? кому?
ну там кто-то локами ногу отстрелил
G
ну там кто-то локами ногу отстрелил
они ему там не нужны
λР
Golphyn
они ему там не нужны
ну ладно тогда
G
он просто это осознать не хочет
н
не нужен этот ваш конкаррентбаг
н
пишите иммутабельно и все вам будет
λР
чё пацаны писали свои LRU/MRU кеши7
G
у него там и так почти что иммутабельность
IC
Golphyn
Отлично, чек-лист полон)
Пфффф, а идрис?
IC
Есть куда стремиться.
MN
Тот лок ничего там не значит
MN
Защита просто,и всьо
G
Пфффф, а идрис?
Ой, не надо. Скоро буду приходить с вопросами по C#, а чат будет посылать в F#, скалу, идрис сразу же
IC
пишите иммутабельно и все вам будет
Сложно писать иммутабельно в мире, где есть не только твой код.
G
Причем одновременно. А потом вообще просто посылать
IC
Сложно писать иммутабельно в мире, где есть не только твой код.
Хотя хаскелистам это незнакомо, конечно.
н
Сложно писать иммутабельно в мире, где есть не только твой код.
AK
Golphyn
Причем одновременно. А потом вообще просто посылать
В плане посылать хорошо подходит Coq.