小编Rob*_*een的帖子

sbt:在子项目上运行任务

我有以下项目结构:

lazy val root = project.aggregate(rest,backend)
lazy val rest = project
lazy val backend = project
Run Code Online (Sandbox Code Playgroud)

当我从父级执行"运行"任务时,我想要"后端"项目中的特定类来main执行其方法.我怎么做到这一点?

sbt

11
推荐指数
1
解决办法
4147
查看次数

确保docker正在使用device-mapper存储后端

Docker 0.7引入了多个存储后端,其中之一就是devicemapper.如何检查它正在使用哪个存储后端,并强制它使用(devicemapper如果尚未使用)?

docker

11
推荐指数
1
解决办法
2340
查看次数

ImportError:libcblas.so.3:无法打开共享对象文件:没有这样的文件或目录

我正试图在覆盆子pi 3b +上运行Arducam MT9J001相机.当我尝试运行程序时,我收到以下错误:"ImportError:libcblas.so3:无法打开共享对象文件:没有这样的文件或目录." 我将计算机视觉软件下载到了覆盆子pi上,虽然它似乎仍然无法正常工作.我不确定这个项目有什么其他信息是可行的,但如果还有其他我应该指定的信息,请告诉我.提前致谢!

python linux importerror raspberry-pi3

11
推荐指数
3
解决办法
1万
查看次数

为算法编写证明

嗨,大家好我想比较2个算法,并认为我可以尝试为他们写一个证明!(我的数学很糟糕因此问题)

通常在去年的数学课上我们会遇到类似的问题

证明:(2r + 3)= n(n + 4)

那么我会做所需的4个阶段并在最后得到答案

我被困的地方是证明prims和Kruskals - 我怎样才能将这些算法变成上面的数学形式所以我可以继续证明

注意:我不是要求别人为我回答 - 只是帮我把它放到一个我可以自己去的地方

谢谢

algorithm proof proof-of-correctness

10
推荐指数
2
解决办法
1万
查看次数

如何使ensime显示所有编译错误?

我正在使用Play框架的scala模块进行Scala Web开发,并使用Emacs + Ensime编辑代码.有时即使Ensime没有显示任何错误,Play仍会显示.scala文件的编译错误(如类型参数错误,甚至是错误覆盖,这是一个基本错误).

如何使ensime显示Play将显示的所有编译错误?

我正在使用Scala 2.8.1,带有ensime_2.8.2-SNAPSHOT-0.5.1(当我下载它时,这似乎是最好的可用选项).

scala ensime playframework

10
推荐指数
1
解决办法
612
查看次数

防止Scala不必要地转义XML中的双引号

如果我在我的Scala代码中生成一些Javascript,如下所示:

<script type="text/javascript">
     foo("{bar}");
</script>
Run Code Online (Sandbox Code Playgroud)

并且Javascript包含双引号字符(如示例中所示),它将显示为&quot;将XML转换为字符串时,Firefox将拒绝此Javascript,因为它具有语法错误.

我怎样才能避免这种情况的JavaScript错误,不删除&quot;,且s 实际需要?

我正在使用Play框架1.2.4和Scala模块0.9.1,它需要Scala 2.8.1.

javascript xml scala escaping

10
推荐指数
1
解决办法
2669
查看次数

关于IORef操作在并发程序中重新排序的推理

文件说:

在并发程序中,IORef操作可能无序地出现在另一个线程上,具体取决于底层处理器体系结构的内存模型......需要实现以确保重新排序内存操作不会导致类型正确的代码进入错误.特别是,当检查从IORef读取的值时,内存写入创建该值必须从当前线程的角度发生.

我甚至不完全确定如何解析.爱德华杨

换句话说,"我们不保证重新排序,除了你不会有任何类型安全违规."......最后一句话说明IORef不允许指向未初始化的内存

所以...它不会破坏整个哈希尔; 不是很有帮助.记忆模型例子的讨论也给我留下了问题(甚至Simon Marlow似乎有些惊讶).

从文档中我可以清楚地看到的事情

  1. 在一个线程中,atomicModifyIORef"永远不会在任何早期的IORef操作之前,或者在任何后来的IORef操作之后发生",即我们得到一个部分排序:在原子模块之上的东西 - >原子模型 - >之后的东西.虽然,这里的措辞"从未被观察到",但暗示了我没有预料到的怪异行为.

  2. readIORef x之前可能会移动A writeIORef y,至少在没有数据依赖性时

  3. 从逻辑上讲,我没有看到类似的东西readIORef x >>= writeIORef y可以重新排序

有什么不清楚的

  • newIORef False >>= \v-> writeIORef v True >> readIORef v永远回来True吗?

  • maybePrint案件中(来自IORef文档)之前readIORef myRef(可能是一个seq或某个东西)readIORef yourRef会强制重新排序的障碍吗?

我应该有什么直截了当的心理模型?是这样的:

从单个线程的角度来看,IORef操作的顺序将显得健全和顺序; 但是编译器实际上可能以一种在并发系统中破坏某些假设的方式重新排序操作; 但是当一个线程执行时 atomicModifyIORef,没有线程会观察到之后IORef出现的操作 atomicModifyIORef,反之亦然.

...?如果没有,上面的更正版本是什么?

如果你的回答是"不使用IORef的并行代码,使用TVar"请说服我用具体的事实和那种事情,你的具体例子不能与推理IORef.

concurrency haskell ghc ioref

10
推荐指数
1
解决办法
437
查看次数

如何为一般递归方案构建的数据类型提供Functor实例?

我有一个递归数据类型,它有一个Functor实例:

data Expr1 a
  = Val1 a
  | Add1 (Expr1 a) (Expr1 a)
  deriving (Eq, Show, Functor)
Run Code Online (Sandbox Code Playgroud)

现在,我有兴趣修改此数据类型以支持一般递归方案,因为本教程此Hackage包中对它们进行了描述.我设法让catamorphism工作:

newtype Fix f = Fix {unFix :: f (Fix f)}

data ExprF a r
  = Val a
  | Add r r
  deriving (Eq, Show, Functor)

type Expr2 a = Fix (ExprF a)

cata :: Functor f => (f a -> a) -> Fix f -> a
cata f = f . fmap (cata f) . unFix

eval :: …
Run Code Online (Sandbox Code Playgroud)

recursion haskell typeclass catamorphism recursion-schemes

10
推荐指数
3
解决办法
364
查看次数

IntelliJ HTTP-Proxy工作但在gradle依赖项中失败

所以目前在工作中我遇到了问题,我无法构建使用全局依赖项的项目.我们使用自动配置代理脚本,我已经在文件 - >设置 - >外观和行为 - >系统设置 - > HTTP代理中设置并使用检查连接功能进行测试.

检查连接功能适用于任何任意html以及所需的gradle文件(jcenter.bintray.com/com/android/tools/build/gradle/2.0.0/gradle-2.1.0-javadoc.jar).

对于我已经尝试过的解决方案:

  • 将代理信息设置为gradle.properties
  • 尝试设置http和/或https代理设置

    * systemProp.http(s).proxyHost=linktoproxyconfig.org  
    * systemProp.http(s).proxyPort=xxxx                 
    * systemProp.http(s).proxyUser=xxxx            
    * systemProp.http(s).proxyPassword=xxxx
    
    Run Code Online (Sandbox Code Playgroud)
  • 更改存储库方向(jcenter()与jcenter {url http://jcenter.bintray.com }

我知道,可以离线工作,在本地下载gradle.但是为了防止在不同的机器上额外维护gradle版本,我想限制离线工作选项.

编辑:也许我还应该添加错误消息:
Gradle sync failed: Connection timed out: connect. If you are behind an HTTP proxy, please configure the proxy settings either in IDE or Gradle.

如果有人对解决方案有所了解,我将不胜感激.

proxy intellij-idea gradle windows-7

10
推荐指数
2
解决办法
2万
查看次数

无法在Eclipse中调试Maven集成测试

我在Win XP上使用Eclipse Indigo,使用Maven 3.0.3.我已经创建了一个Selenium 2测试,我希望在Eclipse中进行调试.它设置为在Maven集成测试阶段运行.我正在使用Maven Cargo插件和Tomcat作为容器.这是我的pom.xml中的相关部分......

        <plugin>
            <groupId>org.codehaus.cargo</groupId>
            <artifactId>cargo-maven2-plugin</artifactId>
            <configuration>
                <container>
                    <containerId>tomcat${tomcat.major}x</containerId>
                    <zipUrlInstaller>
                        <url>http://archive.apache.org/dist/tomcat/tomcat-${tomcat.major}/v${tomcat.version}/bin/apache-tomcat-${tomcat.version}.tar.gz</url>
                        <downloadDir>${project.build.directory}/downloads</downloadDir>
                        <extractDir>${project.build.directory}/extracts</extractDir>
                    </zipUrlInstaller>
                    <output>${project.build.directory}/tomcat${tomcat.major}x.log</output>
                    <log>${project.build.directory}/cargo.log</log>
                </container>
                <configuration>
                    <home>${project.build.directory}/tomcat-${tomcat.version}/container</home>
                    <properties>
                        <cargo.logging>high</cargo.logging>
                        <cargo.servlet.port>8080</cargo.servlet.port>
                    </properties>
                </configuration>
            </configuration>
            <executions>
                <execution>
                    <id>start-container</id>
                    <phase>pre-integration-test</phase>
                    <goals>
                        <goal>start</goal>
                        <goal>deploy</goal>
                    </goals>
                    <configuration>
                        <deployer>
                            <deployables>
                                <deployable>
                                    <groupId>${project.groupId}</groupId>
                                    <artifactId>${project.artifactId}</artifactId>
                                    <type>war</type>
                                    <pingURL>http://localhost:8080/${project.artifactId}</pingURL>
                                    <pingTimeout>30000</pingTimeout>
                                    <properties>
                                        <context>${project.artifactId}</context>
                                    </properties>
                                </deployable>
                            </deployables>
                        </deployer>
                    </configuration>
                </execution>
                <execution>
                    <id>stop-container</id>
                    <phase>post-integration-test</phase>
                    <goals>
                        <goal>stop</goal>
                    </goals>
                </execution>
            </executions>
        </plugin>

        <plugin>
            <groupId>org.apache.maven.plugins</groupId>
            <artifactId>maven-surefire-plugin</artifactId>
            <configuration>
                <!-- Skip the normal tests, we'll run them in the integration-test phase -->
                <skip>true</skip> …
Run Code Online (Sandbox Code Playgroud)

eclipse selenium maven-2 maven

9
推荐指数
1
解决办法
3095
查看次数