Clojurians Log v2

https://github.com/metosin/malli?tab=readme-ov-file#clj-kondo I find clj-kondo support by Malli. This feature is probably I'm looking for. And I type clojure.core functions by malli, clj-kondo report issues on-the-fly.

There is at least one such library of specs out there. I don't remember who maintains it nor how up-to-date it is.

https://ask.clojure.org/index.php/12851/full-specs-for-clojure-core-in-core-specs-alpha mentions this (and explains why the core team have not built this).

https://github.com/borkdude/speculative

there are a lot of reasons why making these specs is surprisingly difficult - a lot of core functions are very generic and/or polymorphic - they intentionally work with many "types" and there is usually not a common supertype. also, the things it does not work with NOW are places where we like to add features. I did help borkdude on some of the specs above

I think what he found using it was that turning on instrumentation for everything core makes it intolerably slow to use

@conao3 one of the nice things about the core specs is they (for the most part) round trip between conform and unform. That’s a feature I would appreciate for parsing. And would be willing to help achieve. It depends on your specific goals… and what are they?

I was thinking something similar to Schuyler. https://ask.clojure.org/index.php/12851/full-specs-for-clojure-core-in-core-specs-alpha?show=12866#c12866 The runtime errors from spec are great, but as someone coming from Python, I notice Clojure doesn't seem to report type errors on the fly - that's something I'd like to work on. While there are various ways to represent types, as a beginner, I think clojure.spec might be worth investing my time in.

I will probably use that type information to contribute to clojure-lsp.