Egison is a pattern-matching-oriented language https://www.egison.org/