People have told me in the Scryer Meetup 2025 that the purpose of this library is a bit unclear. That is fair, because the problems Qupak solves only really manifest if you go really deep into using library(reif) for general programming, which isn't that common.
It would be nice to have a section in the README or another file that goes through an example situation (or many) where you need to use if_/3 to properly implement a predicate, showing how doing "pattern matching" with if_/3 is very convoluted and inconvenient, and demonstrating how Qupak makes it significantly more readable.
People have told me in the Scryer Meetup 2025 that the purpose of this library is a bit unclear. That is fair, because the problems Qupak solves only really manifest if you go really deep into using
library(reif)for general programming, which isn't that common.It would be nice to have a section in the README or another file that goes through an example situation (or many) where you need to use
if_/3to properly implement a predicate, showing how doing "pattern matching" withif_/3is very convoluted and inconvenient, and demonstrating how Qupak makes it significantly more readable.