metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2007-11-26 10:39 pm

Влияние книг по ФП на неокрепший моск

> базы(данных) это зло
> очевидно они не нужны
их очевидно нужно встроить как фичу языка
SaveState; LoadState;
все
оптимизация и прочее - пусть DBA думают.
просто проги должны выглядеть как электронная схема, собранная из модулей, между которыми бегают сигналы
нужно извне вщемиццо - отсоединили провода, встроили свой модуль

нужно заменить гуи на cli и обратно - разъем отсоединили, заменили модуль интерфейса.
проге похуй - у нее вход-выход
нужны скины, дуделки, свиристелки и шевелящиеся иконки - покупаете гламурный розовый модуль интерфейса отдельно и идете нахуй.
правда для этого придеццо расширить идею stdin,stdout и stderr
у проги несколько входов и несколько выходов
соединяем конвеерами
один выход типа stderr всегда отладочный :)
а еще лучше штук 5 :)
в зависимости от того куда смотрим - логи разной подробности, при этом в неподсоединенные выходы ничего не пишеццо
а, и самое главное - каждый вход и выход описывается типами объектов которые могут по нему ходить
разные хуй соединишь - нужны типа микро-скрипты адаптеры.
внутри прог - автоматический вывод типов

[identity profile] 1ceheart.livejournal.com 2007-11-26 08:53 pm (UTC)(link)
В мире FPGA было много попыток сделать что-то вроде. Не вполне неудачных. То есть если какой-то сложный проект, то берешь Quartus и действительно мышкой набираешь из модулей: вот, хочу ядро такое, хочу к нему контроллер DDR, хочу к нему два UART, и еще хочу к нему то се пятое десятое. Красота.

На практике - хуй. То есть это работает в рамках стандартных задач. Шаг влево-вправо - и красоту немедленно в помойку, а сам вперед руками на Verilog.

[identity profile] metaclass.livejournal.com 2007-11-26 08:58 pm (UTC)(link)
А вот оный Quartus модули на Verilog подключать не позволяет?

[identity profile] 1ceheart.livejournal.com 2007-11-26 09:30 pm (UTC)(link)
Ну так, опять же - в определенных рамках. Там же проблема, что оно там все это генерит в духе "размахнись рука", поэтому и свои модули приворачивать тяжело, и в кристалл все это начинает резко не влезать, Fmax падает и так далее.

То есть, понятно, что в идеальном мире было бы все именно так, "отсоединили-присоединили модуль", но такого нет даже у железячников - я даже не говорю про электронику, скажем, замена типа привода на ЧПУ - это не НИОКР, конечно, но эпопея приличная. А у железячников все попроще сильно.

[identity profile] vk11.livejournal.com 2007-11-27 06:03 am (UTC)(link)
недавно интересно дискутировали здесь:
http://cooler-online.com/sc.php?cl031107.html&1

[identity profile] jek-hor.livejournal.com 2007-11-26 09:01 pm (UTC)(link)
О, как замечательно сформулирована концепция "Unix way", следующая принципу KISS (keep it simple, stupid!) :)

[identity profile] metaclass.livejournal.com 2007-11-26 09:14 pm (UTC)(link)
У меня в голове юникс-вей с его конвеерами окончательно перепутался с SQL-запросами, представленными в виде последовательности фильтров, электронными фильтрами для обработки сигналов и обработкой списков в функциональном стиле со всякими там map и reduce.

[identity profile] ennor.livejournal.com 2007-11-26 09:19 pm (UTC)(link)
А що цэ такэ - ФП?

[identity profile] metaclass.livejournal.com 2007-11-27 08:11 am (UTC)(link)
Функциональное программирование.

[identity profile] golosptic.livejournal.com 2007-11-26 10:02 pm (UTC)(link)
SaveState LoadState недостаточно.
Надо ещё Begin Transaction/EndTransaction с областями действия.
Кстати, транзакции с областью действия "переменные оперативной памяти" фактически моделируют Пролог.

[identity profile] metaclass.livejournal.com 2007-11-27 08:07 am (UTC)(link)
О, про них я забыл.

[identity profile] ktn-zoidberg.livejournal.com 2007-11-27 09:00 am (UTC)(link)
забыл напейсаць - такое незабываеццо

[identity profile] metaclass.livejournal.com 2007-11-27 09:01 am (UTC)(link)
Забыл упомянуть в том обсуждении, откуда это скопировано.

[identity profile] eu3eu.livejournal.com 2007-11-26 11:01 pm (UTC)(link)
Скоро, скоро уже придумают искусственный интеллект. И будем мы ему словами (можно матом) говорить в микрофон, чего же мы от него хотим. А как это нам подать попонятнее результат, где и как хранятся исходные данные - он сам придумает. Хочешь, например - сразу покажет презентацию с результатами расчёта зарплаты десятитысячного предприятия, а перед графиками и диаграммами будут голые деффки канкан танцевать под музычку "семь-сорок" и стихами (на иврите) излагать объяснение.

А людям не надо будет ничего мудрить. Из программистов останутся только постановщики задач, которые будут уметь объяснить машине на пальцах (пальцы в дверь, например), что нам от неё надо. И не нужно будет париться с базами данных, гуями, ломать голову над алгоритмами.

Лепота! :)

[identity profile] metaclass.livejournal.com 2007-11-27 08:15 am (UTC)(link)
Угу, проги будут собираться из модулей генетическими алгоритмами, а постановщику задач только придется для них сформулировать целевую функцию.

[identity profile] kkirsanov.livejournal.com 2007-11-26 11:18 pm (UTC)(link)
--просто проги должны выглядеть как электронная схема, собранная из модулей, между которыми бегают сигналы

хе хе
Именно про это диссертацию и пишу.
Только применительно к системам управления мобильными роботами и СТЗ
И даже "SaveState; LoadState;" есть.

А ещё подмена модулей без остановки работы системы ;)

[identity profile] kong-en-ge.livejournal.com 2007-11-27 10:04 am (UTC)(link)
Отставить пиздец!

Plan9

(Anonymous) 2007-11-29 06:32 pm (UTC)(link)
Вы только что описали ОС Plan9