就技术来说，鸿蒙OS到底是个什么层面的东西？

闲聊灌水
52

Classical ML 和 SML有啥区别呢？ 支持dependent type？