Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Typed Clojure, an optional type system for Clojure
2020-02-19T02:07:05.151900Z
@zilti the only knobs are overriding particular java methods fields. I'll remind myself how to do that...
2020-02-19T02:10:36.152700Z
see nilable-param, non-nil-return, override-constructor, override-method, https://clojure.github.io/core.typed/
2020-02-19T02:11:03.153Z
eg.,
(override-method java.util.Properties/stringPropertyNames
[-> (java.util.Set String)]) 2020-02-19T03:05:31.153300Z
just cut core.typed 1.0.0 because apparently all contribs are
2020-02-19T03:06:30.154100Z
slight anticlimax but still, it's been a big target for most of my last 10 years
2020-02-19T03:06:33.154400Z
so woo!
whilo 2020-02-19T19:59:38.155300Z
@ambrosebs nice work! what are your next steps?