榆树中的依赖类型

Question

我想知道是否可以在Elm中进行某种依赖类型,如下所示,就像你在伊德里斯一样:

isQuestion : String -> Type
isQuestion (sentence) with (endsWith "?" sentence)
    | True = Question
    | False = Statement

有没有一个库可以通过打字让我达到类似的效果？

Answer 1

您可以使用联合类型执行类似的操作.

type Sentence 
    = Question String
    | Statement String

isQuestion : String -> Sentence
isQuestion sentence =
    case endsWith "?" sentence of
        True -> Question sentence
        False -> Statement sentence