代码之家 › 专栏 › 技术社区 › DaunnC

Scala中的异构列表;使用映射函数

heterogeneous shapeless dictionary scala list

DaunnC · 技术社区 · 11 年前

所以问题在于理解不成形图书馆的HLists https://github.com/milessabin/shapeless ; 我正在使用 HLists 以存储一些功能,即:

val list = HList(
    function1(_),
    function2(_),
    ....
    functionn(_)
);

它非常完美:我可以从列表中提取任何函数并应用它: list.head(object)

但是,我在应用它时遇到了问题 map 函数( list map mapFunc ):

object mapFunc extends Poly1 {
  implicit def default[T] =
    at[T](t => {
      t(obj)
    })
}

上面写着 Application doesnt take parameters 。那么我该怎么处理呢?我不懂smth?我是斯卡拉的新手。

附言:构造函数有一个有趣的效果,这个代码构建得有点不正确:

function1(_) :: function2(_) :: HNil 它被认为是某种类型的函数,但是 HList(function1(_), function2(_)) 具有正确的类型。

编辑

决定了“p.s.”- 函数1(_)::函数2(_)::HNil 确实存在类型不匹配;但是 function1 _ :: function2 _ :: HNil 可以!

1 回复 | 直到 11 年前

Travis Brown 11 年前

首先,对于你的最后一个问题,你需要用 HNil 不 HList 因此,例如,如果我们有以下内容:

def function1(s: String) = "foo " + s
def function2(s: String) = s.toInt
def function3(s: String) = s + " bar"

我们会写道:

val list = function1 _ :: function2 _ :: function3 _ :: HNil

自从 :: 就像你在Scala标准库(和其他语言)中找到的cons运算符一样,它取第一个参数(一个项),并将其前置到第二个参数(列表)。

现在是你的第一个问题。鉴于 HList公司 我刚刚定义,我们可以写以下内容:

val obj = "13"

object mapFunc extends Poly1 {
  implicit def funcTo[T] = at[String => T](f => f(obj))
}

然后:

scala> (list map mapFunc) == "foo 13" :: 13 :: "13 bar" :: HNil
res0: Boolean = true

关键是,当map元素是一个从字符串(或任何对象类型)到某种东西的函数时,您需要表示这种情况适用的事实。

推荐文章

raul ferreira · 使用shapeless对arity进行抽象

7 年前

softshipper · 无形状:隐含在函数体中

7 年前

jamborta · 在类内使用ReplaceAt

7 年前

simao · 使用无形状更新案例类字段

7 年前

jamborta · 从泛型生成无形状记录

7 年前

vicaba · 不成形。引用1个构造函数参数的所有case类

7 年前

Larousso · 具有隐式解析的无形状pb的自定义类型类

7 年前

visa · 无形状:为什么align不适用于单例类型?

7 年前

Hugo Corrêa · 协变类型出现在HList中的不变位置

7 年前

Kevin Meredith · 理解单例类型的“apply”和“unapply”

7 年前