Abstraction,Immutability,'dataclasses'，Type Checking | rl