Geniepro писал(а):
Можете привести пример этой задачи, которую Вы легко решите на Рефале, но не представляете как -- на Хаскелл. Чисто любопытно, что такого можно решить на Рефале, что будет труднее или вообще невозможно решить на хаскелле? Ну, кроме палиндромов.
Ну решить можно все.
Извернуть мозги - и решить.
Как бы сразу подчеркну - не сторонник я Рефала, и знаком с ним всего 2-3 недели. с Хаскелом - еще в меньшей степени... И знаком по причинам, которые указал выше - иначе меня туды и калачом бы не заманили.
Просто размышляю. И предполагаю, что работа с графами (т.е., со структурами менее тривиальными, чем деревья) при отсутствии понятия ссылки (и, конечно, возможности создавать циклы) будет значительно напряжнее.
В том же описании на Рефал+ от Романенко - они дерево уже нарисовали (пример в разделе 1.11.9) в совершенно императивном стиле: создают динамически узел, и ссылку (даже не утруждают себя придумыванием имени) на него помещают в узел-родитель.
Умеют же они обыкновенные деревья рисовать без ссылок и динамики. Умеют, и сто раз это делали. Но вот же...
Возможно все конечно же, но гордиться умением чесать левой ногой правое ухо - не думаю, что правильно. Да есть вещи, решаемые более изящно за счет декларативности. Где ответы на вопрос "как" - ничего не добавляют ни уму ни сердцу...
Но порой же - просто нет слов... одни мысли... и все нецензурные.
Такое (что-то очень хорошо, а что-то - наоборот) обычно бывает когда не совсем то возводится в фундаментальную основу мира... Близко, но не совсем то. Это не категорическое утверждение, а лишь мысли вслух
Кстати говоря, исключения в виде палиндромов - тоже не добавляет уверенности в фундаментальности Базы
BTW: Интересное дело.... У меня как-то не возникало сомнений, что HiAsm - это императивная штука. А тут начитался про функциональну парадигму, и задаю себе вопрос: электронная схема - это декларативные знания, или таки императивные...
А
Geniepro писал(а):
Что Вы имеете в виду под "цифровым фильтром"? Почему он должен зависеть от неопределённого несконцентрированного глобального состояния и почему он обязательно должен его менять (мутировать) с помощью оператора присваивания?
Вот его и называю. Поэтому и в кавычках, что это некое обобщение необходимости хранить в себе у нутре предысторию жизнедеятельности в каком-то виде.
Почему должен... Ну я же высказывал гипотезу - жизнь так устроена, наверное.
Вот смотрю на проявление этой жизни у меня на столе. И вижу датчик положения, например ЛИР-350. Это такая штука, которая на каждый микрон перемещения изменяет один из двух своих цифровых сигналов - и ВСЕ, ничего военного.
И как я должен считать абсолютную координату без "
неопределённого несконцентрированного глобального состояния"
Должен ли я его менять (мутировать) в ответ на сообщения об электрических катаклизмах по двум входам ???
Ну давайте вместе ответим - я ведь не придумывал про жизнь ничего, а просто посмотрел на свой рабочий стол
Повторюсь ведь - как Задачу это решить можно, извернув мозги догмой, что ничего не бывает в отдельный момент времени, а только в историческом контексте. Типа: не бывает "двух электрических сигналов", а только их неограниченная последовательность. Начиная с Большого Взрыва, и никак иначе.
Но мне нужно не решение конкретной задачи, а Кубик для конструирования решений других, более практических задач, числом больше одной.
Не, ну ладно, прибавлять/отнимать единицу - не супер-задача для помещения в Кубик. Не очень большой напряг ее решать каждый раз в рамках некой конкретной Задачи.
Но даже этот элементарный пример можно обобщить до не очень очевидного решения
Скорость большая, микронов в секунду получается много, обработка каждого становится накладной. Хочется заниматься вычислениями только по мере необходимости, глядя на эти два электрических сигнала.
В моем изделии эта необходимость возникает с частотой 16КГц, в тот момент, когда я формирую сигнал управления электродвигателем в виде ШИМ-а. Микронов за эти 62.5 мкс может пробежать очень много.
И бог с ними, задача
оказалась разрешима без ограничения на скорость.
Кстати говоря, за счет усложнения структуры того самого мутабельного состояния
Это уже менее тривиально, и мне представляется правильным иметь решение один раз в виде Кубика, но не заниматься этим решением на каждой Задаче, в контексте которой и известен весь исторический процесс...
В общем, как-то так...