小编DMS*_*MST的帖子

我想创建一个存储变量名称和值的类型,所以我这样做:

type Variable = String
type Val = Int    
type Store = Variable -> Val

现在,我该如何使用这个商店？

例如,我想编写一个函数(fetch),它根据Store或函数(初始)返回一个变量的值,以初始化所有变量(分配一个默认值,如0):

fetch:: Store -> Variable -> Val
initial:: Store

我怎样才能做到这一点？