小编Kon*_*tov的帖子

哪种构建工具最适合Scala？每个人的利弊是什么？如何确定在项目中使用哪一个？

有许多功能习语:monad,applicatives,arrows等.它们记录在不同的文章中,但不幸的是我不知道任何书籍或文章在一个地方汇总(有Typeclassopedia但它有很多没有很好覆盖的区域).任何人都可以推荐一篇文章/书籍,它可以在一个地方很好地覆盖它们,并且具有FP中级技能的程序员可以访问它吗？

我偶然发现了函数式语言中自由定理的一个好主意.然而,我能找到的唯一资源是Wadler的文章" 免费定理 ".这是非常好的,但它绝对不是一个教程,我很难通过(我理解了一半,我需要花很多时间).您能否向我推荐另一篇面向熟悉函数式编程而非硬核函数式语言研究员的软件开发人员的文章或教程？

谢谢.

我是一名偶尔编写CSS/HTML代码的软件开发人员.我目前正在开发一个应用程序,它需要一个非常复杂的基于html/css的布局,我觉得我不了解CSS/HTML布局足以实现它.您可以向我推荐哪些书籍和教程来提高我的技能？

PS我理解块和内联元素之间的区别是,浮点数是什么等等,但我缺少的是它如何工作以及如何在html/css中布局任意内容的连贯图片.

PPS之前我曾尝试过几本书,他们要么有参考手册格式(如:http://www.amazon.com/Pro-CSS-HTML-Design-Patterns/dp/1590598040),要么包含我已经知道的信息,例如,关于w3schools的大多数基础教程,大多数关于亚马逊的假人的书籍,甚至更糟糕的是面向设计师.我不需要阅读颜色等,我只需要学习如何在HTML/CSS中进行布局,就像我在Java/Swing或其他类似框架中那样.

我正在努力学习agda.但是,我遇到了问题.我在agda wiki上找到的所有教程对我来说都太复杂了,涵盖了编程的不同方面.在阅读了关于agda的3个教程之后,我能够编写简单的证明,但我仍然没有足够的知识将它用于真正的单词算法正确性.

你能推荐我关于这个主题的任何教程吗？类似于学习自己一个Haskell,但对于Agda.

Haskell没有记录成员的点符号.对于每个记录成员,编译器使用RecType - > FieldType类型创建具有相同名称的函数.这会导致名称冲突.有没有办法解决这个问题,即如何拥有多个具有相同字段名称的记录？

Scala是一种庞大而复杂的语言.根据我的经验,学习这种语言的最好方法是阅读非常好的代码.这些代码有开源示例吗？你能推荐什么？

我用堆栈创建了一个非常简单的项目.它包含:相关cabal文件中的可执行文件,库和测试目标.当我通过stack ghci将代码加载到ghci时,我无法访问那里的测试,即使它们位于单独的模块中.有没有办法以这种方式使用它？

我想在JVM上创建一个分布式应用程序,它有许多节点,需要一个库,允许我:

• 管理集群/网格成员资格,即我想在休假/加入时收到通知
• 管理集群成员之间的消息

我找到了两个解决方案:

• JGroups - 它可以工作,但它看起来是日期而不是广泛使用
• Akka - 它是基于Scala的,它的集群模块看起来不太成熟

还有其他库可以做同样的事吗？

我想确保我的项目不包含包之间不必要的依赖项.例如,我想确保项目具有分层结构.即模型低于一切,业务逻辑依赖于模型,视图依赖于业务逻辑和模型.每个层都放在自己的包中.

你能推荐一些优选的开源工具,它允许我指定这些约束并将它们作为持续集成的一部分进行检查吗？

PS我知道我可以在单独的maven模块中分离项目.不幸的是,我的真实案例比3层系统更复杂.如果我使用maven模块,我会有几十个非常小的模块.