RacketScheme的“合同设计”是如何实现的？与埃菲尔铁塔有何不同？
我知道Eiffel（其鼻祖）和Racket都实现了“Design by Contract”的功能。可悲的是，我不确定其中一个与另一个有何不同。 Eiffel 的 DBC 依赖于 OOP 范…
如何将大量本机代码转变为可扩展的服务？
问候， 我在 Eiffel 开发了一个大型软件。可以使用 C++ 中的此代码，但它会加载 Eiffel 运行时，并且我不能相信 Eiffel 代码和运行时是线程安全的，当…
如何在 Eiffel 中格式化 DOUBLE 以仅打印两位小数？
在埃菲尔铁塔中，你如何做到这一点。 118.1999999999999 打印到： 118.20 在其他语言中只是 printf 的问题，但在 Eiffel 中似乎没有办法轻松做到这一…
.NET 4.0 的契约设计与 Eiffel 相比如何？
我很“高兴”在大学里由 Bertrand Meyer 本人教授 Eiffel，并且刚刚读到 .NET 4.0 将包括合同设计。 任何有洞察力的人都可以详细说明与 Eiffel 现有的…
- 共 1 页
- 1
