gpt4 book ai didi

alias - 在这种情况下如何为记录创建别名?

转载 作者:行者123 更新时间:2023-12-04 23:11:43 26 4
gpt4 key购买 nike

我有一个关于记录的问题:假设我有一个接收记录的函数,如下所示:

getId : { file | id : String } -> String
getId file = file.id

我可以传递这样的信息: { id = "abcd", name = "hi.txt"}因为它有一个 id .到目前为止一切都很好。我的问题是:我可以为函数类型签名中的"file"创建一个别名吗?那的语法是什么?

最佳答案

您可以为这个名为 WithID 的可扩展记录定义一个别名。像这样:

type alias WithID a = { a | id : String }

现在您可以更新 getId 的签名像这样:
getId : WithID a -> String
getId file = file.id

关于alias - 在这种情况下如何为记录创建别名?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59846937/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com