On Thu, Feb 16, 2023 at 11:57 PM Eisymont Leonid verger-lk_AT_yandex.ru < [email protected]> wrote:
> > Если вернуться к Рефалу, то таких скоростей разработки как имитационных > моделей процессоров, так и их базового ПО, не достичь ни на одном языке, > это проверено десятилетиями. Мы попытаемся это применить в этом году в > новом проекте микропроцессора. Но это наша (даже частично моя) практика. > Конкретно по имитационным моделям микропроцессоров, я занимался сравнением нескольких языков в этой области. Рефала среди них не было, но были Prolog и Erlang. Самым удачным языком для потактовых моделей оказался Haskell, в первую очередь за счет удобства работы с ленивыми структурами. Для моделирования непрерывного времени преимущества терялись, но это требуется сравнительно редко. Я думаю Рефал мог бы хорошо подойти для задач биоинформатики, обработки естественных языков и разработки компиляторов. Для первых двух требуется реализовать машинное обучение, но не нейросети, а что-то типа Индуктивного Логического Программирования. Здесь, если повезет, можно добиться интересных результатов. Для компиляторов интересно было бы разработать инфраструктуру типа LLVM, но это очень большая работа.
