@afilina Yes, absolutely. Like Lego. Just need to make it all fit together, and the compiler tells me what I'm doing wrong.
Which also means that I'm hopeless in dynamic languages. The only ones I've been able to write any non-trivial code in are #lisp like #emacs Lisp, #racket and also #prolog. But I do it the same way there: I write the signatures first, and keep types in my head, or in docstrings right above the functions.