Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Corneliu Hoffman 2024-01-24T09:00:45.073829Z
Happy 2024 :) here is a new question: suppose I have a rather complicated but we'll typed ns that includes all kind of merges and aliases, is there an obvious way to unfold the type of a variable in it? I mean realise it as a HMap. I am assuming this is done so where by the type checker but do I have access to that? I know clj-docs has some info but seems to be a bit verbose.
2024-01-31T01:00:24.301709Z
I don't think so unfortunately. But you are correct that the type checker does that internally.