Clojurians
#cljs-dev
<
2016-01-26
>

This page is not created by, affiliated with, or supported by Slack Technologies, Inc.

mfikes02:01:07

Curious if “outward” ^boolean propagation has been debated / rejected. Example: If simple analysis detects that ^boolean can be applied as in for functions like (defn f [x] (not x)). Perhaps automatically propagating type hints in this direction would be unwelcome by users?

dnolen03:01:37

@mfikes: we have already have outward propagation for numerics which broke because of changes for code motion

dnolen03:01:45

absolutely nothing against that