Porting dry-validation to another language like Python or JavaScript

Hi, I’ve used dry-validation a few times in the past and I’ve had good experiences with it. I wanted to know what were the key ideas behind the library so that I could try to port it to Python or JavaScript or something else.

I know I can read the code but it’s devoid of the thought processes that went into making the library. I just want to get the big picture of how it all fits together. How is predicate logic used to help build the library for example? Is there previous literature on using predicate logic to build a validation library that I could read etc?

Thanks for any help I could get on this.