我目前正在开发一个简单的程序,该程序返回包含两个图形的最小矩形的两个点(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)
(以上已为程序预定义,我的代码如下) (请不要介意该程序其他子部分中使用的颜色,颜色等类型,这些类型已经可以像魅力一样工作了
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类型不匹配
我非常有信心代码对于期望的功能应该是正确的。
但是我的程序预计会产生一个点*点(其中点= int * int)。谁能看到我所缺少的吗?我可以在方框和圆圈上运行我的程序,这会产生正确的结果:
circ =(5,5)(95,95) 对于盒子=(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#进行学习的一部分),但是我似乎可以通过某种方式修复它,但是这种方法不会不管我尝试什么,都要屈服。
谢谢。
答案 0 :(得分:1)
问题是括号:
(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#
函数以元组的形式接收多个参数,但是像大多数min
函数一样,max
和F#
的函数接收的参数之间用空格隔开,而不是逗号。您可以看到签名的区别:min: 'T -> 'T -> 'T
等同于
min: int -> int -> int
对于一个元组,它将是:
minT: int * int -> int