类型错误F#“类型”int“不匹配......”

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了类型错误F#“类型”int“不匹配......”相关的知识,希望对你有一定的参考价值。

我目前正在开发一个简单的程序,它返回两个点(int * int),包含两个数字的最小矩形(一个圆和另一个矩形,定义为box和circ,可以在下面看到)。到目前为止,我的计划是这样的:

type point = int * int // a point (x, y) in the plane
type colour = int * int * int // (red , green , blue ), 0..255
type name = string

type figure =
    | Circle of point * int * colour
    // defined by center , radius , and colour
    | Rectangle of point * point * colour
    // defined by corners bottom -left , top -right , and colour
    | Mix of figure * figure
    // combine figures with mixed colour at overlap

// finds colour of figure at point
let rec colourAt (x ,y) figure =
    match figure with
    | Circle ((cx, cy), r, col) ->
        if (x-cx)*(x-cx)+(y-cy)*(y-cy) <= r*r
        // uses Pythagoras ' equation to determine
        // distance to centers
        then Some col else None
    | Rectangle ((x0,y0), (x1,y1), col) ->
        if x0 <= x && x <= x1 && y0 <= y && y <= y1
        // within corners
        then Some col else None
    | Mix (f1,f2) ->
        match ( colourAt (x , y) f1 , colourAt (x ,y ) f2 ) with
        | (None, c) -> c // no overlap
        | (c, None ) -> c // no overlap
        | (Some (r1,g1,b1), Some (r2,g2,b2)) ->
        // average color
            Some ((r1+r2)/2, (g1+g2)/2, (b1+b2)/2)

(以上都是为程序预定义的,我的代码可以在下面看到)(请不要介意在程序的其他子部分中使用的颜色,col等等类型,这些类型就像魅力一样)

let box = Rectangle ((40,40),(90,110),(0,0,255))
let circ = Circle ((50,50),45,(255,0,0))
let figTest = Mix(box,circ)

let rec boundingBox figure : point * point =
    match figure with
    | Circle ((cx,cy), r, col) -> (point(cx-r,cy-r),point(cx+r,cy+r))
    | Rectangle ((x0,y0), (x1,y1), col) -> (point(x0,y0),point(x1,y1))
    | Mix(f1,f2) ->
        let (p1,p2) = boundingBox(f1)
        let (p3,p4) = boundingBox(f2)
        let p5 = (min((fst p1),(fst p3)),min((snd p1),(snd p3)))
        let p6 = (max((fst p2),(fst p4)),max((snd p2),(snd p4)))
        p5,p6 

printfn "Mix figTest --> %A" (boundingBox figTest)
printfn "Rectangle box --> %A" (boundingBox box) 
printfn "Circle circ --> %A" (boundingBox circ)

我的程序的问题是,我的p5,p6从Mix(f1,f2)上的模式匹配返回值不断给我一个Type错误说:

类型“int”与int * int - > int * int类型不匹配

我非常有信心,否则代码应该对于所需的功能是正确的。

但是我的程序预计会产生一个点*点(其中point = int * int)。谁能看到我失踪的东西?我可以在框和圆上运行我的程序,这会产生正确的结果:

for circ =(5,5)(95,95)for box =(40,40)(90,110)

我的最后一个完全包含(circ,box)的figTest应返回min(5,40),min(40,5)=(5,5)和max(90,95),max(95,110)=(95,110)加起来为(5,5)(95,110),这是我对Mix(f1,f2)的预期结果,但由于上述类型错误而无法读取。

我错过了什么?我正在努力解决我的F#编码中的类型错误(这似乎只是在F#中进行学习的一部分),但我似乎能够解决它的一些方法,但这个只是不会无论我尝试什么,都要付出代价。

谢谢你的问候。

答案

问题是括号:

(min((fst p1),(fst p3))

应该:

(min (fst p1) (fst p3))

这应该是你的代码:

let p5 = min (fst p1) (fst p3) , min (snd p1) (snd p3) 
let p6 = max (fst p2) (fst p4) , max (snd p2) (snd p4)

来自.Net的大多数C#函数接收多个参数作为元组,但minmax像大多数F#函数接收由空格而不是逗号分隔的参数。您可以看到签名中的差异:min: 'T -> 'T -> 'T等同于

min: int -> int -> int

对于一个元组,它将是:

minT: int * int -> int

以上是关于类型错误F#“类型”int“不匹配......”的主要内容,如果未能解决你的问题,请参考以下文章

VB6:运行时错误“13”:设置和 int 时类型不匹配 int

关闭启动画面时出现类型不匹配错误

错误:“operator[]”不匹配(操作数类型为“QVector<int>”和“QCharRef”)

加入 RDD leftOuterJoin - 错误:类型不匹配

Scala多态函数类型不匹配

为啥 PhpStorm 会报“参数类型不匹配”错误?