Рюшечки вместо инструментов и методологий, или культ карго в программировании

[fi_mihej]

Почитывал ЖЖ и заметил что в обсуждении, некий персонаж написал следующее:

Компиляторы - хороший пример, потому что компиляторы тоже можно писать по-разному. Можно - жуткой лесенкой из свитчей и ифов, а можно - просто и лаконично, используя паттерн матчинг

Comments

[justy_tylor]

Вообще, "метод описания и программирования грамматики" и есть настоящий pattern matching, каким он создавался в шестидесятые. Идеи SNOBOL можно было масштабировать на разные типы данных, но создатели последующих языков программирования ограничились быстрохаками под свои цели, будь то нелепые regular expressions или то, что назвали паттерн-матчингом в Haskell и потомках ML.

[fi_mihej]

Совершенно согласен с общим посылом мысли на тему современного понимания паттерн-матчинга! Плюс спасибо за историческую информацию - был не в курсе.

[thesz]

Малые локальные преобразования равны по мощности большим сложным глобальным.

(цитата из статьи про equality saturation - там всё основано на малых преобразованиях)

Поэтому не надо спешить говорить про "быстрохаки".

[justy_tylor]

Можно обходиться без функций высших порядков. Но неудобно. Так и с паттернами. Сделали в Хаскеле быстрохак без паттернов высших порядков, вот и приходится какой-нибудь Parsec отдельно сочинять. Печально.