2000-02-22 ruki
content {:toc} Note: This documents is only a mirror, if you want to see newest documents please goto: http://xmake.io/#/manual Specification Naming conventions The interface is named according to some of the predefined specifications, which is more convenient to understand and easy to use. It's according to the fo 继续阅读 »
2018-11-18 Xie Jingyi
Category Theory A category has three components: A collection of objects. A collection of morphisms, each of which map one object to another. A notion of composition of these morphisms, i.e. morphisms can be composed. If f: A -> B and g: B -> C are morphisms, f.g generates a new morphism A -> C. Note that a morphism 继续阅读 »
2016-03-04 asin929
摘要:这是对linux下查找文件及字符串的总结。 more 一、查找命令 which (寻找『运行档』) 继续阅读 »
2018-07-16 Lingxian Kong
For those who don't know, Barbican is an OpenStack service which provides a REST API designed for the secure storage, provisioning and management of secrets such as passwords, encryption keys and X.509 certificates. Barbican can be used together with other OpenStack services to provide security features, e.g. Octavia u 继续阅读 »
2018-11-18 Xie Jingyi
Motivation Functor solves the problem of mapping regular one-parameter functions into a sub-category, but that's not easy for functions with more than one parameters. Let's consider a function with two parameters f :: a -> b -> c, which can also read as a -> (b -> c). Applying fmap on f, we will get fmap f :: m a -> 继续阅读 »