nvkv
может так случится, что у тебя будет функция с состоянием
nvkv
это называется "замыкание"
Evgeniy
Да знаю - но это уже почти объект с сотоянием или как ловушка на мышь с заряженной пружиной
Evgeniy
Но она же "заряжена ведь" где тут мутабельность?
nvkv
а что тебе мешает мутабельность сделать? Если у тебя в принципе существует мутабельность?
Evgeniy
А зачем это мутация нужна?Это же повышает инвариантность - а это на то и на то итп это то что называется- нельзя предугадать что будет в реальности
nvkv
Я не говорю, что мутабельность на кложуриках нужна
nvkv
но она возможно как минимум
Evgeniy
Тут и теститрование и ттд итп итп но это только усложняет - представь мозг протестировать?
nvkv
а вообще мутабельность нужна для эффективной работы с ограниченой памятью
nvkv
у тебя физически ограничено количество места, куда ты что-то можешь положить, как без мутабельности-то?
nvkv
можно сколько угодно восхищаться строгостью и математичностью, доказывать с пеной у рта, что твою программу можно формально доказать (кстати, ни разу не видел чтобы кто-то кроме NASA этим реально занимался и то, они "доказывают" мутабельный Си)
nvkv
только вот даже в хаскеле есть MVar
Evgeniy
Это может и глупая идея но смысл понятен я думаю
nvkv
nvkv
проблема в нейронных сетях в том, что никто не понимает как именно она решает задачу
nvkv
в смысле если у тебя есть "сломанная" нейросеть, единственный способ её почиинить — обучить заново
nvkv
и надеятся, что на этот раз ты всё сделаешь правильно
nvkv
здорово, конечно, но не вполне то, чего ожидаешь от надёжного решения
Evgeniy
Не, это не смешно даже
Да так и будет( Но её ведь проще прогать - зачем тесты писать - берём чистую (типа глины) сущность - а проги (ака тестеровщики) её обучают согласно требований - может это будущее?
nvkv
Ты чот всё про будущее вопросы задаёшь зачем-то
nvkv
из меня предсказатель как из говна пуля
nvkv
я понятия не имею, что там будет в будущем
Evgeniy
Да нет просто соображения важны
nvkv
Ну они как бы вообще не важны
nvkv
совсем
Evgeniy
Это просто брэйн шторм - главное идеи - а что будет Там то будет)
nvkv
Evgeniy
Ну почему может тут пацан почитает и потом через 50 лет чтото сделает что нам облегчит жизнь)
Denis
Что делать?
Alexander
Как хорошо что у меня клавиатура умерла на телефоне.. и мне не надо участвовать в этом диалоге
nvkv
nvkv
Alexander
Очень неудобно, так что уж как мч компа буду
Evgeniy
nvkv
nvkv
а если и буду, то уже, наверное, в маразме
Denis
Поговорили тут о замыканиях и хранимом состоянии, а воспаленный разум породил монстра: использовать замыкания для имитации мутабельных переменных. Пните меня, что ли...
nvkv
nvkv
вроде как делают так от бедности
nvkv
но лучше для имитации мутабельных перемнных использовать нормальные мутабельные переменные завёрнутые в STM
Denis
nvkv
я ж говорю, от бедности
nvkv
вон в кложе, например, весь мутабельный стейт сделан на STM
nvkv
ну, почти весь
Evgeniy
Блин ну неужели без мутации никуда?
nvkv
в хаскеле STM тоже давно и надолго
Evgeniy
Кстати нейрон как я помню - чистая и неделится - те читсая функция
nvkv
представь себе, что есть способы организовать мутабельность без особого усложнения жизни
Evgeniy
nvkv
Denis
nvkv
мозг человека ужасно подвижная хрень, в ней всё время что-то меняется
Evgeniy
Нет там всё решают связи между ними
nvkv
ну а это типа не мутабельность? :)
nvkv
во-вторых я про связи
nvkv
связи же не через магическую телепатию работают, это вполне конкретные соединения нейронов
Denis
Где-то читал, что примерно за 50 лет в организме человека успевают обновиться все клетки. То есть от того младенца, которым человек когда-то был, ничего не остается на физическом уровне
Evgeniy
nvkv
nvkv
берёшь значит, 4 гигабайта порно
nvkv
копируешь на соседний компьютер
nvkv
и опа!
nvkv
никаких отличий!
nvkv
МАГИЯ
Evgeniy
Ну если нейрон расмотреть как чистую функцию - а связи между ними это мутабельный мир и к чему приходим?
Denis
никаких отличий!
При этом ни одного общего электрона между двумя компьютерами нет
Evgeniy
Ну я думаю память био мозга- строится на эвентах те чтобы тебя клонировать надо все эвенты проиграть в точности)
nvkv
nvkv
она сейчас главная