让类型系统在编译期来保证代码编写的正确性是语言更加智能的一个趋势。以后大家用多了就能习惯了。

【 在 beep 的大作中提到: 】
: 就比如说前面lvsoft用trait来保证量纲计算的正确性，类似这种使用trait的套路非常多。。。
--
FROM 220.194.45.*