Windows 7和Windows有一个区域和语言控制面板,其中包含一个“格式”选项卡,其中包含一个名为“格式”的弹出菜单。该菜单允许用户从许多面向语言的集合中选择数字、货币、时间和日期格式首选项,而不管基本系统的语言如何。例如,我可以决定在美国英语系统中,我更喜欢默认的货币符号,而不是日元。,我并不特别关心货币符号,这只是一个例子。这里我指的是sets of preferences,它可以通过从“格式”菜单中选择项来应用。
Windows联系人应用程序似乎根据此菜单中的选择更改其行为。例如,如果我选择日语,Windows联系人会显示并允许我编辑语音名称(AKA "ruby“、"
假设我有一种货币类型:
data Currency = USD | EUR | YEN
以及存储int的货币类型,并由给定的货币参数化(货币被提升为具有DataKinds扩展的货币类型)。
data Money :: Currency -> * where
Money :: Int -> Money c
是否可以编写一个函数moneyOf,该函数以货币值作为其参数,并返回货币值的对应类型所参数化的货币值?例如moneyOf :: Currency -> Money c,但是我们得到了编译时间保证c是从货币值生成的类型?