Ponylang是一种无锁且无数据访问的新语言.我的印象是,为了实现这一点,Ponylang查看句子"如果两个线程可以看到相同的对象,则写入必须禁止另一个线程的任何其他操作",并使用类型系统来强制执行各种特殊情况.例如,有一个类型描述符,说"没有其他线程可以看到这个对象",并且有一个说"这个引用是只读的",以及其他各种.不可否认,我对此的理解非常差,而ponylang的文档缺少示例.
我的问题是:是否可以使用基于锁的语言进行操作,而这些语言根本无法转换为ponylang的基于类型的系统？此外,是否有这样的操作不能翻译成ponylang中的有效结构？
我一直希望能够获得一个相当优雅的方式让vimdiff使用CVS控制文件.我在互联网上找到了许多(有点hacky)脚本(这里最好的例子)基本上将你正在编辑的文件从CVS检出到临时文件,并vimdiff这两个.这些都没有考虑到分支,并且总是假设你在MAIN工作,这对我来说完全没用.
所以,我的问题是这样的:有没有人在那里找到一个不错的解决方案比这个脚本更多？
或者失败了,是否有人对他们如何实现这一点有任何想法,或者建议您认为哪些功能对于这样做至关重要？我的意图是,如果没有人可以建议已经构建的解决方案来使用或构建,我们从这里开始构建一个.