如果F#有多路吗?

时间:2012-09-26 03:01:31

标签: haskell if-statement f# pattern-matching

有没有办法重构这个:

let collide (b1 : Box) (b2 : Box) =
  if   bottom b1 > top b2
  then false
  else if   top b1 < bottom b2
       then false
       else if   right b1 < left b2
            then false
            else if   left b1 > right b2
                 then false
                 else true

以比这更可读的方式:

let collide (b1 : Box) (b2 : Box) =
  match () with
  | _ when bottom b1 > top    b2 -> false
  | _ when top    b1 < bottom b2 -> false
  | _ when right  b1 < left   b2 -> false
  | _ when left   b1 > right  b2 -> false
  | _                            -> true

我正在考虑类似于GHC 7.6.1中的多向if-expressions:http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/syntax-extns.html#multi-way-if

3 个答案:

答案 0 :(得分:4)

为什么不使用|| -

not (bottom b1>topb2 || top b1<bottom b2 || right b1<left b2 || left b1>right b2)

答案 1 :(得分:4)

let collide (b1 : Box) (b2 : Box) = 
    if   bottom b1 > top b2 then false 
    elif top b1 < bottom b2 then false 
    elif right b1 < left b2 then false 
    elif left b1 > right b2 then false 
    else true 

答案 2 :(得分:4)

补充Brian's answer,还值得指出elif只是else if的糖。即你可以重新格式化原始代码,以便它不是那么糟糕:

let collide (b1 : Box) (b2 : Box) =
    if bottom b1 > top b2 then false
    else if top b1 < bottom b2 then false
    else if right b1 < left b2 then false
    else if left b1 > right b2 then false
    else true