> The type system is unusual, and complex. It's hard to do anything without templates. You mean generics not templates? Nothing forces you to use generics, yo

> The type system is unusual, and complex. It's hard to do anything without templates. You mean generics not templates? Nothing forces you to use generics, you can pass traits by pointer and avoid the code generation. It's actually a really nice property that lets you determine static vs dynamic dispatch independent of implementation WRT Exceptions, this has been widely debated. I personally prefer error codes. I hate unchecked exceptions, ruins the whole idea. Also I'm not a huge fan of OOP hierarchies. They tend lean more towards Is-A vs Has-A when the latter is more common across the domains I've worked in.