Size: a a a

2020 April 26

B

Brenoritvrezorkre in Lisp Forever
Так, коротко
источник

B

Brenoritvrezorkre in Lisp Forever
Есть два способа ответить на тот вопрос: теоретически и практически
источник

B

Brenoritvrezorkre in Lisp Forever
Чтобы как-то ответить теоретически, надо максимально единообразно формализовать все рассматриваемые диалекты лиспа (получив ещё одни диалекты, так как формализовать можно если не как угодно, то очень многими способами =)), а потом рассмотреть эти формализации с точки зрения теории формальной грамматики, формальной семантики и также некоторого аналога универсальной логики и универсальной алгебры, но только для вычислительных формальных систем (например, если рассмотреть теорию институций через Карри-Говарда, наверное, добавив что-нибудь модальное про computability и т.п.)
источник

B

Brenoritvrezorkre in Lisp Forever
Тогда бы мы смогли ответить, какие абстрактные классы задач соответствуют этим формальным диалектам
источник

B

Brenoritvrezorkre in Lisp Forever
Относительно такой-то металогики (теории институций, скажем)
источник

B

Brenoritvrezorkre in Lisp Forever
И там ещё можно наверняка вносить всё больше и больше разборчивости, чтобы ещё лучше различать разные мелкомасштабные особенности задач между собой (например, в вопросах теорий сложности)
источник

B

Brenoritvrezorkre in Lisp Forever
Но тут никто так не ответит, конечно же
источник

B

Brenoritvrezorkre in Lisp Forever
Более того, это будет недостаточным, так как мы не учитываем, на что это транслируется, как, насколько оптимизируется при трансляции, какая экосистема есть
источник

B

Brenoritvrezorkre in Lisp Forever
Это будет учитывать только особенности грамматики, синтаксиса и семантики данного языка.
источник

B

Brenoritvrezorkre in Lisp Forever
Но вы можете ответить практически
источник

B

Brenoritvrezorkre in Lisp Forever
Например: в кложуре удобнее писать в стандартном фп-стиле
источник

B

Brenoritvrezorkre in Lisp Forever
Но при этом ява-машина
источник

B

Brenoritvrezorkre in Lisp Forever
Вот в этом роде я и хотел получить ответы
источник

VL

Valeriy L in Lisp Forever
борщ - проценудрный стиль с вкраплениями ооп
схема - больше в сторону фп но не настолько как кложа
источник

VL

Valeriy L in Lisp Forever
в схеме ТСО вроде гарантировано стандартом
источник

VL

Valeriy L in Lisp Forever
в борще нет
в кложе нужно юзать recur)
источник

VL

Valeriy L in Lisp Forever
но я считаю что, на этих языках, класс решаемых задач - одинаковый
источник

B

Brenoritvrezorkre in Lisp Forever
Вот так бы сразу )
источник

VL

Valeriy L in Lisp Forever
лол)
источник

B

Brenoritvrezorkre in Lisp Forever
Посмотрим, ответят ли другие
источник