gpt4 book ai didi

Haskell Map 其中键的类型决定了值的类型

转载 作者:行者123 更新时间:2023-12-02 02:47:33 24 4
gpt4 key购买 nike

有没有办法以值的类型取决于键的类型的方式使用 Data.Map?我需要确保我永远不会在 map 中插入错误的类型值。

例如:
假设我有类型 KeyType aValType a那么 Map 的类型应该类似于
Map (KeyType a) (ValType a)
但这显然行不通,因为 a不受约束。

最佳答案

您可以使用类型同义词来绑定(bind) a所以它必须与您的 KeyType 相同和 ValType :

type MapFor a = Map (KeyType a) (ValType a)

现在您可以使用 MapFor a (对于某些特定的 a )任何你会使用的地方 Map (KeyType a) (ValType a) .

关于Haskell Map 其中键的类型决定了值的类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43861783/

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