He wants a python with algebraic data types? I wonder if he has looked at Crystal. Itis neither, but still perhaps close enough. Ruby espressabilty and a type s

He wants a python with algebraic data types? I wonder if he has looked at Crystal. Itis neither, but still perhaps close enough. Ruby espressabilty and a type system that while probably not powerful enough to be classified as algebraic, still is powerful enough to have things like sum types.