What you want is a prototyping REPL, in your IDE, that gives you type hints, type aware autocomplete, and inline type errors, but knows to back the fuck off whe

What you want is a prototyping REPL, in your IDE, that gives you type hints, type aware autocomplete, and inline type errors, but knows to back the fuck off when you want to just run the code and perform simple type-stripping rather than erroring out and telling you to fix types or GTFO. Bonus points if it comes in notebook form so you get a nice convenient run button, a solid multiline text editor, and markdown-powered persistence format. Thankfully, this already exists: https://marketplace.visualstudio.com/items?itemName=jakearl.handydandy-notebook https://marketplace.visualstudio.com/items?itemName=jakearl.... . And it supports every language your shell does! (I made it)