博文

F# 中的 LOP ——“面向语言编程”(2012-01-15 09:21:00)

摘要:   http://blog.csdn.net/hikaliv/article/details/4420391  又一次谈到 F#。话说,听说过“面向对像”,那“面向语言”是什么玩儿?只听说过“面向对像的语言”,难道说还有“面向语言的语言”?       我个人觉得“面向某某”与其非要形像化成某种语言,不如将之抽象成一种不受语言约束的思想。语言可以对“面向某某”的思想进行支持和实践,而不要受其桎梏。像 C#.net 这种,“专为面向对像而设计的语言”最终是失败的,残酷的现实已经逼得 C# 不得不每升级一次版本,就完成一次“变态”,结果现在的 C# 就是一个大变态,四不像。       那 F# 呢?在这方面 F# 会重蹈覆辙吗?源自伟大的 ML,经由 Objective Caml 而派生出的 F#,立志通过“面向语言”理念这条新的途径实现 C# 之力所不及的微软的野心——整合、垄断并统治整个软件工业,显然,微软已然默认了变态的 C# 的彻底失败。C# 依然在不断完善,但它的变化更像是一种挣扎,给自己一种活下去的理由而已,它的变化是一种变态。C# 已经不再是微软战略的中坚,而在不知不觉中完成了新战略实验田的转变。C# 在为谁做实验?F# 么?       哈哈,微软曾主打 VB,后来微软改为主打 C#.net,于是 VB.net 成为了 C# 的实验田,如今,C# 却又要为它人保驾护航了,哈哈……飞鸟尽,良弓藏;狡兔死,走狗烹!到底是微软帝国,Microsoft Empire,办的那事儿,也像一个皇帝治国之术……       既然微软对 F# 如此下本儿,我们就来好好认识一下 F# 的 Features 吧,先从 LOP 说起。       什么是 LOP?        LOP,Language – Oriented Programming,面向语言编程,好像 ML 所表达的“元编程”思想一般乍看起来概念很模糊。与其一下子生硬地将之具体化,不如从广义的定义去解释它。 &n......

阅读全文(1947) | 评论:0

微软新目标F#语言激起强烈反响 分析师看法不一(2012-01-15 09:19:00)

摘要:美国东部时间5月24日(北京时间5月25日)消息,微软公司的研究人员对元语言(meta language)的进一步开发在该领域研究群体中激起很大反响,很多人认为微软很可能借此选用新的编程语言,早在微软公司开发出C++和C#语言时便有一些专家提出此类看法。这项元语言被称作F#,设计的目的是解决互联网架构中的一些可延伸性问题。元语言可以将源代码翻译成目标代码,后者与电脑机械语言如FORTRAN或C程序一样。开发元语言起初是希望为全球资讯网提供既具描述性又可以交换结构性资料的标准格式。



  F#源发于CAML语言,这是一种由法国国家信息、自动化研究院(INRIA)开发的元语言,其中的一种分支是Objective CAML,用于教学程序。但是当人们赞誉该语言在静态检查和类型推论方面的极佳性能时,微软公司表示元语言不是十全十美的,尤其是在网络平台上因多载、类型推断、子类型之间的相互作用导致了不少问题,这主要也因为该语言缺可延伸机制。F#的开发便是要致力于解决上述问题,它的编写者是但西姆(DonSyme)曾参予过编写C++, C#和J#的工作。但西姆表示这项开发是合理的,可以通过改善语法和语义来增加程序语言的可用性。

......

阅读全文(1581) | 评论:0

F#:微软的下一代重量级语言(2012-01-15 09:16:00)

摘要:F#:微软的下一代重量级语言 作者:highmayor | 出处:博客园 | 2011/9/21 22:42:27 | 阅读7次 微软从2002年开始研发F#,2005年推出第一个版本,而2008年的现在,F#已经接近成熟。2007年底,微软宣布将F#从研究室的专案转移到产品部门,进入产品化的阶段。在下一个版本的Visual Studio中,F#将会成为正式的一员,和C#丶Visual Basic平起平坐。目前,F#也已经和Visual Studio做了初步的整合。

一个新语言的诞生,自然有它的时代背景,对F#来说,自然是函数式编程(FP,Functional Programming)的因素。我已经在许多文章提到FP对现在IT环境的重要性,请自行上网查询阅读这些文章,我不在此重复叙述。

事实上,除了具备FP的能力,F#在Imperative Program......

阅读全文(1783) | 评论:0