[mapcars]

> Strongly typed languages strike me as providing detailed hints throughout the codebase about what "shape" I need my data in

I agree that seeing types is helpful, though typing them is also not necessary. Perhaps the solution is an IDE that shows you all the types inferred by the compiler or maybe a linter that adds comments with types on file save.

[zokier]

> I agree that seeing types is helpful, though typing them is also not necessary. Perhaps the solution is an IDE that shows you all the types inferred by the compiler

see "The Editor as Type Viewer" section in the docs: https://loonlang.com/concepts/invisible-types

[mapcars]

Wow, we actually did think about the same thing

> You get the benefit of seeing types everywhere without the cost of maintaining them yourself.