machunyan

我努力我快乐

所在地区 : 中国-河南-洛阳
加入时间 : 2017-01-17
最近登录 : 2017-07-24 上午 09:25
我的母语 : 中文
第一外语 : 英文 ( A5 级)
资格证书 : <无>

关注的频道

翻译 32 段
翻译 117 段
翻译 27 段
翻译 2 段
翻译 28 段
翻译 5 段
翻译 32 段
翻译 15 段
翻译 106 段
翻译 287 段

最新动态

machunyan 吱了一声
5小时前
:sleeping:
machunyan 吱了一声
1天前
:sweat:
machunyan 吱了一声
2天前
:worried:
machunyan 吱了一声
3天前
:relieved:
machunyan 吱了一声
4天前
:disappointed:
machunyan 翻译了《并发编程 15 年》的第 85 段
5天前
独特的类型 各种独特的类型是一项最新发明,源于我很早就已着迷的早期线性类型系统。在一段时间里,我们的语言确实有一个unique关键词。最终我们将那词折回到isolated 概念(其本质上是一个“表面上的”isolated)。但不可否认...
machunyan 吱了一声
5天前
:sweat:
machunyan 翻译了《并发编程 15 年》的第 84 段
7天前
分离逻辑 尤其在我们寻求用各种形式主义来证明我们所构建的系统的可靠性时, 最终证实分离逻辑是功不可没的, 特别是并发形式更是如此. 这是一项证明了堆的各不同部位不相交的有效技术,这正是我们的系统对建立在 原始语言之上的安全的并发抽象概...
machunyan 吱了一声
6天前
热浪滚滚之后瓢泼大雨
machunyan 翻译了《并发编程 15 年》的第 83 段
1周前
第二个原因是我们希望避免在语言中有各种区域的句法负担存在。在这方面已经很好付诸实施的一个例子就是 确定的并行Java, 其就需要使用非常类似于泛型的语法(例如, )来对各种对象进行明确的区域注释。我们可以通过更复杂的编译器分析从开发人...
machunyan 吱了一声
1周前
:anguished:
machunyan 吱了一声
1周前
:laughing:
machunyan 吱了一声
1周前
:bowtie: :smiling_imp:
machunyan 发表吱评论
1周前
想多换一件都不行啊。
machunyan 翻译了《并发编程 15 年》的第 82 段
2周前
与此相关是,几年来各种所有权制度也曾是大家的首选,特别是用奇异性去考虑到 Midori的传统,即采用 Spec#语言的传统。这种语言以 给所有权注释为特色. 区域 尽管传统上区域主要被用于决定性的和高效的内存管理,但对搞清楚 的日子我...
machunyan 翻译了《并发编程 15 年》的第 81 段
2周前
例如,我一直将 和throws 的注释视为能产生影响的特殊种类,该种类表明一种可能会分别限制或抛出异常的方法。由于影响类型的加法和减法性质,它们便能自然地传播,甚至可以经得起参数多态性的检验。 事实证明,各种权限都可以看作是一种影响,...
machunyan 吱了一声
2周前
:sweat_smile:
machunyan 吱了一声
2周前
:sunglasses:
machunyan 吱了一声
2周前
上蒸下煮的时光
“你就会更强大,如果你知道自己有多强大。”Yogi Bhajan。 有了“一切皆有可能”这句口头禅,印度就变得非常足智多谋了。目睹了这样的智慧付诸于行动中和改变了我们的有限的信仰体系都将推动我们满怀信心和信念去大步向前。我们思维的彻底...
显示更多