is https://typedclojure.org/guides/getting_started still the best place to start learning about typed clojure?
unfortunately yes. I'm drafting a new documentation site which I haven't released.
Thank you. I have been noodling over how to reimplement this style in clojure: https://tour.gleam.run/data-types/record-pattern-matching/
(Basically, exhaustive tagged unions)
aside: I think that's the best onboarding ive ever seen for a language. maybe i had just the right priors to understand it, but it is a super slick site
(t/defalias Starfish '{:tag ':Starfish :name t/Str, :favourite_colour t/Str})
(t/defalias Jellyfish '{:tag ':Jellyfish :name t/Str, :jiggly t/Bool})
(t/defalias Fish (t/U Starfish JellyFish))(t/ann handle_fish [Fish :-> nil])
(defn handle_fish [fish]
(case (:tag fish)
:Starfish (println (:favourite_colour fish))
:Jellyfish (println (:name fish)))
that should work