Could you elaborate more about type systems? I don&#x27;t have a definite opinion about Go&#x27;s type systems so far, and it surely has it quirks, but TBH, I like the concepts. In particular, the complete separation of data types (structs) and behaviour types (interfaces) is something that I&#x27;ve never actually seen before.