"Pharo is a fish tank, where you can see the [objects] of the system itself, but you can also dive in and interact with them" #pharomooc
miniblog.
Related Posts
Most of the gradual type systems I've seen are targetting existing languages: you want to interact with existing libraries that don't have type annotations.
Are there many greenfield languages with gradual types? It's a useful technique in other cases, such as refactoring.
A live demo of how you edit BASIC code (its REPL equivalent) inside a thoughtful article on how we interact with programming languages:
