> But one of the aspects of types that I find useful is the documentation they provide. For me this is one of the core aspects. Self-documenting code makes me

> But one of the aspects of types that I find useful is the documentation they provide. For me this is one of the core aspects. Self-documenting code makes me so much more productive, and being able to reason about code thanks to the types without having to consult the documentation is very powerful. Any time I work with JavaScript, Python or similar I invariably waste time having to do print(dir(foo)) or similar, just to figure out what the hell some function returned and what I can do with it.