ValentinK пишет:Декларативный язык предполагает решающий задачи движок.
Проблема Пролога была и осталась в том, что движок должен базироваться не на логике предикатов 1-го порядка,
пусть даже и кастрированной, но лучше она от этого не стала.
А ведь тогда уже валялась под ногами алгебра множеств,
и интерпретировать "A есть подмножество Б" как "если А, то Б" люди уже умели.
Но... что выросло, то выросло.
А соответствующие адекватные движки позволяет строить всяко-разно функциональщина,
в свою очередь работающая на всяко-разно редуктивных машинах
Что же касается символьных вычислений...
У Клоксина и Меллиша в книжке по Прологу зачатки были даны для программы символьного дифференцирования.
Показал их старшему сыну, когда он Matlab в ЛЭТИ изучал. Теперь деточка работает в Алмаз-Антей, куда его взяли с радостным визгом.
А то у них там всё больше на Delphy и десятилетней давности.
Вот реально мне эта идея не нравится - с пакетами символьных вычислений -
ведь уметь в TEX тексты с формулами набирать и уметь программировать - две большие разницы.
А когда речь заходить уже о системах реального времени - это понимают даже и те, кто вроде и не способен был к такому пониманию.
ValentinK пишет:Актор, в сущности, тоже объект и взаимодействует с классами ввода-вывода
Совершенно верно, но зачем нам лишние сущности?
Ведь проще жить, когда есть просто ещё один процесс, который поставляет сериализованные данные
(как последовательность сообщений),
и плевать с высокой горки, как его там зовут теоретики.
А то потом некоторые выучат Хаскель, а кроме монады IO в ихних программах что-то искать утомишься.
И это именно при том, что в Хаскель, в отличие от Java, например, потоки именно зелёные/лёгкие.
Ну, грубо говоря, актор как актёр - у него есть своя роль. И он её выполняет.
Выполнение своей задачи - это процесс.
Всё прозрачно, всё понятно, легко искать, где что пошло не так.
И на уровне поиска ошибок в коде, и на уровне работы супервайзера.
ValentinK пишет:Scala вроде как работает на JVM.
Да, но есть и забавная такая игрушка - Scala native.
ValentinK пишет:Параллельность в них реализована классом Thread
Затруднюсь назвать больший источник непоняток.
Потому и выдумали Akka.
Давно уже не забавно наблюдать торжество отрицательного отбора.