typedef就是将原本类型重新进行自定义，有些冗杂的申明表达式可以很简单地转换成单独类型。原以为这个内容应该很多特性，结果官网好像就一点点描述。

JAVA中也有泛型，而且也是<>表示，应该借鉴JAVA的泛型

大部分都是和其他语言相同，但是在实现灵活添加元素这块，比较特别，我记得EMCS6也有相关的语法。

dart Records是anonymous, immutable, aggregate type，其实有点像python的元组，也有点像java的List.of()，都是immutable不可变集合。各大语言在最初的设计是并没有这种不可变集合的，但是我觉得这跟常量是有一定相似的，都是为了解决多线程之间互相读取数据时，带来的数据同步性问题，现代计算机由单核发展多核，为解决越来越复杂多线程交互而实现

本文主要讲解dart类型，只写特殊的，如果有和其他语言一样的语法和功能就不赘述了