6

我想编译具有更大元组参数数量限制的 Scala 分布 - 例如，50 而不是 22。（并且函数/案例类/等限制也增加了）

我假设那些 TupleN、FunctionN 等是在编译时生成的。但是在源目录中，我找到了所有的 Tuple1 到 Tuple22，并附注说明它们是生成的。

另外，我找到了 src/build/genprod.scala 文件，这似乎是需要的文件。但是运行它的正确方法是什么？

我换MAX_ARITY了genprod又换MaxFunctionArity了Definitions.scala，我还需要改变什么才能让它工作？

是否可以将生成的 scala 分布与 sbt 一起使用？还是有一些根本性的问题？

注意：我完全理解尝试以这种方式解决元组问题并不是很好，但在这种情况下，它更像是一个教育项目。

编辑：嗯，它变得有趣。由于 scala 编译器是自举的，我不能用更大的元组编译它，因为旧的编译器强制执行 22 限制。所以似乎首先我需要创建一个增加了限制的编译器，然后才编译更多的元组。我该怎么做？

EDIT2：现在我有一个问题 - 我试图增加 MaxFunctionArity 并运行ant replacestarr-opt，但它失败了scala.Function23 not found。如果我尝试添加 scala.Function23 等，它根本无法编译。有没有办法解决它？

EDIT3：我尝试按以下顺序执行命令：

ant build
# increase MaxFunctionArity
ant build
ant replacelocker
# generate TupleN classes
ant build

# this fails
ant replacelocker

ant replacelocker似乎因为使用了编译器而失败，starr并且它仍然不允许超过 22 个参数。

我试图替换starr：

ant build
# increase MaxFunctionArity
ant build
ant replacelocker
ant replacestarr # failed

但这失败了scala.Function23 not found。似乎是一个死锁 - 我需要改变它MaxFunctionArity 并生成类，但我不能同时这样做，如果我试图分离这些动作，我会失败。

有没有办法解决这个问题？

EDIT4：我忘了提到在这个实验中我正在折磨 Scala 2.9.2，因为它是最后一个稳定版本。

EDIT5：由于我实际上设法使用编译器构建quick了带有大元组的locker编译器，因此我预计starr层存在一些问题。

所以我尝试执行以下操作（不更改任何内容）：

ant build
ant replacelocker
ant replacestarr

最后一个命令失败了

Unable to find jar:file:/home/platon/Input/sources/scala-tupled/lib/scala-compiler.jar!/scala/tools/ant/sabbus/antlib.xml

现在这很奇怪，为什么它不能自己建造？

4

1 回答 1

2

我查看了 2.10，其中 Product、Tuple 和 Function 的数量最多。

我修改了 genprod 以通过三个步骤进行更改：

  1. ProductN 和无壳元组 N。产品和元组的最大凹凸。
  2. 将大小写添加到元组（需要 ProductN）。这是有效的，因为发出伴随模块的代码通过将参数截断为 MaxFunctionArity 来减少你的工作量。我认为 Namers 应该检查 MaxProductArity，并且同伴应该停止在 MaxFunctionArity 处扩展 Function。还生成和编译 FunctionN，没有元组和非柯里化，这需要应用 N 个参数。（对于 FunctionN，isFunctionType 仍然为 false。）
  3. 最后碰撞 MaxFunctionArity 和全功能支持。

此 REPL 会话的格式被 Function26 上的 x windows 包装破坏，但您明白了：

    scala> val f: Function26 = null

    console>:7: error: trait Function26 takes type parameters

    scala> val f: Function26 = 

    y:Int,z:Int) => a+z 
    f: (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int) => Int = <function26>

    scala> f(1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2)
    res0: Int = 3
于 2012-09-27T10:40:38.767 回答