AZ
А я единорог.
🦄
🦄
я где-то выше кидал, у меня не то что рефлекшна, у меня ни одного мутабельного состояния нет
Size: a a a
2020 June 27
ЕС
если не хватает одного поведения то надо жрать говно ВЕЗДЕ вплоть до выключения всех проверок и опечаток
У тебя тесты это делают
AZ
проект не оч большой, пара десятков тыщ строк
AZ
но все же
Z
если системы типов недостаточно мощная ты можешь её локально ослабить
только не всегда очевидно это система недостаточно мощная или ты идиот, в этом основная проблема
SP
нет не делают
ЕС
я где-то выше кидал, у меня не то что рефлекшна, у меня ни одного мутабельного состояния нет
Без мутабельности и в динамике можно.
AZ
только не всегда очевидно это система недостаточно мощная или ты идиот, в этом основная проблема
это правда
AZ
Без мутабельности и в динамике можно.
мутабельность и динамика несвязана
ЕС
Тогда к чему вброс?
SP
Без мутабельности и в динамике можно.
там в этом нет никакого смысла потому что всеравно нет никакого контроля
SP
ШВАБОДА
SP
это как пытаться в динамике юзать синглтоны и di
SP
и всем говорить что ты взрослый мальчик
AZ
ну на самом деле я начал понимать о чем говорят динамисты
AZ
когда на идрисе пописал
AZ
реально, приходится объяснять простейшие вещи, что если ты сделал
let (l, r) = splitAt n myListто
l ++ r == myListAZ
вот идрису это неочевидно, нужно сидеть и писать доказательство, что сплит даёт половинки, которые в сумме дадут исходный список
DS
А я единорог.
🦄
🦄
У меня раст, например, в проде. Точно так же никакой рефлексии, даункастов, апкастов и т.п.
SP
вот идрису это неочевидно, нужно сидеть и писать доказательство, что сплит даёт половинки, которые в сумме дадут исходный список
только их вывод в том что раз такое нельзя то надо откатиться в каменный век