Tom Schouten@tom_zwizwai am savedQuote TweetTom Schouten@tom_zwizwa·Jan 30But I also discovered that the pattern can be represented as a function (HOAS), and that you can basically turn any parameterized data constructor into a matcher. This blew my mind.Show this thread3:43 PM · Jan 30, 2022·Twitter Web App
Tom Schouten@tom_zwizwa·Jan 30Replying to @tom_zwizwaIt works!github.comuc_tools/test_hoas_match.lua at 9b427e1542485171030cbe6425402aa7e228c215 · zwizwa/uc_toolsContribute to zwizwa/uc_tools development by creating an account on GitHub.