An impressive range of features have landed in IntelliJ 2018.1: https://www.jetbrains.com/idea/specials/idea/whatsnew.html
A ton of additional lints, but also some interesting completion features: using isInstace to infer types, and also leveraging JSON schema!
miniblog.
Related Posts
Are there examples of IDE services deliberately leveraging elaborate type systems?
I'm struggling to think of what a richer type system enables in the IDE space. The existence of void* in C, interface{} in Go, or a lack of generics, doesn't seem to have limited possibilities.
Gate is exploring transferring program state (like Smalltalk images), but leveraging wasm to execute untrusted code. An exciting model!
https://savo.la/introduction-to-gate.html
Execution of untrusted code still feels like a really underexplored space.
Getting started with Quantified Self projects, looking at ways to measure, leveraging your digital artifacts, and analysing results: https://quantifiedself.com/get-started/