sheldon_de-CSDN博客

原创 OCaml 中 module 和 Signature 的关系

个人理解： Signature 也可以叫做 interface , 我们可以这样理解， Signature是抽象的，是module的类型，对module进行了约束，约束了该module的用户能在外部使用该module的哪些内容，因为一个module中不需要把所有东西都对外公开了，比如有些辅助性的函数我们就可以对外隐藏。 module 是对一个 interface(signature)的具体的

2015-01-28 01:50:38 667

翻译 OCaml中的 class 和 object

Ocaml 也具有面向对象编程的范式，OCaml混合了三种范式：函数式，面向对象，指令式，使得程序员可以在面对问题是选择最合适的方法来解决。 Class 先来看一个OCaml中class的例子，该例子是声明了一个栈类型，使用链表来实现 # class stack_of_ints = object (self) val mutable the_list

2015-01-28 01:12:22 602

翻译 Ocaml 中的module system

文章内容翻译自 manual-ocaml-4.02点击打开链接, 和 Ocaml Tutorials其中加入了个人的理解 Modules 基本用法: 在Ocaml中，代码都是被包装在一个个的module中的，一个module本身也可以是另一个module的子module，非常类似于文件系统中的目录结构，但这样的用法很少. 当你写了一个程序，此程序使用了两个文件(amodu

2015-01-28 00:55:17 703

原创 Xcode6.1中模拟器中文输入法

看到网上很多文章中提到了解决办法为：按快捷键command+shift+H，然后Settings->General->Keyboard->Keyboards->Add New Keyboard... ，进行设置后仍然在我自己写的应用程序中无法调出中文输入法。最后在一篇文章中【http://blog.csdn.net/fenglinxiu2008/article/details/4212

2015-01-19 23:11:27 399

计算机体系结构量化研究方法第五版(英文加书签版)

本来是打算免费分享给大家的（CSDN上已经有这本书的是个8M多的版本，那个没有书签），但是我自己的账户0积分，经常遇到需要的资源而无法下载，很是苦恼，只好象征性的扣除1分了，希望大家能从这本书里学到知识，还可以同时配合课后答案，CSDN上也有免费版的

2014-10-08

The Formal Semantics of Programming Languages

这本书是我们上指称语义课的一本推荐读物，本书是英文版，可以跟中文版（宋国新等翻译）对照学习，是一本经典读物

2014-09-29

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人