Azzabi Ahmed
unread,Jan 7, 2018, 1:01:49 PM1/7/18Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Clojure
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.
Example
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 ?
Thanks