Visualizing Types

Posted on January 24, 2018 by Marko Dimjašević

There is a visualization tool that describes Haskell, PureScript and Elm types: typedraw. How about Idris and its dependent types? The following images are from typedraw’s repository.

This idea of visualizing types nicely goes with an image giving an analogy between types and a shape sorter.