小编Ash*_*ary的帖子

PHPLint,JSLint和我最近遇到了"你可以动态地抓取你的JS代码",同时阅读有关某些IDE的内容.

那么,这是什么掉毛人人都知道,而我呢？

Linux内核开发人员如何在本地测试代码并在提交代码之后对其进行测试？他们是否使用某种单元测试,构建自动化？测试计划？

有路径依赖的类型,我认为这是可能的,表达了这样的语言作为警句或阿格达Scala中的几乎所有功能,但我不知道为什么斯卡拉不支持此更明确地像它非常漂亮,在其他领域(比如,DSLs)？我缺少的任何东西都像"没有必要"？

在寻找别的东西时,我只是偶然发现了一些关于恶魔案例类继承的评论.这个东西被称为ProductN,可怜虫和国王,精灵和巫师,以及如何通过案例类继承丢失某种非常理想的属性.那么case类继承有什么问题呢？

有一个伊德里斯教程后,阿格达教程和许多其他的教程式的论文和介绍材料与永无止境的事情引用还得学习.我有种爬行在所有这些中间,大部分时间我坚持用数学符号和新的术语没有解释突然出现.也许我的数学很糟糕:-)

是否有任何有纪律的方法来处理依赖类型编程？就像当你想学习Haskell中,你开始与"教你一个Haskell",当你想了解斯卡拉,你开始Odersky的书,对Ruby你读与它的突变臭虫怪异的教程.但我不能用他们的书开始阿格达或伊德里斯.他们远远超过我的头脑.我试过Coq并且陷入了它的全部证明风格.Agda需要巨大的数学背景和伊德里斯,好吧,让我们暂时离开吧!

我非常了解静态类型系统,我对Scala非常熟练,如果有必要,我可以使用Haskell.我理解功能范例并且日复一日地使用它,我理解代数数据类型和GADT(实际上相当顺利),我最近成功地理解了Lambda Cube.不过,我缺乏数学和逻辑部分.

我不是在谈论模仿Scala中的AOP功能(即使用Traits而不是Aspects),我想知道是否有可能在Scala中做真正的AOP(即建议,方面,关节点,编织等......)

什么是"Scala Presentation Compiler"？

什么是单身人士？什么是应用程序,其含义是什么？

例子非常受欢迎,外行人的条款更受欢迎!

我喜欢(非常)支持SPARQL/Update和它附带的SPARQL端点,但是

• 我有点担心供应商锁定
• 我认为这对我的要求来说太过分了(我想要一个有五亿三倍的图形商店)
• 我很乐意使用开源和免费产品

到目前为止,我找不到任何血统和类似的产品(商业或其他).它们对我来说几乎看起来不成熟或不实验.想法？

我想在HEAD或类似之前提及头部或n次修订之前的版本.