core-typed 2025-07-14

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.

❤️ 1

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

1

(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))

❤️ 1
🤩 1

(t/ann handle_fish [Fish :-> nil])
(defn handle_fish [fish]
  (case (:tag fish)
    :Starfish (println (:favourite_colour fish))
    :Jellyfish (println (:name fish)))