are there any tools to use spec for static checks?

there's https://github.com/arohner/spectrum

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

https://www.youtube.com/watch?v=hzV7dFYmbAs

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