从选择信息专业开始到回炉读书为止,四舍五入码了八年代码.对于计算机科学的认知仅限于: 1)使用不同语言实现特定功能 2)实现不同算法以增进系统性能 3)搭建不同架构进行组织管理   但从未思考一些本质问题,比如程序中的函数是什么?系统中的进程是什么?类是什么?这些常用概念,都会使用,也会用描述加以解释,但没有想过需要进行形式化的定义.因此,其实从来没有进过计算机科学的大门.   上两个学期修习了Principles of Programming Language, Logic两门课程,加之浏览了…

引言:此文翻译自CodeProject上的同名文章<C# Delegates,Anonymous Methods, and Lambda Expressions>,在此一起Mark一下,此篇文章写的大道至简,深入浅出的让大家理解C#中较难的三个概念-委托(代理),匿名函数,Lambda表达式. 内容索引: 简介 什么是委托? 委托 灯光,摄像,行动 - 也许我们需要函数Func! 匿名函数 Lambda 表达式 写在最后 简介(Introduction) 在.NET中,委托,匿名函数和Lamb…

最近比较闲,打算整理一下之前学习的关于程序语言的知识.主要的内容其实就是一边设计程序语言一边写解释器实现它.这些知识基本上来自Programming Languages and Lambda Calculi和Essentials of Programming Languages这两本书. 我还记得高中奥数竞赛培训时的老师这样说过:“解题时一定要抓住定义.” 编程和解题一样,也要抓住定义. 所以在写解释器前,得先定义好这门要解释的程序语言. 这门程序语言基于Lambda演算. 从\(\lambda…

import.java.大道至简.*; //一·愚公移山 import.java.愚公移山.*; public class YuGongYiShan { //原始需求:惩山北之塞,出入之迂 //项目沟通方式:聚室而谋曰: //项目目标:毕力平险,指通豫南,达于汉阴 //技术方案:扣石垦壤,箕畚运于渤海之尾 //技术人员:子孙荷担者三夫 //工程管理人员:愚公 //外协:邻人京城氏之孀妻,有遗男,始龀,跳往助之 if(愚公死) 有子存焉,子孙去完成移山的任务: else 愚公自己完成移山的任务:…

<大道至简>第一章——编程的精义_读后感(Java伪代码形式)1.愚公移山//愚公为团体的项目组织者.团体经理.编程人员.技术分析师等//子孙荷担者三人为三名技术人员//遗男为外协//目标为“毕力平险,指通豫南,达于汉阴”public class Ygys; //定义一个名为Ygys的类{String 人员;public static void main(String[] args)//定义主程序{人员初始化人员= new String();while(山没平){if(人员死){人员 = 愚公…

中秋放假之际读了建民老师介绍的<大道至简>的第一章,其中以愚公移山的故事形象的介绍向介绍编程的精义.愚公的出现要远远早于计算机发展的历史,甚至早于一些西方国家的文明史.但是,这个故事许是我们看到了编程的根本:顺序.分之.循环. import.java.大道至简.*; import.java.愚公移山.*; public class YuGongYiShan{ public static void main(String args[]) { //项目目标:毕力平险,指通豫南,达于汉阴: //技术…

Y组合子:\f.(\x.f(xx))(\x.f(xx)),接受一个函数,返回一个高阶函数 Y组合子用于生成匿名递归函数. 什么叫匿名递归函数,考虑以下C语言递归函数 int sum(int n) { return n == 0 ? 0 : n + sum(n-1); } 这个函数在内部递归调用了自身,调用自身需要函数本体的名字,这个函数叫sum,sum内部用名字sum,递归调用了自己 在lambda演算中,可以写成类似的表达式sum = \x. x == 0 ? 0 : sum x 但是对于一个…

               大道至简读后感 ——第三章团队 古人云“三人为众”,众则是指团体或团队.对于一个团队而言,重要的是凝聚力,大家能在一起把拳头握紧那么产生的力量就不紧紧是能以1+1=2 来衡量的了. 对于每个团队中的个体而言,要有基本的责任感.而对团队的的管理者来说,分工具体将是是否能将项目完成最优的关键之处,有的人适合编程,有的人适合去做项目沟通,有的则适合活跃中整体气氛,使工作效率提高.而有的人似乎并没有在团队中发挥自己的作用,有或者无似乎都行,那么对于管理者来说,开除这样的人或…

——大道至简之编程的精义读后感(JAVA伪代码) import.java.大道至简.*; import.java.愚公移山.*; public class YuGongYiShan{ 愚公 = {项目组织者.团队经理.编程人员.技术分析师}: //概况如下: //原始的需求:“惩山北之塞,出入之迂” //项目沟通的基本方式:“聚室而谋曰” //项目的目标:“毕力平险,指通豫南,达于汉阴” //技术方案:“扣石垦壤,箕畚运于渤海之尾” //参与项目的人员:“(愚公)率子孙荷担者三夫” //外协一名…

import.java.大道至简.*; 1.编程的精义----愚公移山 /* 原始需求的产生:惩山北之塞,出入之迂 项目沟通的基本方式:聚室而谋曰 项目的目标:毕力平险,指通豫南,达于汉阴 技术方案:叩石垦壤,箕畚运于渤海之尾 三明技术人员和一名工程管理人员:愚公率子孙荷担者三夫 一名力量较弱,但满富工作激情的外协:邻人京城氏之孀妻,有遗男,始齔,跳往助之 */ if(愚公死) while(山未平) {子又生孙,孙又生子,子子孙孙继续移山:} else 愚公自己完成移山的任务: 山不加增,山必平…