html - F# 和静态检查联合案例

Question

很快我和我的战友 Joel 将发布 Wing Beats 的 0.9 版本.它是用 F# 编写的内部 DSL。使用它您可以生成 XHTML。灵感来源之一是 XHTML.M Ocsigen 框架的模块。我不习惯 OCaml 语法，但我确实理解 XHTML.M 以某种方式静态检查元素的属性和子元素是否属于有效类型。

我们无法在 F# 中静态检查相同的内容，现在我想知道是否有人知道如何做到这一点？

我第一个幼稚的方法是将 XHTML 中的每个元素类型表示为一个并集。但不幸的是，您不能像在 XHTML.M 中那样静态地限制哪些情况可以作为参数值有效。

然后我尝试使用接口(interface)(每个元素类型为每个有效父元素实现一个接口(interface))和类型约束，但我没有设法在不使用显式转换的情况下使它工作，这使得解决方案变得很麻烦利用。无论如何，这都不是一个优雅的解决方案。

今天我一直在看代码契约(Contract)，但它似乎与 F# Interactive 不兼容。当我按下 alt + enter 时，它卡住了。

只是为了让我的问题更清楚。这是同一问题的一个 super 简单的人工示例:

type Letter = 
    | Vowel of string
    | Consonant of string
let writeVowel = 
    function | Vowel str -> sprintf "%s is a vowel" str

我希望 writeVowel 只静态接受元音，而不是像上面那样，在运行时检查它。

我们怎样才能做到这一点？有人有什么主意吗？必须有一个聪明的方法来做到这一点。如果不是联合案例，也许是接口(interface)？我一直在努力解决这个问题，但被困在盒子里，无法跳出它来思考。

Answer 1

看起来该库使用了 O'Caml 的多态变体，这在 F# 中不可用。不幸的是，我也不知道在 F# 中对它们进行编码的可靠方法。

一种可能是使用“幻像类型”，但我怀疑考虑到您要处理的不同类别内容的数量，这可能会变得笨拙。以下是处理元音示例的方法:

module Letters = begin
  (* type level versions of true and false *)
  type ok = class end
  type nok = class end

  type letter<'isVowel,'isConsonant> = private Letter of char

  let vowel v : letter<ok,nok> = Letter v
  let consonant c : letter<nok,ok> = Letter c
  let y : letter<ok,ok> = Letter 'y'

  let writeVowel (Letter(l):letter<ok,_>) = sprintf "%c is a vowel" l
  let writeConsonant (Letter(l):letter<_,ok>) = sprintf "%c is a consonant" l
end

open Letters
let a = vowel 'a'
let b = consonant 'b'
let y = y

writeVowel a
//writeVowel b
writeVowel y