2.1 函数编程的基础
可以回顾一下第一章,lambda 演算起源于上世纪 30 年代的数学理论,如今,它是计算机科学理论的重要组成部分。在逻辑上证明及验证系统的辅助工具 (例如,CPU 设计),还是简单形式编程语言,可以准确地解释其他语言的行为。
注意
在下一节,会看到几个用 lambda 演算写的示例“程序”,能以最纯洁和最干净的形式展示很多概念,在本章后面会看到。在 la...
分类:
其他 时间:
2014-08-14 10:55:18
收藏:
0 评论:
0 赞:
0 阅读:
287
这道题目当时做的时候想的是,如果找到一个点他的d值之和大于 d+b值之和,就可以。竟然就这么过了啊。不过题解上还有一种做法,好像有点难。以后在补一补那种做法吧。
Destroy Transportation system
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 131072/131072 K (Java/Other...
分类:
其他 时间:
2014-08-14 10:54:48
收藏:
0 评论:
0 赞:
0 阅读:
179
Date.prototype.Format = function (fmt) { //author: meizz
var o = {
"M+": this.getMonth() + 1, //月份
"d+": this.getDate(), //日
"h+": this.getHours(), //小时
...
分类:
Web开发 时间:
2014-08-14 10:54:18
收藏:
0 评论:
0 赞:
0 阅读:
362
大家好,我们是微软大中华区安全支持团队。 微软于北京时间2014年8月12日发布了9个新的安全公告,其中2个为严重等级,7个为重要等级,共修复SQL Server, OneNote,SharePoint, .NET, Windows和 Internet Explorer (IE)中的37个漏洞。与以往一样,我们推荐您安装所有更新,对于暂时只采用部分更新的用户,我们推荐您首先部署安全公告MS14...
分类:
其他 时间:
2014-08-14 10:54:08
收藏:
0 评论:
0 赞:
0 阅读:
274
1. 需要写入非ascii文本并且与本地编码无关时,除了utf8,unicode编码是另外一个选择,它的好处是占两个字节,便于统计字符和对字符进行处理,因为有对应的宽字节的函数,如wcslen.
2.需要注意的亮点,要先写入0xff,0xfe文件头,之后使用fwprintf时用%S(大写)格式写入宽字节字符串。
3.使用_wfopen支持中文路径....
分类:
编程语言 时间:
2014-08-14 10:53:58
收藏:
0 评论:
0 赞:
0 阅读:
650
自定义的scrollView,实现下拉回弹,上拉回弹,类似下拉刷新的效果,内容不必扑满也能滚动的效果...
分类:
其他 时间:
2014-08-14 10:53:48
收藏:
0 评论:
0 赞:
0 阅读:
297
ServletContext使用经验汇总...
分类:
其他 时间:
2014-08-14 10:53:28
收藏:
0 评论:
0 赞:
0 阅读:
357
题意:N块地,M条路,W个虫洞。判断有没有可以是时间倒流的路径。注意把W次输入的w[i]改成-w[i]。
SPFA:判断有没有入队次数超过N的点。...
分类:
其他 时间:
2014-08-14 10:53:18
收藏:
0 评论:
0 赞:
0 阅读:
331
find the nth digit
Time Limit: 1000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 8363 Accepted Submission(s): 2385
Problem Description
假设:
S1 = 1...
分类:
其他 时间:
2014-08-14 10:53:08
收藏:
0 评论:
0 赞:
0 阅读:
619
大胆尝试,不将就。
设计网页时,既要体现功能,也要注重美观,还要兼容各个浏览器。老师经常会为了1px的差别改来改去的,之前觉得很没有必要,但很多时候这些细节的东西起着巨大的作用。
有始有终,认真对待。
牛老师做这个系统,录了那么漫长的60多集视频。这种态度很值得我们学习,一件事,你既然去做了,就要有始有终。即便它不是你的工作,或许只是爱好,也要认真对待。...
分类:
其他 时间:
2014-08-14 10:52:59
收藏:
0 评论:
0 赞:
0 阅读:
294
有的时候我们需要把字符串倒序。
比如“范坚强”的倒序就是“强坚范”。
如何对字符串进行倒序呢?你首先想到的方法就是生成一个栈,从尾到头依次取出字符串中的字符压入栈中,然后把栈连接成字符串。
var reverse = function( str ){
var stack = [];//生成一个栈
for(var len = str.length,i=len;i>0;i-- ){
...
分类:
Web开发 时间:
2014-08-14 10:52:38
收藏:
0 评论:
0 赞:
0 阅读:
255
Stack栈是常用的一个FILO数据结构。栈在STL是靠deque来实现的。...
分类:
其他 时间:
2014-08-14 10:52:28
收藏:
0 评论:
0 赞:
0 阅读:
359
题意 中文 但要注意小于你能量的点也是能到达的
令d[i][j]表示到达第i行第j列的方法数 初始化为0 d[1][1]为1 输入一个点的能量t后 枚举这个点能到的所有点(i+x,j+y)(x+y<=t) 有d[i+x][j+y]+=d[i][j] 因为只能向右走和向下走 可以保证每次更新后均为当前最优解 输入最后一个点后 就得到答案了...
分类:
其他 时间:
2014-08-14 10:52:08
收藏:
0 评论:
0 赞:
0 阅读:
425
The Perfect Stall
Time Limit: 1000MS
Memory Limit: 10000K
Total Submissions: 18416
Accepted: 8379
Description
Farmer John completed his new barn just last week, compl...
分类:
其他 时间:
2014-08-14 10:51:48
收藏:
0 评论:
0 赞:
0 阅读:
318
菜单也是游戏中不可缺少的元素之一,quick中对于menuItem的封装有两种,一个是图片菜单,一个是文字菜单。
一、图片菜单ui.newImageMenuItem(params)
可用参数:
image: 正常状态的按钮图像imageSelected: 按钮按下时的图像(可选)imageDisabled: 按钮被禁用时的图像(可选)listener: 回调函数tag: 按钮...
分类:
其他 时间:
2014-08-14 10:51:46
收藏:
0 评论:
0 赞:
0 阅读:
386
什么是sed和awk
sed和awk是Linux环境下数据的处理工具,可以完成对数据的增删改查的功能。
sed处理时是以行尾单位的,awk处理数据时以字段为单位。...
分类:
其他 时间:
2014-08-14 10:51:39
收藏:
0 评论:
0 赞:
0 阅读:
344
工厂模式(Factory)是比较常见的一种模式我觉得也是一种非常容易理解的一种模式,举个简单的例子吧,我们小时候经常考试,每次最害怕的就是爸妈问考试试卷的分数,不同的分数我们的心情也是不一样的。那么我们就根据这个情况以工厂模式写一个Java程序。...
分类:
移动平台 时间:
2014-08-14 10:51:18
收藏:
0 评论:
0 赞:
0 阅读:
286
Form Object example
function delrow1()
{
var oElement=event.srcElement;
while(oElement.tagName!="TR")
{
oElement=oElement.parentElement;
}
var oTBody=oElement.parentElement;
oT...
分类:
Web开发 时间:
2014-08-14 10:50:48
收藏:
0 评论:
0 赞:
0 阅读:
415
Managershare:技术改变了我们的生活,这个毫无疑问,但是方便我们的同时也给了我们养成了很多的陋习,让我们欲罢不能。这篇文章的结论很值得我们思考:放下技术,培养我们的思维。
谷歌公司做过一项统计,大部分安卓用户每天查看150次手机。智能手表和谷歌眼镜等可穿戴设备,有助于减少用户查看手机的次数,但毫无疑问也将增加数字干扰的次数。试戴星Gear Live和LG 智能手表的早期用户说,...
分类:
其他 时间:
2014-08-14 10:50:38
收藏:
0 评论:
0 赞:
0 阅读:
283
对差分对仿真,首先要提取差分对的拓扑,然后对其进行仿真并对仿真结果进行分析。
(1)启动Allegro PCB SI GXL,打开D:\diffPair\PCI4.brd。
(2)执行Analyze->Preferences,弹出Analysis Preferences对话框。
(3)在InterconnectModels标签页设置Percent Manhattan为100,Defa...
分类:
其他 时间:
2014-08-14 10:50:28
收藏:
0 评论:
0 赞:
0 阅读:
516