I played around with a type for hiccup via malli. https://github.com/typedclojure/typedclojure/blob/8457122c3e9caeabcf75b47f13f58367bd59268c/typed/malli/test/typed_test/malli.clj#L49

here I convert it to a type that represents the result of conforming hiccup https://github.com/typedclojure/typedclojure/blob/8457122c3e9caeabcf75b47f13f58367bd59268c/typed/malli/test/typed_test/malli/schema_to_type.clj#L59-L73

If you strip away the conform structure it might be useful?

but no I don't have examples. I'd be curious if you could share what you're tackling.

We have a website that uses the rum library for server side rendering hiccup. We typed a bunch of our more business logic files and have liked the benefits so far, so we wanted to try out typing some of our files with hiccup components

But yeah we have been using typed clojure for a couple months now and have overall enjoyed the robustness it brings

cool!

I'm curious if you check many namespaces and how the performance is? I recently merged some changes to parallelize checking, it would be interesting if you could try one of the latest snapshots (1.2.2-20240527.060957-41).

One problem is that the printing is interleaved but I've found 3x speedups on my internal testing.

We use lein-typed to check namespaces around 15 of them. I’m pretty sure we’re on the snapshot already and I thought for sure I noticed a nice speed up earlier. I will confirm though later tonight or tomorrow.

nice