基础知识
g86g86
这个作者很懒,什么都没留下…
展开
-
关于ERWIN “Cannot DELETE last xxx because xxx exists.”
删除从表最后一条数据时会出现触发器提示,拒绝删除解决办法:在联系的RI ACTIONS 菜单中选择Child Delete 下拉菜单,选中None选项,确定即可。原创 2015-10-20 23:15:03 · 1058 阅读 · 0 评论 -
Monad in Hask(一)
一、 Monad(单子)定义1. 范畴论中的定义Monad可以定义在2-范畴中,在此我们以范畴Cat为例:Monad可以表示为一个四元组(C,T:C→C,η:1C→T,μ:T∘T→T)(C, T: C \to C, \eta: 1_C \to T, \mu: T \circ T \to T) 其中CC是范畴,TT是C上的自函子,η\eta和μ\mu均为自然变换,且满足μ∘Tη=μ∘ηT=IdT\原创 2016-06-12 20:22:18 · 548 阅读 · 0 评论