чего тебе выразить?

я не понимаю, чего ты от меня хочешь, прости :)

Извени вы на нете сидите?

на чём?

я правда не понимаю

дот нет

нет :)

Понятно

но я его знаю, а в чём дело?

Да ничего просто спросил)

а, ок

Семён блин даже не знаю как с тобой философствовать - задавишь)

Дак а чего тут философствовать? Работать надо :)

Есть такая штука как "алгоритмическая разрешимость"

И ещё такая штука как "тьюринг-полнота"

любая алгоритмически разрешимая задача может быть алгоритмически решена на любом тьюринг-полном языке

если попроще — на haskell можно выразить тоже самое, что и на java

дальше нюансы

вон там выше писали, что человек все задачки на голом лямбда-исчислении решил, охотно верю

лямбда исчисление тьюринг полно

Да то что выразить хоть на джава или хаск понятно - но меня парадигма декларативный или императивный и Объект всё ил и всё Фуннкция мучают(

сочувствую

Двай по простму - как думаешь декларативность сможет убить императивщину - когда системы на какойто точке будут сложные?

"Сможет ли когда-нибудь электромобиль убить ДВС"

Нет, не сможет, этого не требуется

и те и другие нужны

декларативного программирования вокруг дохренища

мы его не замечаем как-то

"Сможет ли когда-нибудь электромобиль убить ДВС"

Я думаю чтото другое их вместе похоронит на какомто отрезке времнини 100 лет например)

Пример 19 век эра угля 20 век эра нефти 21 век -?

Так и в ЯП что ?

Что значит что?

Декларативное программирование клёвое, удобное, выразительное, его любят

Но есть много задачек, которые декларативно решаются хреново

их и не решают

имеем, то, что имеем

Ну я точно не знаю - но предполагаю - сперва императивность потом должна декларативность и затем чтото ?Что вот и надо придумать)

А ничего, что декларативность появилась очень давно?

и чот вот не победила как-то пока до конца

Эти же абстракции это же тоже попытка сделать сложное проще - те декларативность

маккарти лисп в 1958 году открыл

Эти же абстракции это же тоже попытка сделать сложное проще - те декларативность

Ага, но только бесплатных абстракций не существует, делай скидку на производительность

все вот эти проблемы с памятью при иммутабельных данных и прочая

удобно для человека, не очень для машины

Ага, но только бесплатных абстракций не существует, делай скидку на производительность

Да в это же всё и упирается)

где получается эффективно решить — решают

но есть вещи, которые невозможно эффективно решить с иммутабельными данными

deal with it

где получается эффективно решить — решают

Сможешь простой пример привести - не надо там в тонкости?

На пальцах)

почитай пейпер про GC haskell'а :)

я не знаю как на пальцах объяснить

ну, хотя

почитай пейпер про GC haskell'а :)

Хорошо почитаю- спасибо

твой классный, декларативный иммутабельный код в рантайме вовсе не такой уж иммутабельный получается

Я сторонник простоты не строй пирамиду - лучше выкопай яму?

твой классный, декларативный иммутабельный код в рантайме вовсе не такой уж иммутабельный получается

Может это изза того что железо не подходит?

эээ, в смысле?

жаль, конечно, что у нас нет железа с бесконечной транзакционной памятью

я согласен

но другого у нас нет

А птипа плис итп вот чем не декларативня платформа (я в ней не шибко - надеюсь пока)

Например гепотический язые будет отражаться на декларативную платформу - чем не решение?

У тебя процессор по определению работает тактами и оперирует мутабельными регистрами

Если кто-нибудь, когда-нибудь, построит квантовый компьютер, можно будет поговорить :)

а пока это всё влажные мечты трансгуманистов

ну и да, гугли lisp machine

Да про квантовый читал там не только два состояния)

ERROR: S client not available

Но если это пойдёт в массы то императивщина будет как прогать в читстых шестн кодах-имхо

Просто функция как я понимаю (без матана- наивное представление) - это тотже объект только без состояния - например стул можно представить в виде функции( от например x y z)

я тебе страшную вещь скажу

может так случится, что у тебя будет функция с состоянием

это называется "замыкание"

Да знаю - но это уже почти объект с сотоянием или как ловушка на мышь с заряженной пружиной

Но она же "заряжена ведь" где тут мутабельность?

а что тебе мешает мутабельность сделать? Если у тебя в принципе существует мутабельность?

А зачем это мутация нужна?Это же повышает инвариантность - а это на то и на то итп это то что называется- нельзя предугадать что будет в реальности

Я не говорю, что мутабельность на кложуриках нужна

но она возможно как минимум

Тут и теститрование и ттд итп итп но это только усложняет - представь мозг протестировать?

а вообще мутабельность нужна для эффективной работы с ограниченой памятью

у тебя физически ограничено количество места, куда ты что-то можешь положить, как без мутабельности-то?

можно сколько угодно восхищаться строгостью и математичностью, доказывать с пеной у рта, что твою программу можно формально доказать (кстати, ни разу не видел чтобы кто-то кроме NASA этим реально занимался и то, они "доказывают" мутабельный Си)

только вот даже в хаскеле есть MVar

а вообще мутабельность нужна для эффективной работы с ограниченой памятью

Да согласен - но может не нужно отделять данные от структуры алгоритма?Типа нейронной сети она же хранит типа состояние но при этом чтстая

Это может и глупая идея но смысл понятен я думаю

Да согласен - но может не нужно отделять данные от структуры алгоритма?Типа нейронной сети она же хранит типа состояние но при этом чтстая

Не, это не смешно даже

проблема в нейронных сетях в том, что никто не понимает как именно она решает задачу

в смысле если у тебя есть "сломанная" нейросеть, единственный способ её почиинить — обучить заново

и надеятся, что на этот раз ты всё сделаешь правильно

здорово, конечно, но не вполне то, чего ожидаешь от надёжного решения

Не, это не смешно даже

Да так и будет( Но её ведь проще прогать - зачем тесты писать - берём чистую (типа глины) сущность - а проги (ака тестеровщики) её обучают согласно требований - может это будущее?

Ты чот всё про будущее вопросы задаёшь зачем-то

из меня предсказатель как из говна пуля

я понятия не имею, что там будет в будущем

Да нет просто соображения важны

Ну они как бы вообще не важны

совсем

Это просто брэйн шторм - главное идеи - а что будет Там то будет)

Это просто брэйн шторм - главное идеи - а что будет Там то будет)

то есть это нагревание воздуха, потому что ни на что не влияет