Несмотря на удобство приведенной эвристики для ручных выкладок, очевидно, систематическая декомпозиция формы в ПЛФ более ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Филд А.N. Функциональное программирование


Несмотря на удобство приведенной эвристики для ручных выкладок, очевидно, систематическая декомпозиция формы в ПЛФ более всего подходит для автоматической компиляции. Фактически в точности такую декомпозицию должен выполнять синтаксический анализатор в любой реализации подобных выражений, и для получения предикатных преобразователей необходимы минимальные дополнительные усилия. Мы продолжаем обсуждение этого вопроса в следующем разделе, где в процессе синтаксического анализа будут также строиться циклы, соответствующие линейным функциям.

(cкачать страницу)

Смотреть книгу на libgen

Несмотря на удобство приведенной эвристики для ручных выкладок, очевидно, систематическая декомпозиция формы в ПЛФ более всего подходит для автоматической компиляции. Фактически в точности такую декомпозицию должен выполнять синтаксический анализатор в любой реализации подобных выражений, и для получения предикатных преобразователей необходимы минимальные дополнительные усилия. Мы продолжаем обсуждение этого вопроса в следующем разделе, где в процессе синтаксического анализа будут также строиться циклы, соответствующие линейным функциям.