want to understand type inference? options: 1. read pages of incomprehensible alchemy that doesn't even define it's notation! https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system … 2. here's a blog post about implementing it in python. https://eli.thegreenplace.net/2018/type-inference/ …
-
-
He linked to this within the issues of the repository which was interesting to watch:https://youtu.be/wSdV1M7n4gQ
-
I also have a WIP playground plugin which shows the associated flow nodes for a particular identifier - though it’s definitely a dev tool and not polished https://github.com/orta/playground-code-show-flow …pic.twitter.com/NjN8VfNYI3
- 1 more reply
New conversation -
-
-
I’m afraid I’ve only just started to grok it myself (so there’s not much notes) but it seems to be roughly: During AST parsing we create flow nodes at places where JS eval can change types, then later when we start needing to get the type of an identifier we go backwards
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I think https://www.youtube.com/watch?v=VEaDsKyDxkY … was a good talk on CFA from
@flowtype’s side also, similar constraintsThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
