小编dip*_*ips的帖子

在Eclipse中我已经设置了的Javadoc位置我的斯卡拉项目的物业file:/D:/EclipseWorkspace/MyProject/target/scala-2.9.1/api那里D:/EclipseWorkspace/MyProject是我的斯卡拉项目的位置.

现在,如果我在实现类/特征的Scala文件中,当我键入Shift+时F2,Eclipse将打开该类/特征的Scaladoc页面.但是,如果它是一个对象,则这不起作用,因为Eclipse尝试打开<ObjectName>.html而Scaladoc生成的文件名是<ObjectName>$.html.

有没有解决方法？

我有一个scala编译器项目.一些测试用例依赖于生成的jar文件.因此,我总是在运行"测试"任务之前手动运行"包"任务.

如何添加一个SBT任务,它将完成"测试"的工作,但将取决于"包"？

我想生成一个与生成器列表对应的整数列表ScalaCheck.

    import org.scalacheck._
    import Arbitrary.arbitrary

    val smallInt = Gen.choose(0,10)
    val bigInt = Gen.choose(1000, 1000000)
    val zeroOrOneInt = Gen.choose(0, 1)
    val smallEvenInt = smallInt suchThat (_ % 2 == 0)

    val gens = List(smallInt, bigInt, zeroOrOneInt, smallEvenInt)
    //val listGen: Gen[Int] = ??
    //println(listGen.sample) //should print something like List(2, 2000, 0, 6)

对于给定的gens,我想创建一个listGen有效样本的生成器List(2, 2000, 0, 6).这是我第一次尝试使用元组.

    val gensTuple = (smallInt, bigInt, zeroOrOneInt, smallEvenInt)
    val tupleGen = for {
        a <- gensTuple._1
        b <- gensTuple._2 …

我添加了以下内容build.sbt:

libraryDependencies <<= scalaVersion { scala_version => Seq(
 <other entries>
  "org.scalacheck" %% "scalacheck" % "1.10.0" % "test",
  <other entries>
  )
}

当compile在SBT项目,依赖被成功解析为可以在日志中可以看出:

[info] Resolving org.scalacheck#scalacheck_2.9.1;1.10.0 ...
...
Done updating

但是,在编译一个文件时出现以下错误.

object scalacheck is not a member of package org
import org.scalacheck.Gen
      ^  

这可能是什么原因？

有没有办法看到sbt在compile任务期间使用的类路径？

Sbt version: 0.11.2
OS: Windows 7
Scala version: 2.9.1

请注意,该项目在ScalaIDE中构建良好.(我使用sbteclipse生成eclipse .classpath文件.生成的.classpath具有正确的scalacheck条目.)

我试图了解绑定变量是如何编入索引的z3.这里是一个片段z3py和相应的输出.(http://rise4fun.com/Z3Py/plVw1)

x, y = Ints('x y')
f1 = ForAll(x, And(x == 0, Exists(y, x == y)))
f2 = ForAll(x, Exists(y, And(x == 0, x == y)))
print f1.body()
print f2.body()

输出:

?0 = 0 ? (?y : ?1 = y)
y : ?1 = 0 ? ?1 = y

在f1,为什么同一个绑定变量x具有不同的索引.(0和1).如果我修改f1并带出Exists,则x具有相同的索引(0).

原因我想了解索引机制:

我有一个FOL公式,代表我想发送给scala的DSL z3.现在ScalaZ3有一个mkBoundapi用于创建带有 …

我在Scala中有一个列表列表如下.

val inputList:List[List[Int]] = List(List(1, 2), List(3, 4, 5), List(1, 9))

我想要一个所有子列表的交叉产品列表.

val desiredOutput: List[List[Int]] = List( 
        List(1, 3, 1), List(1, 3, 9),
        List(1, 4, 1), List(1, 4, 9),
        List(1, 5, 1), List(1, 5, 9),
        List(2, 3, 1), List(2, 3, 9),
        List(2, 4, 1), List(2, 4, 9),
        List(2, 5, 1), List(2, 5, 9))

inputList中的元素数量以及子列表都不固定.Scala的做法是什么？

我的 Jupyter 笔记本 (.ipynb) 中有一个 Markdown 单元，其中包含以下内容。

$\newcommand{\paren}[1]{\left(#1\right)}$
$\paren{\beta^2}$

该文件位于 Github 存储库中。LaTex 宏应用程序不是由 Github 呈现的。

它看起来是这样的：

然而，当我在本地作为 Jupyter 笔记本打开时，Markdown 单元格会正确呈现。

有办法让这项工作发挥作用吗？请注意，该文件位于私有 Github 存储库中，因此我无法使用 nbviewer。

z3py片段:

x = Int('x')

s = Solver()
s.add(x <= x)
print s.check()
print s.model()
print s.model().sexpr()

http://rise4fun.com/Z3Py/mfPU

输出:

sat
[]

任何值都x可以,但z3返回空模型.x模型中缺少的自由变量是否表示任何整数值都是有效模型？

我在 Chrome 开发工具的“Elements > Snippets”面板中创建了许多片段。

我有一个带有实用函数的代码片段，例如loadJquery、loadUnderscore等。我想从另一个代码片段中调用这些函数。这可能吗？