Strongly typed + no code generation is obviously doable in any dynamically typed language. Apache Avro has support for parsing and utilizing schemas at runtime

Strongly typed + no code generation is obviously doable in any dynamically typed language. Apache Avro has support for parsing and utilizing schemas at runtime, even in C++. For Apache Thrift you have things like thriftpy: https://thriftpy.readthedocs.io/en/latest/ https://thriftpy.readthedocs.io/en/latest/ I'm not aware of a type-safe mechanism for Flatbuffers or Protocol Buffers.