are there any tools to use spec for static checks?
it's something that's inherently going to have limits, but I was surprised at how far it went
awesome! and so many stars too! gonna dive in during the holidays
there's a talk about it from Conj a couple years ago too
if i just type into a repl a fn and a fdef, is there any reason it wouldn't be enforced for a given project? I have an older project I'm jumping into and can't understand why my fdef's aren't throwing errors... I'm sure check-asserts is true although i didn't think that would even matter.
fdef on macro or function?
if function, you have to instrument it for it to do anything
ok, so runtime checks have to be inside the form... either with an assertion, :pre check, or conform. I guess i missed that in the gude... I think i'll plug in an assertion so i can turn it off when i'm done with my test/dev/exploration on trying to figure out these data structures.
^ fdef on a function
note that there is a s/assert
thanks as always for your help Alex