core-typed

Typed Clojure, an optional type system for Clojure
whilo 2018-05-29T21:52:56.000133Z

@whilo uploaded a file: https://clojurians.slack.com/files/U1C36HC6N/FAYA8UKNH/-.clj

whilo 2018-05-29T21:53:00.000384Z

Any ideas?

whilo 2018-05-29T21:53:52.000105Z

The type annotation inference is pretty cool, but Java interop still screws me.

whilo 2018-05-29T21:54:45.000240Z

When I do ^:no-check on str->md5 everything works fine.

whilo 2018-05-29T21:56:53.000243Z

Regarding Java interop, probably an IDE helper adding the non-nil-return form could also help. I guess there is no static analysis of Java bytecode doable to determine nillable types (?).