如何解决组合满足相同约束的未知类型的元组
简而言之
> :i set
set ::
( VividAction m -- This isn't important.,Subset (InnerVars params) sdArgs -- This says `params` is a subset of
-- `sdArgs`,perhaps in a
-- different order.,VarList params) => -- A `VarList` is just a tuple.
Synth sdArgs -> params -> m ()
和两个满足第二个约束的值params和params'，可以创建一个将params''和{{1 }}？
详细信息
我使用Vivid库从Haskell控制SuperCollider。 Vivid使您可以创建“合成器”，使声音发出声音并接受许多参数，然后向其发送消息。
键入这些消息。将消息发送到合成器看起来像这样：
params其中“频率”和“振幅”应为params'接受的两个参数。如果您要求操纵不属于> :set -XDataKinds
> set mySynth (120 :: I "frequency",0.1 :: I "amplitude")
> set mySynth () -- Also valid. Messages can have any number of terms.
定义的参数，Vivid将在编译时抱怨。这反映在the function set的类型中：
mySynth mySynth表示合成器接受的参数，> :i set
set ::
( VividAction m -- This isn't important.,VarList params) => -- A `VarList` is just a tuple.
Synth sdArgs -> params -> m ()
-- Defined in ‘Vivid.Actions’
表示sdArgs必须是这些参数的子集。 （我相信Vivid的大多数花哨的类型级代码可能都在Vivid.SynthDef.TypesafeArgs模块中。）
我的问题是，我正在使用我的库monome grid从称为Montevideo的控制器生成许多同时发生的单例消息，例如（120 :: I“ frequency”）。消息的数量似乎使SuperCollider不堪重负-我收到的便条和挂起的便条，对我来说，这意味着已丢弃的消息。我想通过将那些同时发送的消息作为一个大元组发送，而不是分别发送每个消息，以减少程序的带宽。但是我不知道合并的元组是什么类型，所以我无法创建它！
我想写一个像这样的函数：
Subset (InnerVars params) sdArgs这样，如果我的合成器接受“ freq”，“ amp”和“ wobble”，我可以打电话给params并期望得到concatTuples ::
( Subset (InnerVars params) sdArgs,VarList params) =>
[params] -> params
或交换它。
可以写concatTuples [(1 :: I "wobble"),(440 :: I "freq")]吗？
（编辑：Joachim Breitner explains我为(1 :: I "wobble",440 :: I "freq)建议的类型签名没有意义。但是也许another one有用吗？）
有些不重要
出现的实现问题是，如果两个元组包含相同类型的元素，则该如何合并-例如两者都有频率。我不在乎如何解决-使用第一个，使用第二个，死掉-因为我不会遇到这种情况。
解决方法
仅关注
我想写一个像这样的函数：
concatTuples :: ( Subset (InnerVars params) sdArgs,VarList params) => [params] -> params这样，如果我的合成器接受“ freq”，“ amp”和“ wobble”，我可以 致电concatTuples
[(1 :: I "wobble"),(440 :: I "freq")]，并期望 得到(1 :: I "wobble",440 :: I "freq")或交换它。
这是不可能的：concatTuples有一个类型参数params，在对concatTuples的调用中，它只能代表一种特殊类型。
在示例中要传入和传出的值是不同类型的（即I "wobble"和( I "wobble",I "freq")）。这行不通。
我的印象是您想以一种非常独特的方式为Haskell做事和/或生动活泼，也许有人更了解vidid可以为您指出如何实现您的实际目标，即如何进行编码这就是您最终不想连接元组的原因。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。