Finally the application of safe-type systems in compilation techniques is discussed.

• 最后讨论了安全类型系统在编译技术中的应用。