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.
miniblog.
Related Posts
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/
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!
