据推测,iPhone新推出的Siri功能背后的引擎已经开发了好几年(从CALO项目中衍生出来).据说他们甚至专门为它开发了一种新的编程语言.
我无法在任何地方找到相关信息.唯一可能的线索是学术论文,但我不在大学网络中,因此我无法访问其中的大多数.
有没有人有任何线索,例子,甚至模糊的东西,"它类似于Prolog"或者"它是Lisp的方言"？
我正在寻找一种工具,可以让我切换正在运行的Java实现,比如Ruby的RVM(或RBENV).我知道Debian系统提供了替代机制,我可以手动设置JAVA_HOME.
但是,如果可能的话,我想要更自动化的东西.如果它可以获取更好的JDK,但不是必需的.
我搜索过但没有看到类似的东西.我猜Java生态系统习惯于在IDE中使用此功能.
编辑:更改PATH和JAVA_HOME似乎工作正常.它可以简单地自动化.
我之前使用过MongoDB,但从未使用过ASP.NET MVC.
目前,我一直试图为将要使用MongoDB的系统实现身份验证(因此,我没有将users表留给SQL数据库的选项).
现在,我认为解决方案是实施我自己的会员提供商.但是,这需要相当多的代码.并且,由于它与安全性有关,如果我能避免它,那么重新使用轮子是不明智的.
来自Rails,只需添加像Devise这样的东西,将其设置为使用MongoDB并将其称为一天就相当简单.我找不到类似于ASP.NET MVC的东西 - 我不确定它是不是一个不常见的用例,或者我的Google-Fu是否不合适.
我不需要任何花哨的东西 - 只能创建用户,检查他们的凭据并保护控制器不被未经身份验证的用户调用.有没有可以解决我问题的软件包？