FSherp RSS http://qianxun.net FSherp聚合资料 RainbowSoft Studio Z-Blog 1.6 Final Build 60816 zh-CN Copyright 2008 FSherp.cn Some Rights Reserved. Fri, 20 Mar 2009 10:48:42 GMT Fri, 20 Mar 2009 10:48:42 GMT F# 将会整合到 Visual Studio 2010 当中 Myshuiyue http://qianxun.net/Post/2009/2/4638.shtml 20 Feb 2009 10:52:19 http://qianxun.net/Post/2009/2/4638.shtml

去年, 微软开发部门的领导者 S. Somasegar, 宣布微软已经决定将 F# 作为受微软支持的 .NET 平台语言. 我现在兴奋的宣布一项结果: F# 将会整合到 Visual Studio 2010 当中, 自从 F# September 2008 CTP 以来, F# 项目组一直致力于同 Visual Studio 2010 的整合工作. 下面的截屏展示了在 2010 shell 下使用 F# 开发工具, 以及新的编辑器和新的 look-back-in-time "调试历史"窗口.

去年, 我们在 F# 开发者社区和用户组看到了惊人的增长速度, 还有热烈的讨论. 还有两处更为显著的是: PDC presentation on F# by Luca Bolognese 还有在 JAOO 上的关于 F# 和其他语言的现场演示 Anders Hejlsberg, Where are Programming Languages Going. 如果你想知道为什么微软会把一门函数式语言添加到 Visual Studio 以及 .NET 开发工具当中, 一种原因或许是因为它给予特定领域极大的生产力提升, 除此之外我也想不出更好的能超过这两位微软最有经验的专家的理由.

在第一个受支持的发行版中, 我们将目标聚集于 F# 内核的强项: 探索 F# 交互编程, 数据编程, 实现并行和异步组件. 在我们私底下谈论这件事的时候, 这期间自然有很多问题被多次问到, 我将这些问题列在下面, 如果你有更多的问题要问, 请回复.

问: 下一个 F# 发行版是什么时候? 我能继续在 VS2008 中使用吗?
    下一个主要的发行版将会内置于 Visual Studio 2010 的第一个测试版当中, 届时会提供用于 Visual Studio 2008/.NET2.0 的 F# 编译器及工具.

问: 还开源吗?
    我们的计划是让 F# 编译器和核心库在 CodePlex 上开源, 我们还计划启动一个叫 "F# Power Pack" 的 CodePlex 项目, 包含 F# 解析器和语法分析器. 我们已经在 10 月份的 F# 邮件当中分布了这件事.

问: F# 在 .NET 4.0 中吗?
    按当前计划, F# 核心库和编译器会放在附加组件中, 不在 .NET 框架里. 预计会作为 F# 可再发行包. 在 Visual Studio 安装项目中引用这个包就可以把核心库部署到客户机上了.

问: 工具支持程度有多高?
    按上面的描述, 对于 F# 的这个发行版, 我们主要致力于使它成为丰富数据和丰富控制流的编程语言, 处理函数式语言的使用方法 (思考算法, 数据维护, 数据转换, 并行编程, 反向编程组件). 工具支持计划围绕着编辑, 脚本, 交互体验, 项目系统, 调试, 分析以及与 C# 和 Visual Basic 的高度整合.

问: 这个发行版会包含设计工具吗?
    我们关注的是交付高质量的 F# 核心工具用于设计参数, Visual Studio 在面向对象程序环境具备令人吃惊的丰富呈现能力, 结果是我们明确自己的决心, 与 C# 和 Visual Basic 这样的具备丰富设计呈现能力的编程语言寻求一个平衡点. 这意味着 F# 用户应该使用 Visual Studio 设计工具产生 C# 或 Visual Basic 代码后包含在 F# 应用程序当中. 在 Visual Studio 2010 中, 预计包含内建设计组件(例如: WinForms, ASP.NET, Silverlight 和 WPF 应用程序设计前端) F# 应用程序通常要使用混合语言创作. 我们会提供向导模板引导 F# 开发者.

问: 关于 Mono?
    F# 编译器和工具会继续通过 Visual Studio 2008/.NET2.0 提供给 Mono 用户. (详见后文)

问: F# 起源于 "OCaml-like language for .NET"? 它还会继续沿着这条路走下去吗?
    F# 从 INRIA 共享出色的 OCaml 语言核心结构. 这是早期设计的决定和承诺, Caml 语言家族的重要性在于它是一门实用的函数式语言, 作为创新, F# 本身已经成熟, 包括面向对象, 运算单位和计算表达式. 回首以前, 我们计划是继续允许 F# 使用特定模式支持跨编译公共子集, 现在仍然如此. 这通常需要使用 F# Power Pack 组件, 但它会从 Visual Studio 2010 中分离出来.

问 : 微软研究院还在参与吗?
    是的当然! F# 是连接微软研究院, 剑桥和微软开发部的纽带. 我很高兴继续参与语言的设计, 同时还能留在微软研究院. 我们的团队包括剑桥 雷德蒙 温哥华 中国 德国还有纽约的人. 我一直对人们给这个项目带来的增进感到惊讶, 我希望把它当成微软创新的榜样.

非常感谢每个在 F# .NET MSR 还有语言社区的支持和帮助, 有他们才会有 F# 的今天. 之前一直很高兴, 我们相信这种发展会让 F# 在更多的领域受到关注.

快乐的编写和开发吧!

]]> 2902 2009-3-20 10:48:42 F#版本更新说明 Myshuiyue http://qianxun.net/Post/2008/10/4618.shtml 15 Oct 2008 11:48:15 http://qianxun.net/Post/2008/10/4618.shtml F#CTP 1.9.6.0更正列表: 

     1、名称空间必须使用完全限定名打开，名称空间不可以取别名。

     2、在fs,fsi文件中，除注释外，第一行必须使用#light或#light "off"

     3、元组类型互操作上发生了变动。

     新增了两个类型来提供互操作上的支持。TupleEnd,TupleNested，彻底解决了互操作上的不一致性。

 

let tuple_7=(1,2,3,4,5,6,7)

let tuple_9=(1,2,4,8,16,32,64,128) 

let tuple_7_1=(1,2,4,8,16,32,(64,128))

 

     对应的c#签名:  

 

public static Microsoft.FSharp.Core.Tuple<int, int, int, int, int, int, Microsoft.FSharp.Core.TupleEnd<int>> tuple_7 { get; } 

public static Microsoft.FSharp.Core.Tuple<int, int, int, int, int, int, Microsoft.FSharp.Core.TupleEnd<Microsoft.FSharp.Core.Tuple<int, int>>> tuple_7_1 { get; } 

public static Microsoft.FSharp.Core.Tuple<int, int, int, int, int, int, Microsoft.FSharp.Core.TupleNested<Microsoft.FSharp.Core.Tuple<int, int>>> tuple_9 { get; }

 

     C#语言如果使用以下的规则，F#语言就可以正确的识别出元组。

      如果元组元素个数小于7，使用Tuple泛型，下面的代码，F#可以正确的转换为(1,2,3);     

 

new Tuple<int,int,int>(1,2,3)

 

     等于七个元素，第七个元素使用TupleEnd包装,下面的代码，F#可以正确的转换为(1,2,3,4,5,6,7)   

 

net Tuple<int,int,int,int,int,int,TupleEnd<int>)(1,2,3,4,5,6,new TupleEnd<int>(7))

 

      大于七个元素的元组，七个元素以上的使用TupleNested包装，下面的代码，F#可以正确的转换为(1,2,3,4,5,6,7,8)。 

 

new Tuple<int, int, int, int, int, int, TupleNested<Tuple<int, int>>>
  (1, 2, 3, 4, 5, 6, new TupleNested<Tuple<int, int>>(new Tuple<int, int>(7, 8)))

 

     为了给大家一个直观的映象，我给出完整的调用例子。    

     首先请建立一个c#类库工程，引用FSharp.Core.dll 

    


using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.FSharp.Core;

namespace TestFSharpTuple
{
    public class Class1
    {

        public static Tuple<int, int, int, int, int> T1
        {
            get { return new Tuple<int, int, int, int, int>(1, 2, 3, 4, 5); }
        }

        public static Tuple<int, int, int, int, int, int, int> T2
        {
            get { return new Tuple<int, int, int, int, int, int, int>(1, 2, 3, 4, 5, 6, 7); }
        }

        public static Tuple<int, int, int, int, int, int, TupleEnd<int>> T3
        {
            get { return new Tuple<int, int, int, int, int, int, TupleEnd<int>>(1, 2, 3, 4, 5, 6, new TupleEnd<int>(7)); }
        }

        public static Tuple<int, int, int, int, int, int, TupleNested<int>> T4
        {
            get
            {
                return new Tuple<int, int, int, int, int, int, TupleNested<int>>
                    (1, 2, 3, 4, 5, 6, new TupleNested<int>(7));
            }
        }

        public static Tuple<int, int, int, int, int, int, TupleNested<Tuple<int, int>>> T5
        {
            get
            {
                return new Tuple<int, int, int, int, int, int, TupleNested<Tuple<int, int>>>
                    (1, 2, 3, 4, 5, 6, new TupleNested<Tuple<int, int>>(new Tuple<int, int>(7, 8)));
            }
        }

        public static Tuple<int, int, int, int, int, TupleNested<Tuple<int, int, int>>> T6
        {
            get
            {
                return new Tuple<int, int, int, int, int,  TupleNested<Tuple<int,int, int>>>
                   (1, 2, 3, 4, 5,  new TupleNested<Tuple<int,int, int>>(new Tuple<int,int, int>(6,7, 8)));
            }
        }
    }
}

 

      在F#中分别调用 

 


printfn "%A" TestFSharpTuple.Class1.T1
printfn "%A" TestFSharpTuple.Class1.T2
printfn "%A" TestFSharpTuple.Class1.T3
printfn "%A" TestFSharpTuple.Class1.T4
printfn "%A" TestFSharpTuple.Class1.T5
printfn "%A" TestFSharpTuple.Class1.T6

 

    你会发现调用T2,T4均出错。T6不会出错，但可能不是你想要的结果,T6的结果为(1,2,3,4,5,(6,7,8))

 

     调用T2时的错误截图:

 

 

     调用T4的错误截图:

 

 

]]> 2902 2009-3-20 10:48:42 从这里开始学习F# Myshuiyue http://qianxun.net/Post/2008/10/4607.shtml 14 Oct 2008 11:50:54 http://qianxun.net/Post/2008/10/4607.shtml Robert Pickering是《Foundations of F#》一书的作者，他最近创建了这个关于F#的Wiki，这里是开始学习F#绝好的地方。

该Wiki目前包含了如下内容：F#编程的笔记，F#的书籍和在线杂志，F#的应用和示例，F#类库，F#的Code Snippets，F#方面的文章以及F#的工具，这是继hubFS之后又一个F#知识的集中地，相信F#爱好者以后学习会更方便的！

先把这些好东东抓过来分享下 :)

]]> 2902 2009-3-20 10:48:42 F#：在不久的将来对其会有哪些期待？ Myshuiyue http://qianxun.net/Post/2008/10/4601.shtml 14 Oct 2008 11:36:42 http://qianxun.net/Post/2008/10/4601.shtml F#研究团队的Brian McNamara和Don Syme在最近的一些随笔当中，泄露了他们在不久的将来的一些相关计划。根据Syme的关于F#产品化的博客随笔，这个团队计划发布一个F#微软研究版本的四月更新。这个版本将具有：
  • 包含了针对F#语言核心的超过100个的错误修正和特性完成
  • 解决了一些已经被拖了一段时间的语言设计问题
  • 符合F#语言规范草案
     

Brian McNamara也透露将可能在这个夏天某个时候发布一个CTP版。在这个发布中包含的主要特性将会是：
 

  • fsc.exe，所谓的F#语言编译器
  • fsi.exe，交互命令环境
  • F#函数库（囊括从不可变列表到异步计算函数库的一些常用的东西）
  • 一个msbuild任务，让你能从命令行构建F#“.fsproj”工程

把F#和Visual Studio开发环境集成起来的工作在逐步进行当中，其可以和免费的Visual Studio Shell一起工作，也可以和Visual Studio 2008集成在一起。为了达到这个目标，F#将包含如下组件：

  • F#语言服务，其提供语法高亮、智能感知、工具提示等功能
  • F#项目系统，其让你能添加删除.fs文件、引用dlls等
  • F#交互窗口，一个把fsi托管在Visual Studio中的功能
     

当前F#的RC版是1.9.3，最新的一个更新是2008年1月18*发布的1.9.3.14。
 

]]> 2902 2009-3-20 10:48:42 F#成为Visual Studio的上等公民 Myshuiyue http://qianxun.net/Post/2008/10/4596.shtml 14 Oct 2008 11:33:29 http://qianxun.net/Post/2008/10/4596.shtml

微软为Visual Studio开发平台添加了最新的稳定版语言F#,成为VS的主要编程语言之一.
F#语言基于功能性编程语言概念.功能性编程语言将计算看做是数学函数的赋值,对于需要使用大量数学符号的某些领域专业人员来说,F#语言的数学特性颇具吸引力.Somasegar表示,F#的目标是成为.Net上的“上等公民”

 

另外微软研究院也曾对F#语言做出过解释,F#语言集安全、性能、脚本与Modern Runtime系统(Java虚拟机和微软通用Runtime)等多种优势于一体,并支持Python等交互式脚本语言、强类型推理、ML的安全性.另 外,F#语言可以访问access.net库以及其他数据库工具软件.

]]> 2902 2009-3-20 10:48:42 微软计划在开发平台集成F#语言 基于功能编程概念 Myshuiyue http://qianxun.net/Post/2008/10/4595.shtml 14 Oct 2008 11:32:34 http://qianxun.net/Post/2008/10/4595.shtml

微软开发人员部门的副总裁Somasegar在其博客中写道，微软计划在其Visual Studio开发平台中集成F#编程语言。

但是，微软还没有公布正式的发布计划。

Somasegar表示，F#基于功能编程的概念。功能编程语言将计算看作是数学函数的赋值，数学特性使得它对需要大量使用数学符号的领域的专业人士颇有吸引力。

微软研究院表示，F#集类型安全、性能、脚本、在现代运行时间库上运行的优势于一体，它支持Python等交互式脚本语言、强类型推理、ML的安全性。F#能够访问.Net库和数据库工具。

Somasegar表示，F#的目标是成为.Net上的“一等公民”，将运行在微软的CLR（Common Language Runtime，通用语言运行时间库）。

]]> 2902 2009-3-20 10:48:42 F# 微软的函数式程序设计语言 Myshuiyue http://qianxun.net/Post/2008/10/4593.shtml 14 Oct 2008 11:31:21 http://qianxun.net/Post/2008/10/4593.shtml

F#，微软研究院正在研究的一种函数式程序设计语言。其灵感来自于 OCaml。其突出的优势是，与visual Studio 2005 紧密整合。F# 可以与.net 平台的其它语言例如C#、VB.net 相互调用操作。想了解更多关于F#，可以访问如下内容：

Home of F# at Microsoft Research: http://research.microsoft.com/fsharp

Don Syme's Blog: http://blogs.msdn.com/dsyme

Community site for F#: http://cs.hubfs.net

关于 函数试程序设计语言：

1) 函数式程序设计是一种强调表达式赋值而不是执行命令的程序设计。Erlang程序设计语言就是一种函数式程序设计语言。由于改变程序中某部分的全局变量可能对程序其它某部分有意想不到的影响，Erlang避免了对在多个函数中常用的全局变量的使用。　　

2) 在ITU-TS较早的定义中，函数式程序设计是“主要以可能嵌套的函数过程调用的顺序来构造程序的一种方法。”函数过程是指相关的简单程序，它被其它程序调用，并且从调用它的程序中获得且返还数值。

]]> 2902 2009-3-20 10:48:42 F#,印度数学教育与优秀编程 Justin James http://qianxun.net/Post/2008/10/4590.shtml 14 Oct 2008 11:27:49 http://qianxun.net/Post/2008/10/4590.shtml

这个周末，我终于可以坐下来做我在一年来一直承诺要做的事情：我开始应用F#。这次体验相当有趣。十多年来，我第一次不能只是通过坐着瞧一些样本代码来理解一门语言。

这次体验强化了当前通用编程语言的可悲状况。确实，过去我曾多次抱怨过VB.NET、C#、Java等语言的平庸之处。但明白我的所作所为对我的思考方式有着重大影响，这引起我的强烈兴趣。

我在11年级使用EdScheme时初次遇到一种函数编程语言。虽然F#的语法与EdScheme大有不同（EdScheme是Scheme的一个版本，是Lisp的一个术语；F#以OCaml为基础），它们的许多原理是一样的，特别是在“标签”与“值”相对的概念方面。

在函数编程语言中，有一种避免（或完全禁止）“值”概念的倾向。相反，每个标识符实际上作为一个标签，引用一个特殊的函数。

例如，“let x=5+y”并不是设定x的值等于y加5得到的值。相反，x是一个函数，调用后，它计算5+y并返回结果。如你所见，这种思维方式与我们大多数人学会的过程代码截然不同。

说明一下，我在“过程代码领域”中包含了面向对象（OO）代码，因为在最原始、低级的层次，每个OO程序都以一个非常传统、过程化的思考过程结束。换句话说，OO只是访问和编写过程代码的一个非常优秀和有组织的方法。

姑且不谈那一点。我发现我的思维很难接受某些概念。让人感到沮丧的是，我过去了解这种情况。并不仅仅是因为我有些迟钝或缺乏练习，我发现自己难以接受F#的思考方式。

想象一下，如果你去骑自行车，但由于你开了15年的汽车，你的脚总是不由自主的伸向油门处；你说的情况和这类似。

这让我记起我在几个月前的一次谈话。与我交谈的是一位由印度访美的程序员，他和我彼此相当熟悉，他做程序员已有相当长一段时间了，可能和我的时间一样长。他和我谈到教育。

众所周知，印度、中国和许多其它国家在数学教育上远远超过美国。因此我问他在印度如何教授数学。我的问题让他感到十分困惑，*像学习数学还有别的方法，而这是他第一次听说似的。

“从书本，通过黑板上的例子（学习数学）；还有别的方法吗？”我向他询问计算器和电脑的使用情况，这两种工具在美国的数学教育中应用广泛。

他对我解释说，印度高中禁止使用计算器；大学也只允许使用计算器进行基本的计算（如加、减、乘、除、指数、平方根、对数和自然对数）；他们反对使用计算器甚至达到这样的程度：使用计算器可能会招致奚落和羞辱。

这听起来与美国的教育环境全然不同，在美国，学校如今要求七年级的学生拥有T1-85——一种可能比巡航导弹的导航系统还更加强大的计算器。

所有这一切归结于基本的思维方法。编写代码（并写出*代码）需要某种思维能力。我的多次经验证明：一旦某种思维方式得以确定，就很难发生改变。对F#而言，当我在经验极为不足时可以轻松学会的思维方式却因为如今经验丰富而变得艰难起来。

一所摇摇欲坠的房子建立在优秀的早期教育打下的牢固思维基础之上，如果我希望建立一幢漂亮的新房子，就必须将其摧毁。但如果我推倒这间危房，至少我还有一个坚固的基础，干净的水井和完整的管道设备。

那些企图在松软地基上建立一间摇摇欲坠的房子的人将会遇到严重的问题。这也是我为何如此关注普通教育的缘由。

我知道我可以学会F#。虽然我的学习过程要比平常人困难得多，但学会的可能性依然很大。我只是需要一直自我提醒函数语言的运行机制，这样就不存在什么问题。

但对于缺乏那种经历的人而言，缺少基本的思维基础，他们怎么能学会它呢？对此我一片茫然。了解一种函数编程语言是成为程序员的先决条件吗？当然不是。

许多优秀的程序员并没有接触过函数编程语言。但是，从这种经历汲取的思维方法却异常宝贵。我知道，我学习EdScheme的经历对我成为一名优秀的程序员大有裨益，即使一段时间以来我一直陷入“通用OO语言”的怪圈之中。

所以，与印度朋友交谈后，我感到十分担心。在我看来，印度、中国和其它许多国家的学校似乎为他们的学生打下非常优质的普通教育基础。

我看着我的兄弟姐妹（我比他们大得多）学习的“数学”，我可不希望让我的孩子接受这种糟糕的“教育”（我还没有正式成为父亲，但几天或几个星期后就会做父亲！）我喜欢看到人们接受最*的教育。电脑和高级计算器打下的数学基础并不能使你成为一名优秀的程序员。

我想，一旦我完成这段F#经历（我希望了解更多内容，以便评估它在现实编程中的适应性），就该是返回基础理论的时候了。几个星期以前，一名读者推荐了几本ER Tufte的书籍，我想我应以此为起点。

在我当前的任务中，自己动手的编程工作已减到最少。我需要再次温习我的编程原理，尽量做到最*。（文/Justin James）

]]> 2902 2009-3-20 10:48:42