我检查了我的老VHDL书和这个。两者都提到了整数的mod,但没有提到数字(包括浮点数)。constant PhaseDelay : TIME := Period * (((Phase + 360.0) mod 360.0) / 360.0);a = (a/b)*b + (a REM b)
该方程也可用于负数值的剩余计算。对负数的
如果我正确理解,我们可以将归纳数据类型建模为初始F-代数,将共归纳数据类型建模为最终F-余代数(对于适当的内切函数F) []。我知道,根据Lambek引理,初始代数(和最终余代数)是同构T ≅ F T的不动点解,但我不明白为什么初始代数是最小不动点,而最终余代数是最大不动点。(显然,同构T ≅ F T有一个解决方案吗?)另外,我不太清楚归纳和共归纳数据类型是如何在类型理论中定义的。是否有任何关于这个主题的推荐资源,以及它们与范畴理论的