Hacker News new | past | comments | ask | show | jobs | submit login

I wonder if there could be any opportunity to integrate this more with Spec. There seems to be at least some overlap between Typed Clojure and Spec. I could imagine that it would be cool if you could annotate your functions using one way and have some specs be validated statically.

Related but in the opposite direction, static checking of specs: https://github.com/arohner/spectrum (I haven't tried it personally)

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact