摘要：
本问首先对OOP做了简单介绍，大家可以看看最新的编程语言排行榜；然后逐一介绍了类型转换、类型测试、对派生类使用类型标注、使用记录类型模拟对象、向F#类型添加成员方法，通过这些语言结构我们能将值和函数封装在类型内部。在下一篇中将介绍接口和继承等相关语言结构。 阅读全文
随笔档案-2008年09月
F#探险之旅（三）：命令式编程（下）
2008-09-28 01:40 by Anders Cui, 3223 阅读, 收藏, 编辑
摘要：
走马观花，这一站的风景看得差不多了，命令式编程的核心部分也介绍完毕。有了函数式编程和命令式编程的知识，我们应该有信心解决大部分问题了。使用F#，我们可以选择合适的编程范式，而不是囿于特定的一种范式。我们将看到在C#所熟悉的控制流程，如何在F#中使用.NET类库中类型和它的属性、方法、索引器和事件等成员，还有如何对.NET类型进行模式匹配，最后是很实用的“|>”操作符。如果你刚开始不太接受函数式编程，就从这里开始吧。 阅读全文
F#探险之旅（三）：命令式编程（上）
2008-09-25 01:56 by Anders Cui, 3246 阅读, 收藏, 编辑
摘要：
F#探险之旅的第三站，一起来看看F#中命令式编程（Imperative Programming）范式相关的内容。我们绝大多数时候使用的语言都属于命令式编程语言，这与我们生活中的习惯相符合，因为我们都喜欢使用祈使语气——Imperative Mood :) 这一站的内容分为两部分，本文主要是有关unit类型，可修改的标识符，可修改的记录类型，ref类型和数组的内容。 阅读全文
（转载）北极步入死亡漩涡：海冰加速融化，航道自动打开
2008-09-17 23:19 by Anders Cui, 1552 阅读, 收藏, 编辑
摘要：
一本《马可·波罗游记》让全欧洲都开始憧憬那个“黄金铺路”的东方古国，为了找到连接欧亚的最短航线，无数人将目光投向了北极。当时的欧洲人相信，只要从挪威海北上，到达北美大陆以北，然后向东或者向西沿着海岸一直前行，就一定能够到达中国。为了找到“西北航道”，从15世纪末到20世纪初，探险家们前仆后继，最终，挪威人罗尔德·阿蒙森（Roald Amundsen，1872-1928）在经历了两年半的艰苦航行之后，终于在1906年首次将其打通。其后，由于北极极为恶劣的气候环境，西北航道随即又消失在传说中。然而100年后，这条冰封的神秘航道竟然第一次奇迹般地自动打开……
2008年夏天，西北航道再次融化。连续两年可以通航让各国船舶公司欣喜若狂，而对于世代生活在这里的动物们和全球各地的人们来说，这却是一条极坏的消息，矛头又直指气候变暖，普林斯顿大学的地球科学家奥本海默强调，即使海平面只上升1米，也会是一个很大的问题。它将对生活在全球各地的人们构成严重威胁。
也许有一天，地理课本上会这样说，这个世界上有三大洋，它们是太平洋、大西洋和印度洋。 阅读全文
程序员职业的乐趣和苦恼
2008-09-06 22:53 by Anders Cui, 1478 阅读, 收藏, 编辑
摘要：
久闻《人月神话》的大名，但却一直没有买它，下载的电子版也一直搁置在那里。直到最近看到同事桌上摆着这本书，才想去要用它打发上下班的时间。在第一章中有一段关于乐趣和苦恼的阐述,读来饶有共鸣。 阅读全文
F#探险之旅（二）：函数式编程（下）
2008-09-06 11:29 by Anders Cui, 3871 阅读, 收藏, 编辑
摘要：
本文继续讨论F#函数式编程范式的核心内容，主要是模式匹配、自定义类型、异常处理和延迟求值等内容，模式匹配可以很大程度上简化我们的程序；自定义类型则可以帮助我们更好地组织程序；延迟求值不仅能够提升性能，还可用于创建无限的数据结构，比如自然数序列。至此，F#的函数式编程的相关内容就介绍完了。另外，在开发F#程序时，建议常用Reflector来看看编译后代码的样子，来了解它优雅的函数式编程背后到底是什么。 阅读全文
