文件名称：dbc:JavaScript和ReasonML的按合同设计编程
文件大小：7KB
文件格式：ZIP
更新时间：2024-05-31 00:47:43
javascript ocaml bucklescript reasonml design-by-contract
@ yawaramin / dbc 这是一个小型库，可帮助您使用JavaScript和ReasonML（即BuckleScript）以按合同设计的样式进行编程。 基本原理 以JavaScript为目标时，即使使用诸如ReasonML这样的更安全的语言，也可以在程序中获得更多关于不变性的保证。 类型提供了某些保证，但不是全部。 契约式设计风格使您可以尽快在功能主体的开头和结尾处发现问题。 关于防御性编程的注意事项这听起来像是防御性编程-您知道，在做任何事情之前都要进行检查。 实际上不是，DBC仅用于执行_contracts，即仅在公共职能的开始和结束时使用。 您不会在私有函数中使用它。 但是，这里值得一提的是优秀有关防御性编程的说明： 有时，程序员不必要地担心防御性编程会过于昂贵-无论是从最初实施检查的时间上，还是从检查断言中付出的运行时间上，都非常昂贵。 这些问题经常被放错位置。 社
【文件预览】：
dbc-master
----src()
--------Yawaramin__Dbc.ml(1KB)
--------Test.re(806B)
--------Yawaramin__Dbc.mli(1KB)
--------Yawaramin__Dbc.bs.js(1KB)
--------Test.bs.js(1KB)
----bsconfig.json(306B)
----LICENSE(1024B)
----README.md(3KB)
----pnpm-lock.yaml(307B)
----.gitignore(192B)
----index.js(408B)
----package.json(386B)