> -- Geniepro писал(а):
> Рефал 66 года, и в нём есть паттерн-матчинг. А Рефал не зря всё-таки расшифровывается как "РЕкурсивных Функций АЛгоритмический язык" -- он вполне себе ФЯ -- в нём есть функции высшего порядка.
А снобол 62 года. И там тоже паттерн матчинг. А алгорифмы маркова чуть менее чем полностью состоят из оного паттерн-матчинга. Собственно про то и речь.
> -- Geniepro писал(а):
> Современное ФП по сути имеет трёх родителей -- лямбда-исчисление, комбинаторная логика и марковские алгорифмы...
Ну да. Только если про лямбду кричат на всех углах, комбинаторную логику вспоминают иногда, а вот марковские алгорифмы не упоминают вообще. Соответственно сопоставление с образцом в ФЯ как бы появляется ВНЕЗАПНО и из неоткуда.