Although the article talks about the limitation of (purely) type driven/guided development, I'm still wondering how programmers in non-functional land like me g

Although the article talks about the limitation of (purely) type driven/guided development, I'm still wondering how programmers in non-functional land like me get some benefit from these type driven style.