> for example at the start of a years long app development project, the type system is just in the way. Subjectively, my experience is that writing out the typ

> for example at the start of a years long app development project, the type system is just in the way. Subjectively, my experience is that writing out the type definitions and signatures of main functions is a great way to start exploring an unknown problem space.