如何在 Helm 中指定泛型类型注解？

Question

elm 有“泛型”系统吗？例如，我有一个函数 say setTime 获取记录并将 .date 更改为当前时间。现在，如果我有多个带有 .date 的记录，我如何在多个不同的记录上使用相同的函数？我尝试将签名设置为 a -> a 但随后出现错误

Your type annotation uses type variable `a` which means ANY type of value
can flow through, but your code is saying it specifically wants a record. Maybe
change your type annotation to be more specific?

我可以只让类型注解需要一个带有 .date 的记录吗？如果可以，怎么做？

Answer 1

你可以写：

setTime : Date -> { a | date : Date } -> { a | date : Date }

其中 { a | data : Date } 表示 record 的任何值，其中包含名为 date 的字段，其类型为 Date.

如果你经常使用它并且想避免一些单调乏味，你也可以将该部分记录包装在一个类型别名中

type alias Dated a = { a | date : Date }
setTime : Date -> Dated a -> Dated a

此外，您可以链接这些

type alias Dated a = { a | date : Date }
type alias Checked a { a | check : Bool }
checkAtTime : Date -> Dated (Checked a) -> Dated (Checked a)

如何在 Helm 中指定泛型类型注解？

How do I specify generic type anotations in Elm?

generics

types

annotations

record

elm