core-typed

Typed Clojure, an optional type system for Clojure
2015-07-18T14:43:17.000283Z

txus: pretty hard at the moment

2015-07-18T14:47:33.000284Z

txus: will be interesting to tackle once we can type check assoc and friends in higher-order usages

2015-07-18T14:48:08.000285Z

typing get-in has me stumped at the moment

2015-07-18T14:48:24.000286Z

not that I've made much progress on any of them

2015-07-18T14:48:32.000287Z

but chipping away

2015-07-18T14:48:48.000288Z

mainly, what is the type of the first argument to get-in?

2015-07-18T14:49:47.000289Z

or how do you relate the key path to the map

2015-07-18T14:52:44.000290Z

also lol we have 2 days of history on slack.

2015-07-18T14:52:49.000291Z

useless