OCaml (ML家族语言)很好很强大】的更多相关文章

理由如下: 1. 强类型,写着放心 2. 函数式. 且不是pure functional, 不用像 Haskell 那样极端.. 3. Algebric Data Types 的模式匹配 实在太爽了 4. modules 很强大 5. 语法很简洁. =================== 缺点 冷门,库好像很少. 文档更少 中文书籍:目前只有一本中文教材:<真实世界的OCaml> ( Real World OCaml )…
Scala语言设计概述 Scala的设计受许多编程语言和研究思想的影响.事实上,仅很少的Scala的特点是全新的:大多数都已经被以另外的形式用在其他语言中了.Scala的革新主要来源于它是如何构造并放在一起的.在这部分里,我们罗列了对Scala设计的主要影响.列表并不全——因为围绕着编程语言的设计有太多的好点子,没办法全都列举在这里. Scala语言设计的“蓝本”语言 在最表层,Scala采用了Java和C#语法的大部,而它们大部分借自于C和C++句法的改变.表达式,句子和代码块多数和Java一…
英文原文:Charming Python: Functional programming in Python, Part 3,翻译:开源中国 摘要:  作者David Mertz在其文章<可爱的Python:“Python中的函数式编程”>中的第一部分和第二部分中触及了函数式编程的大量基本概念.本文中他将继续前面的讨论,解释函数式编程的其它功能,如currying和Xoltar Toolkit中的其它一些高阶函数. 表达式绑定 有一位从不满足于解决部分问题读者,名叫Richard Davies…
Lua 本条目介绍的是一种编程语言.关于关于Lua在维基百科中的使用,请见"维基百科:Lua".关于"Lua"一词的其他意思,请见"卢阿". Lua 编程范型 多重编程范式,脚本,命令式编程(过程式,基于原型的编程,面向对象程序),函数编程语言 设计者 Roberto Ierusalimschy Waldemar Celes Luiz Henrique de Figueiredo 发行时间 1993年 最新发行时间 5.3.4(2017年1月30…
Haskell语言的核心特征: 1. 函数式,而且是纯函数式(purely functional) 首先,引用一下维基百科上对“典型的函数式编程语言”的划分: 一: 纯函数式 1. 强静态类型: Miranda , Haskell 2. 弱类型: Lazy K 二:  非纯函数式 1. 强静态类型:  ML家族(包括OCaml , F#), Scala 2. 强动态类型:Lisp家族(包括Comon Lisp,Scheme, Clojure), Erlang 3. 弱类型:Unlambda 考虑…
现代应用相比普通的网页有不同的要求.但是浏览器是一个有着一套(大部分)固定可用的技术的平台,JavaScript依然是web应用的核心语言:任何需要在浏览器上跑的应用都需要使用这种语言. 我们都知道Javascript并不是最好的语言,特别是在复杂的应用中,它可能不太能胜任.为了避免这种情况,一些新的语言或现有语言的编译器被创造出来,你不用写一行Javascript或者考虑这种语言的局限,就能生产在浏览器能运行的代码. 这篇文章包括了十种有趣的语言能够编译为Javascript,在浏览器或者No…
对 Rust 语言的分析 Rust 是一门最近比较热的语言,有很多人问过我对 Rust 的看法.由于我本人是一个语言专家,实现过几乎所有的语言特性,所以我不认为任何一种语言是新的.任何“新语言”对我来说,不过是把早已存在的语言特性(或者毛病),挑一些出来放在一起.所以一般情况下我都不会去评论别人设计的语言,甚至懒得看一眼,除非它历史悠久(比如像 C 或者 C++),或者它在工作中惹恼了我(像 Go 和 JavaScript 那样).这就是为什么这些人问我 Rust 的问题,我一般都没有回复,或者…
这段时间,一直在整理公司的内部 rpc 服务接口,面临的一个问题就是:由于公司内部的系统由几个不同的语言编写的.C# ,java,node.js 等,如何实现这些内部系统之间的接口统一调用,确实是比较麻烦,本来考虑用webapi 但是感觉内部系统之间用webapi 效率不高.最终,我们还是考虑引入Thrift ,通过Thrift整合各个不同的RPC服务.下面就Thrift 如何使用,做个简单的介绍,本人也是初次接触. 介绍 Thrift是一款由Fackbook开发的可伸缩.跨语言的服务开发框架,…
不是为了与众不同.而是为了更加清晰易懂. Rob Pike 曾经在 Go 官方博客解释过这个问题(原文地址:http://blog.golang.org/gos-declaration-syntax),简略翻译如下(水平有限翻译的不对的地方见谅): 引言 Go语言新人常常会很疑惑为什么这门语言的声明语法(declaration syntax)会和传统的C家族语言不同.在这篇博文里,我们会进行一个比较,并做出解答. C 的语法 首先,先看看 C 的语法.C 采用了一种聪明而不同寻常的声明语法.声明…
编年史 1951 – Regional Assembly Language 1952 – Autocode 1954 – IPL (LISP语言的祖先) 1955 – FLOW-MATIC (COBOL语言的祖先) 1957 – FORTRAN (第一个编译型语言) 1957 – COMTRAN (COBOL语言的祖先) 1958 – LISP 1958 – ALGOL 58 1959 – FACT (COBOL语言的祖先) 1959 – COBOL 1959 – RPG 1962 – APL …