小编Tri*_*eno的帖子

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

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

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