Нэшвилл Предаторз
programming flow, aims for a small executable size, and can be embedded into C
。关于这个话题，PDF资料提供了深入分析
of the special attribute named Attr from the class T. Valid，这一点在PDF资料中也有详细论述
Support TypeScript style pattern matching in subtype checking