最新 | 最热门 | 最高评价

+0  现代魔法构成论:多变量不动点组合子

Typeof 发于 1970年01月01日 08:00 | 点击: 500 | 展开摘要
对函数式语言理论了解者很多都知道著名的不动点组合子:

Y = lambda f. ~ f ~ (Y ~ f)

使用它,我们可以定义递归函数:

fib rm = Y ~ (lambda f . ~ lambda x . ~ if rm ~ (x > 0) ~ (x times (f ~ (x - 1))) ~ (1))

当然你们也看到了,Y 组合子并不支持间接递归。但是这并不代表间接递归是不可实现的。考虑下面的式子:

odd rm_r = lambda x

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

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

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

因为,这是一条公理。

是的,在形式化子类型的 F_{<:} 系统里,函数对参数反变,对返回值协变是一条公理。严格来说这是一条类型居留法则,定义是:

{Sigma rm vdash alpha' <: alpha quad Sigma rm vdash beta <: beta'

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

+0  现代魔法构成论:多变量不动点组合子

Typeof 发于 1970年01月01日 08:00 | 点击: 609 | 展开摘要
对函数式语言理论了解者很多都知道著名的不动点组合子:

Y = lambda f. ~ f ~ (Y ~ f)Y = λf.  f (Y f)

使用它,我们可以定义递归函数:

fib rm = Y ~ (lambda f . ~ lambda x . ~ if rm ~ (x > 0) ~ (x times (f ~ (x - 1))) ~ (1))fib = Y (λf.  λx.  if (x > 0) (x × (f (x − 1))) (1))

当然你们也

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

+0  现代魔法构成论:求值策略

Typeof 发于 1970年01月01日 08:00 | 点击: 611 | 展开摘要
Call by Value 和 Call by Name 的真正定义是什么呢?实际上是 Lambda 演算里的 betaβ 规约顺序。

考虑表达式 (lambda x . ~x^2)((lambda x . ~x + 1) ~ 2)(λx.  x{2})((λx.  x + 1) 2),按照 betaβ 规约的法则,有两种代换次序:

(lambda x . ~x^2)((lambda x . ~x + 1) ~ 2) -> ((lambda x . ~x + 1)

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

+0  WiFi-Duino 使用小结

明城 发于 1970年01月01日 08:00 | 点击: 455 | 展开摘要
年前的时候曾经使用 Arduino 做过个环境检测的小工具 ,总体来说效果都还可以。

后来刚好在点名时间上看见了个名叫
WiFi-Duino 的项目,大体来讲它就是
Arduino + Wifi 模块的集成控制板,刚好合计了下控制板加上 Wifi 模块的价格其实也差不多,因此就尝试购买了块。

不过,从十二月份下单到三月份我几乎都快忘记了这个事情,因此在前几天收到个莫名的邮包感到些意外,打开以后发现原来是它。

前言

邮包里面的内容很简单,除了一个用塑料袋包装的 WiFi

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

+0  流程抽象的一个实例:Parser Expression Grammar

Typeof 发于 1970年01月01日 08:00 | 点击: 1056 | 展开摘要
流程抽象是近年程序界的热门话题。随着匿名函数渐渐被大众接受,针对控制流的抽象已经不算稀奇玩意。我们很容易写出这样的小东西:

function iif(condition, consequent, alternate){
if(condition) return consequent()
else return alternate()
}

不过人们很少知道控制流抽象的真正威力。我下面要分析的就是控制流抽象领域一个很有意义的应用:Parser Expression Gra

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

+0  Eido 是什么

Typeof 发于 1970年01月01日 08:00 | 点击: 550 | 展开摘要
Eido 是……
我用来生成网站用的东西
Nodejs 实现的「长得像 TeX 的 lisp」
拥有完整「宏」功能,Markdown 与之相比就是渣
好吧详细点。Eido 是我设计的给 Moescript 生成文档用的语言,结果一不小心设计过头能力太强现在都能拿来给 typeof.net 生成全站的东西。它是一个宏语言,整体语法参考了 TeX(因为我想不出来什么更好的语法来让函数调用和文档正文混杂在一起),内核则是类似 Lisp 的解释器。其实 Lisp 的解释器是相当好写的

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

+0  JavaScript 原理,其五

Typeof 发于 1970年01月01日 08:00 | 点击: 616 | 展开摘要
利用程序语言我们可以教会机器它们的任务。语法规定哪些句子是合法的,而机器应该做什么,就是形式语义规定的内容了。但是语义其实是个挺玄的东西,玄在两处,一是——能作为「语义」的东西真太 TM 多了。考虑下如下的「十进制数」语法:
Decimal → Digit
Decimal → Decimal Digit
Digit → 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
对于「十进制数」的「语义」是什么,我们可以说是它表达的整数值(这是各位最熟悉的语义

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

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

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

因为,这是一条公理。

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

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

+0  给女儿的一封信

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

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

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

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

+0  被嗑药的未来

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

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

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

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

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

+0  无事莫跳语言坑

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

1(defun outer

查看全文: http://www.udpwork.com/item/11914.html
|<<<1251125212531254125512561257>>>| 一共1271页, 15246条记录