#谓词

使用谓词逻辑设计软件
Designing Software with Predicate Logic(buttondown.email)
2021-6-11 9:30
我喜欢教学的一个原因是它帮助我更好地了解事情。 这在新书上工作时，这是一种不同的方式，而且我也是......
逆变函子很奇怪
Contravariant Functors Are Weird(sanj.ink)
2020-9-17 12:12
在我们开始之前只需注意一下术语；我将使用“functor”来表示该概念的范畴含义： 逆变函子很奇怪，不是吗？协变函数器(由函数器类型类建模)非常简单，但逆变函数器，顾名思义，似乎完全相反。 在我们讨论什么是逆变函数式之前，看看我们所了解和喜爱的函数式类型类是很有用的。 类函数f，其中FMAP：：(a->；b)-&......