Question

采用静态类型和动态类型编程范式的编程语言的区别

Answer 1

类型这块东西内容是很丰富的，如果楼主真要本质的理解类型在程序语言中的作用，推荐看皮尔斯的《Types and programming languages》
从最原始的Untyped system，到简单的type system，然后衍生出subtype system，recursive type system，polymorphism type system，higher order type system。从中你可以看到不同于图灵机的基于lambda的计算模型（源于图灵的老师Church）是怎样一步步构建类型系统的，你也可以学到即便是动态类型，也能静态的推导出其类型，如Standard ML语言。