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