- 浏览: 151338 次
- 性别:
- 来自: northeast
文章分类
最新评论
-
lightgjc1:
好,支持,赞一下
复制表结构的通用存储过程 -
star022:
很有个性~~
tomcat 异常 Exception loading sessions from persistent storag -
我奋斗:
我也觉得,混江湖的吧。
tomcat 异常 Exception loading sessions from persistent storag -
wenjinglian:
你的图片真的 ;豪放。。。
tomcat 异常 Exception loading sessions from persistent storag -
helenxiao520:
[/b][b][b][/b]
什么是集群?
在参与这个讨论http://www.iteye.com/topic/33971 后,这段时间对这个话题有了一些新的思考,写下来和大家分享分享。 重点探讨一下动静态编程语言的语义,兼带些DSL及通用语言,以及新手上手难易问题。 编程语言的语义,在论坛里讨论不多。在这里先分析一下几门主流静态语言,C,C++,Java,C#的语义。这些语言从编程风格角度讲,都称之为”imperative programming language”,(命令式的编程语言)。究其原因,这些语言都是对计算机的核心部件,CPU及内存,施发号令的。
代码
第一句,具体语义是,在内存里分配一块内存,大小为4 bytes,在这块内存里,写入4。第二句,具体语义是,在内存里分配一块内存,大小为4 bytes,从a中取值,和4进行加法运算,结果写入b指向的4 bytes内存。第三句就是个潜在的错误,等号右边是个8 bytes的double,把8 bytes的数据写到4 bytes的内存块里去,数据会损失的。 要把这些静态语言内存分配的经验照搬来理解动态语言,完全是搞错了方向。看看下面一段javascript代码: 代码
这是一段完全合法可以正确运行的javascript程序,然而对于只编过静态语言而且对静态语言的语义很了解的人,却很难理解。变量a,明显不是指向根据类型分配出来一块大小固定的内存块。 如何理解这一段代码的语义? Revised Report on the Algorithmic Language Scheme一文里有这么一段:
引用
Scheme has latent as opposed to manifest types. Types are associated with values also (also call objects) rather than with variables. (Some authors refer to languages with latent types as weakly typed or dynamically typed languages. Other languages with latent types are APL, Snobol, and other dialects of Lisp. Languages with manifest types (sometimes referred to as strongly typed or statically typed language) include Algol 60, Pascal, and C.
Paul Graham在其“What Made Lisp Different”一文中这么说:
引用
A new concept of variables. In Lisp, all variables are effectively pointers. Values are what have types, not variables, and assigning or binding variables means copying pointers, not what they point to.
这两段合在一起,可以正确理解动态语言的语义。 静态,变量实际是分配的内存块,大小固定。 动态,变量实际是个指针,可指向内存任何一块。 (当然是运行的不同时期指向不同的内存块) 看看下面几句:
代码
这些语句应该理解为, (等号右边)表达式evaluate出来一个值,这个值绑定到变量a里面去。用来描述上述代码语义的正确的词是binding。 看看下面ML语言解释器对ML代码的解释: 代码
注意第七行的提示。
第十行,第十四行光打入a,也是个表达式,evaluate出来的值,绑定给省缺变量it。 看看下面Scheme语言解释器对Scheme代码的解释:
代码
注意第二行的提示。
一定要分清动态语言的变量绑定和静态语言的变量赋值的区别。变量是一个数学上的概念,在静态语言中,叫变量其实不合适,还不如直接叫a memory box,更能清楚地说明其本质。 对于静态语言,弱类型是致命伤,因为在声明变量的时候,内存块已经分配好了,往这个内存块里写一块内存块存储不下的数据,带来的伤害是致命的。对于动态语言,强弱类型未必重要。 在C/C++/Java/C#里面,内存是可以分配到Stack里面,也可以分配到Heap里面, 程序员一定要搞清楚区别, 像在C里:
代码
a 和 b 所分配的内存都在stack里,c 指向heap里的一块,退出前不把c 给free掉,就会遗漏内存。给function传值的时候,更要小心,传a是把5这个值给传过去,传b是传b这个array第一个元素的地址。 到了C++,更加繁琐,因为C++的 Object是可以分配在stack上的,随便写几句代码,都会用到assignment operator = , address-of operator &, copy constructor.
代码
C++编译器自动生成这些函数,有时不符合需要就要自己手写。 Java里面所有的object allocation, 都是分配在Heap里的,光这一点,就大大减轻了编程的繁琐度。从Java转向C++的朋友,一定要记住这一点。C++的 Object是可以分配在stack上的。 Java里面的primitive变量是分配在Stack上的,其实如果废除这八个primitive types,全部用Object reference,动静态语言的差别已经不那么大了。Type inference在C# 3里面,已经开始实现了:
代码
欧美计算机专业的第一门语言,一般是ML或Scheme。这些语言,做到了程序员不用思考内存是分配在stack上还是heap上,内存回收由GC管,因而可以集中精力,学习算法,递归等等。 用编程来解决问题,需要三方面的技能:1. 对编程语言,语义及运行环境的掌握,2. 对解决问题的算法的掌握,3. 拥有写出结构清晰,简洁易懂的代码的能力。 第一点和第二点经常交汇在一起,因为语言,经常是为了解决某个领域的问题而设计的,解决算法,递归之类的问题,用functional programming language,操作系统,应该用C,web领域之PHP,科学计算之Matlab,试验仪器控制之labview,关系数据库之SQL,莫不如此。 那么什么算是通用语言,什么算是DSL?通用不通用是相对的。C是一门通用语言,但也可以说是操作系统的DSL。从某种角度来说,能够全面控制计算机的,才叫通用语言,那么只有汇编才符合这个条件,C和C++勉强算得上。 新手上路,该学什么?应该从某个领域学起,学习解决那个领域问题需要的方法,而且学习那个领域的DSL。这样成效出的最快,而且不受干扰。 现在学校里教学静态语言占主流,有历史原因。以前计算机不够快,用C编程是唯一的选择。现在对运行效率要求很高的领域,还得用C,C++。但是在很多领域,这已经不是个问题了。由于历史的惯性,静态语言还在继续教。学校老师学新知识的动力,可不大。这些老师教出的学生,只会静态语言,那么公司为了保证人手充足,也会倾向静态语言。这种状况,慢慢会打破。
静态类型定义语言 动态类型定义语言 强类型定义语言 |
发表评论
-
优雅降级/过载保护
2012-06-28 10:51 0何谓降级,如何降级 系统通常提供了多种功能,这些功能会有重要 ... -
Copy-on-write, 写时复制
2012-04-13 17:24 0Oracle.JRockit.The.Definitive.G ... -
思路,临时想法
2012-02-02 16:53 0提高IO效率,均衡、分治,顺序,减少次数 1. 随机IO变顺 ... -
Problem with WebappClassLoader in background thread
2011-09-22 15:24 0Web应用中线程问题(Problem with WebappC ... -
SimpleDateFormat格式化时间与Locale的关系
2011-07-04 17:50 2559遇到格式化时间问题,在英文操作系统环境中,如下 import ... -
缓存文件描述符
2011-06-10 12:46 0文件描述符是一个简单的整数,用以标明每一个被进程所打开的文件和 ... -
IE缓存机制
2011-06-10 12:20 2410一、IE缓存机制 IE的缓存是以URL为标识的文件形式存储。 ... -
Observer, events
2011-06-08 22:32 2扩展性架构&设计 观 ... -
非一致性,放弃分布式事务,舍弃一致性,异步去重,异步设计等
2010-01-27 19:32 0替代分布式事务的解 ... -
HTTP持久连接
2010-01-12 18:14 2940Persistent Connections What ... -
计算字符串中字节长度
2009-02-11 13:14 1144/* * * 计算字符串的字节长度(字母数字计1,汉字及标 ... -
oracle中判断记录是否存在
2009-02-11 12:42 1399避免全表扫描 使用select cal_id from CMS ... -
javascript
2008-07-30 21:24 921JavaScript中包含的几个预定义函数详解 ... -
【转】通过DatabaseLink连接远程Oracle数据表的错误,及其变通方法
2007-09-05 20:36 2468通过DatabaseLink连接远程O ... -
Rest基础 -杂烩[转]
2007-06-21 16:36 1760REST 是由 Roy Fielding 在他的论文《Arch ... -
数据仓库与olap基础
2007-05-21 10:34 2764多维数据模型与OLAP实现 2007-05-18 13:41 ... -
复制表结构的通用存储过程
2007-04-19 11:24 1371复制表结构的通用存储过程 <o:p> ... -
【转】数据库设计 术语
2007-04-02 10:30 1138... -
【转载】java操作Excel、PDF文件
2007-03-11 16:37 1964java操作Excel、PDF文件 ... -
【转载】spring 生成Excel和PDF文件
2007-03-11 16:15 4576spring 生成Excel和PDF文件 HTML页面并不 ...
相关推荐
普林斯顿大学作业,ML静态动态类型检查语义分析,该分析先进性静态类型分析,然后基于动态类型,进行运行结果分析。
针对复杂语境下自然语言语义特征提取、匹配精度和实时性较差的问题,提出了模糊聚类、单亲遗传搜索匹配算法相结合的新方法,通过对候选特征点进行模糊聚类处理,使其分布在高斯差分图像的灰度轮廓线边缘,利用单亲遗传...
多语言语义角色标注联合学习方法,蒲相忠,赵磊,近年来,多语言联合学习在多个自然语言任务中取得了不错的效果,如机器翻译,语义表达式分析等。为解决多语言的语义角色标注任务
针对语义分割数据集的rgb图(24位)和索引图(8位)之间的转换,使用matlab实现,具体见:https://blog.csdn.net/Return_0_/article/details/97623422
就语言的指称语义分别讨论了智能神经网络程序设计语言NIPL中有关规则的动、静态语义,从而建立了NIPL中规则的数学模型。
其中包括了语义分析的源程序及实验报告.
基于模块单子语义的动态程序切片,张迎周,徐宝文,本文提出了一种新的动态切片方法──模块单子动态切片,它基于程序的模块单子语义。首先通过单子转换器,将切片这一类计算抽象成
陆汝钤,计算机语言的形式语义.北京:科学出版社,
摘要:三维语义地图在移动机器人导航、路径规划等任务中有着关键的作用,如何实时地构建三维语义地图尤为重要。当前同时定位和地图构建(SLAM)算法在一些场景下能够达
用java语言编写的词法分析器、语法分析器和语义分析器,已经内置了静态的基本语言,通过文件读入代码,上传供各位学习交流使用。
介绍编程语言语义的结构化,可操作的方法。
《程序设计语言的形式语义》第四章操作语义的证明规则的ppt讲解
仔细阅读并测试TINY语言编译器的语义分析器,特别是数据类型检查与推断方法与符号表建立方法。 三、实验内容: (1)符号表处理程序的阅读与注释; (2)类型检查与推论程序的阅读与注释; (3)编译并测试TINY语言...
本研究报告是在 IMT-2030 6G 网络总体架构指导下,着重介绍语义通信与语义认知网络技术概述、语义通信及语义认知网络的基础理论与关键技术、语义通信的要素以及语义认知网络的应用需求和典型业务,希望能为业界在...
应用ANTLR实现过程式语言操作语义的动态演示,SQL
本文档是我们上程序设计语言的形式语义这门课的课件。
编译原理,第4章 语法分析,语义分析, 自上而下,逐步细化
语义搜索技术语义搜索技术语义搜索技术语义搜索技术
提出了一种基于上下文的语义映射方法SM-Context(semantic mapping based on context)。SM-Context首先为本体模型中的概念找出表示其语义信息的上下文,然后采用谓词逻辑的形式表示概念的上下文,最后将本体映射...
深度学习对自然语言语义的无监督学习 一种无监督的语句语义表示学习方法