Static typing lets you catch errors before running the code. Pattern matching helps you write code faster (that is, spending less human time). Algebraic data

Static typing lets you catch errors before running the code. Pattern matching helps you write code faster (that is, spending less human time). Algebraic data types, particularly sum types, let you represent complicated kinds of data concisely. Coconut is an extension of Python that offers all of those. Test driven development also helps you write more correct code.