F#有什么像Haskell的where子句吗?

时间:2011-09-04 11:20:06

标签: .net f# functional-programming

我想知道F#中是否有像Haskell的where子句中的任何内容。它将允许转换以下代码

let roulleteWheel numberGenerator (scoredPopulation:ScoredPopulation) =
  let targetScore =
    let totalScore = totalPopulationFitness scoredPopulation
    Seq.head (numberGenerator 0.0 totalScore)

  let isMatch (score, accumulatedScore) =
    if (accumulatedScore >= targetScore) then
      Some(score)
    else
      None

  let accumulatedScores =
    let scores = Seq.map (fun (_, score) -> score) scoredPopulation
    Seq.skip 1 (Seq.scan (+) 0.0 scores)

  Seq.pick isMatch (Seq.zip scoredPopulation accumulatedScores)

进入(imo)稍微可读的版本

let roulleteWheel numberGenerator (scoredPopulation:ScoredPopulation) =
  Seq.pick isMatch (Seq.zip scoredPopulation accumulatedScores)
  where
    let targetScore =
      let totalScore = totalPopulationFitness scoredPopulation
      Seq.head (numberGenerator 0.0 totalScore)

    let isMatch (score, accumulatedScore) =
      if (accumulatedScore >= targetScore) then
        Some(score)
      else
        None

    let accumulatedScores =
      let scores = Seq.map (fun (_, score) -> score) scoredPopulation
      Seq.skip 1 (Seq.scan (+) 0.0 scores)

因为它首先显示了函数的核心部分,后来又显示了实现细节(我猜错了!)。

我的猜测是,F#解析代码文件的方式是不可能的。我对吗?看看F#的关键词引用似乎没有像我正在寻找的那样展示。如果它不存在,有没有其他方法可以更好地分解显示的代码?我会说它没关系,但你永远都不会知道......

3 个答案:

答案 0 :(得分:6)

可悲的是没有 - 更令人遗憾的是,F#的订单很重要。 您可以使用相互递归let rec ... and ...,但它与where不同。

答案 1 :(得分:1)

F#中没有这样的关键字。两个代码的不同之处在于,在一个定义中首先使用然后使用,在第二个定义中反之亦然。

答案 2 :(得分:0)

最近版本的F#中的“in”关键字是不是类似于Haskell的“where”子句?