Jan 7, 2018, 1:01:49 PM1/7/18
Hi all, so usually I structure my application as black box, that takes some input and gives output, I usually validate inputs before starting with them in my system boundaries, which I think clojure spec is good for since it also allows to document what my application accept or expect. Now my question is there a library that allows to deduct/infer specs then I call instrument to validate that following called methods respect the specs.
If I have function foo that takes some input that I already wrote specs for, then foo will call bar with some part of the input. Is their a lib to infer bar specs based on foo specs and calls ? Also that then I can instrument and check if all code calls are consistent ?