TypeLoom Weaving Pluggable LSP based Gradual and Optional typing into dynamic languages Demonstration Paper Demo GIFs Architecture
