For example functions only take objects of supported types. Many invariants are verifiable at compile time. Especially when you have generics, structural typing

For example functions only take objects of supported types. Many invariants are verifiable at compile time. Especially when you have generics, structural typing and ADTs, the expressiveness is pretty good.