types - Elm 中的依赖类型

Question

我想知道是否可以像在 Idris 中一样在 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