Scala严格类型系统与C类型系统

发布时间：2020-12-16 08:46:42 所属栏目：安全来源：网络整理

导读：对于 Scala的严格类型系统的粉丝,但C的粉丝：是否有可能强迫自己以相同的严格程度编程C？ (不使用void *,不是很多,拳击简单的值类型,即struct Month {int value;};). 或者是C默认情况下比Scala更严格(如果你不努力使用演员表)？尽管C模板的“鸭子打字” –

对于 Scala的严格类型系统的粉丝,但C的粉丝：

>是否有可能强迫自己以相同的严格程度编程C？ (不使用void *,不是很多,拳击简单的值类型,即struct Month {int value;};).
>或者是C默认情况下比Scala更严格(如果你不努力使用演员表)？尽管C模板的“鸭子打字” – 它仍然不会让你编译,如果它不适合,对吧？
> C 0x(wrt到C 03)是否为愿意提交完全类型安全编程的人添加了一些内容？

解决方法

简短回答：是的,您可以达到相同级别的类型安全性,但这会给程序员带来负担.这不仅仅是提供相同安全性的问题,类型系统还必须足够强大和灵活,以便于类型安全编程,在这方面,Scalas类型系统优于C.

C 0x将添加lambda表达式,这将有助于使用HOF的map,filter,flatMap等.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!