最新 | 最热门 | 最高评价

+0  现代魔法构成论:为什么函数对其参数反变

Typeof 发于 1970年01月01日 08:00 | 点击: 558 | 展开摘要
很多人都会觉得奇怪,为什么函数类型对其参数是反变的——换言之,为什么 Animal -> Animal 会是 Cat -> Animal 的子类型?

因为,这是一条公理。

是的,在形式化子类型的 F_{<:}F{

查看全文: http://www.udpwork.com/item/11984.html

+0  给女儿的一封信

明城 发于 1970年01月01日 08:00 | 点击: 529 | 展开摘要
夜深。你现在还没力气睁眼,甚至你听不懂我们在对你讨论些什么。你很嗜睡,不过今天你被我送去打了预防针,医生说晚上你有可能会睡不好,其实作为这几天父亲我没被打针也睡不大好。

人家都说女儿是前世的情人,虽然我不知道你以后长成得是不是我心目中的类型,但至少你是我们家庭的一员了。我们正式称为父女的第二天,郑重起见我看还是给你写封信吧。

恐怕你是天下「最不幸」的孩子,因为你有对极其不靠谱的双亲。你的母亲在生你之前的几个小时,你爹还跟着她在夜排挡吃烧烤。现在回想起来估计你是受不了烧烤的

查看全文: http://www.udpwork.com/item/11960.html

+0  被嗑药的未来

明城 发于 1970年01月01日 08:00 | 点击: 452 | 展开摘要
听闻了西安枫韵幼儿园的事情,让我不断被压低的底线瞬间降低到了冰点。作为个未出生孩子的父亲,我完全能够感受到那些家长的心情。难理解幼儿园的工作人员也应该是为人父母的年纪,竟然会做出如此丧德的事情。

这是个什么样的民族,才会如此舍得对自己的孩子那么痛下毒手?

这是个让人感到非常荒诞的年代,那些喂孩子吃药的幼儿园工作人员没有被控制,反而那些被伤害的家长想要索要正当的权利却被当地政府派出的武警牢牢得围了起来。

有人说在中国做一件好事的成本太高,而做坏事的成本低到甚至可以认为是一

查看全文: http://www.udpwork.com/item/11936.html

+0  无事莫跳语言坑

Typeof 发于 1970年01月01日 08:00 | 点击: 720 | 展开摘要
按照某人的说法,语言是工具;又照着某人的说法,人们发明语言有两种原因:
看现有语言不爽
发明 DSL
但是作为 Moescript 的作者,我真心建议各位没事别跳语言坑,因为程序语言的细节是能要人命的。各位可能对语法上的那些问题比较熟悉,我们就直接跳到语义部分。
作为第一个例子,在最早的 Lisp 里,函数是动态作用域的。在这种情形下,当内层函数需要访问非局部变量符号时,它会沿着堆栈向上查找,找到就返回,否则返回为定义。在这种情形下,如下的代码:

1(defun outer

查看全文: http://www.udpwork.com/item/11914.html

+0  JavaScript 原理,其四

Typeof 发于 1970年01月01日 08:00 | 点击: 607 | 展开摘要
在上一回我说:JavaScript 的文法分成两个部分,一个是词法,一个是句法。上一回里我们把句法给折腾了给底朝天,为的是借助扩大句法兼容的「字符串」数量,消除分号插入。JavaScript 句法的「字母表」并不是字符,而是语素。语素在经过「空白生成」产生式组之后,经过词法,最终得到 JavaScript 字符串——也就是源码了。语法解析的过程则相反,从源码开始,先拆分成语素,再构成语法树。当然,语素的「拆分」过程是由句法的解析驱动的,这些内容我们之后再提。
在通常的语言里,

查看全文: http://www.udpwork.com/item/11910.html

+0  我常用的 Mac 应用(2014)

明城 发于 1970年01月01日 08:00 | 点击: 684 | 展开摘要
上次盘点了下我常用的 iOS 应用,那么这次就盘点下我常用的 Mac 应用吧。个人主要用 Mac 来作应用开发以及一些日常事物,所以偏向开发类的工具多一些。

注:有部分软件是收费应用,由于售价实在无法接受以及国内的情况,在这里向原作者表示惭愧,同时再尽可能的情况下我会付款的。

Home Brew

可以说没有这应用我将少活好几年,感谢他节省了我不少的时间。

Chrome、Firefox、Safari

Chrome 是日常最常用的,同时目前的形式看来调试开发也越来越方便

查看全文: http://www.udpwork.com/item/11807.html

+0  从王博士说起

蒋清野 发于 1970年01月01日 08:00 | 点击: 1433 | 展开摘要

+0  辛波丝卡

zhuoqun 发于 1970年01月01日 08:00 | 点击: 559 | 展开摘要

+0  如何教育

zhuoqun 发于 1970年01月01日 08:00 | 点击: 621 | 展开摘要

+0  微博分布式存储作业实现方法

IT牛人.115 发于 1970年01月01日 08:00 | 点击: 1413 | 展开摘要
可能通过「高可用架构」听说过在微博的系统中,单张 MySQL 在线业务表 60 亿条数据的场景。很多关注互联网架构的工程师也非常关注如何如何设计类似系统。下面是一道微博新兵训练营的分布式存储课堂练习,要设计合格才能上岗。]]>

查看全文: http://www.udpwork.com/item/11681.html

+0  我常用的 iOS 应用和插件(2014版)

明城 发于 1970年01月01日 08:00 | 点击: 753 | 展开摘要
2013 这一年似乎改变了很多事情:我的 iPad 最终被「领导」霸占,我的看书习惯也从 iPad 转移到了 Kindle 上面,同时我买了台 iPhone5。正好在大年初一的时候,在无聊的催化剂下,终于从 iOS6 升级到了「娘泡的 iOS7」 。

所以,还是要例行总结下这一年来常用的 iOS 应用软件以及部分插件,也方便我以后再次手贱。

微信、QQ

这个就不用多说了吧,几乎我认识的所有使用智能手机的同学都在使用。

Chrome、Gmail

新版本的 Chrome

查看全文: http://www.udpwork.com/item/11665.html

+0  对 firewalld 终于失去信心了

kangkang 发于 1970年01月01日 08:00 | 点击: 1386 | 展开摘要
|<<<1259126012611262126312641265>>>| 一共1278页, 15334条记录