问题标签 [vdm-sl]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
vdm-sl - VDM-SL - 函数接受一组整数并返回一个相同的集合
尝试一个接受整数并返回我想出的整数的非负值的函数
现在我正在尝试创建另一个函数，它接受一组整数并返回一个相同的集合，其中每个元素都是原始值的绝对值。
请帮忙：（
vdm++ - 如何将谓词应用于集合？
假设我有一套，S = { 1, 2, 3, 4 }（内容并不重要）
我可以说forall x in set S & x mod 2 = 0，但这会给我一个布尔答案——里面的所有数字都是偶数吗？如果我想查看集合中x mod 2 = 0为真的所有成员怎么办？
将谓词应用于它的语法是什么？如何过滤奇数、偶数、高于/低于 3.5 的数字等？
vdm++ - 我如何对集合/序列进行转换/操作？
我有一套S = { 1, 2, 3, 4, 5 }。
通过对其应用数学运算（例如乘法、幂）来更改集合的内容（或者更确切地说，创建一个新集合）的语法是什么？
vdm++ - 集合/序列求和运算符？
我有一套，S = { 1, 2, 3, 4, 5 }.
如果我想用标准逻辑总结它，它只是 ∑S（SO 上没有 MathJax，所以我不能很好地格式化这个）。
什么是 VDM 等价物？我在语言参考的数字/集合部分看不到任何内容。
recursion - {VDM-SL} 建议功能的定点解决方案
建议函数 T1(F,x,y) == if x = 0 then 1 else y * F(x-1,y) 的定点解决方案我没有回答使用两个变量的问题，例如 x & y 所以当谈到解决这个问题时，我不知道我什么时候完成，或者我是否完全正确。
vdm++ - VDM++ 类型错误：此处不得使用状态组件“totalPrice”
我写了一个代码，它是书籍总价格乘以书籍数量和 VDM++ 中的书籍价格。
错误是“此处不得使用状态组件“totalPrice””，即
这些有什么问题？
vdm-sl - VDM-SL 中的隐式和显式有什么区别
所以正如标题所解释的，隐式和显式之间有什么区别？是隐式函数和显式操作吗？还是隐含的序曲代码和显式的 VDM-SL 规范本身？我有点困惑