F#版本更新说明

     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的错误截图: