My Blogs

Posts tagged with "程序设计语言理论"

Lambda演算之自然数

Tags: 函数式编程 , 程序设计语言理论 , Clojure , Lambda , Lisp

Published 2014年09月10日 12:00 by james

λ演算（英语：lambda calculus，λ-calculus）是一套用于研究函数定义、函数应用和递归的形式系统。它由阿隆佐·邱奇和他的学生斯蒂芬·科尔·克莱尼在20世纪30年代引入。这种演算可以用来清晰地定义什么是一个可计算函数。

λ演算规则

  <expression> := <name> | <function> | <application>
  <function> := λ<name>.<expression>
  <application …

定义返回函数指针的函数

Tags: C语言 , 程序设计语言理论

Published 2008年08月08日 17:15 by james

基础知识：

定义函数指针：

return_type (*func_pointer)(parameter_list)

定义返回函数指针的函数：

return_type(*function(func_parameter_list))(parameter_list)

定义了一个函数function，该函数的参数列表是(function_patameter_list)，返回类型是一个函数指针，这个函数指针的原型是return_type(*)(parameter_list)。

经典例子

signal函数原型

Linux 2.0之前版本 …