The research paper, written with Yuichi Nishiwaki of the University of Tokyo, advocates a new programming paradigm called pattern-match-oriented programming while building upon previous research of his invention of the Egison programming language, which is used to pattern match any data type as a regular expression. Utilizing the express pattern-match facility for non-free data types, whose data have no canonical forms, can redefine many functions for list processing; this includes map, concatenation, and more practical mathematical algorithms and software such as SAT solver, computer algebra systems, and database query language that have been difficult to implement. For more on non-free data types, please see Egi’s paper, “Non-linear Pattern Matching with Backtracking for Non-free Data Types.”
As part of the presentation session, Egi distributed 5 pattern-match-oriented programming quizzes to activate discussion and share new insights and practices with other researchers in the field.
RIT would like to thank the Programming 2021 sponsors, participants, steering and organizing committees.