2015D提问下

女爷i 2022-09-14 12:27 102阅读 0赞

`David`:我们会保留整个`条件竞争`未定义行为内存模型吗?  
`Andrei`:是的,但由于明确共享,压力很小.`定义共享和共享/非共享交互`是待办`重要点`.共享太受限且未定义好,但是个`好开始点`.  
`David`:期望无锁数据结构,问题依然存在  
`Andrei`:这是个小问题.  
在线:什么时候有`分配器`.  
`Andrei`:可能还有`2个`发布版本.  
`李然`:回到内存模型,`共享`还不够,还需要`易失`.  
`Walter`:`易失性和一致顺序性`是分开的.`druntime`中读写`易失`是针对`映射内存io/中断`.  
`Andrei`:我们可在库中干.  
`李然`:为了效率和简单,应该在语言上,  
沃尔特:这可能是神奇的`内在函数`,  
立然:那可以,但混合中也应有更好东西充分利用`cpu`.  
立然:有没有`并发垃集`的计划?  
Walter: Martin,但没到场.  
Amaury:问题是,不能像`虚机`一样生成代码.`写栅`是个问题,如果都是`可变`,则不是好方法.  
Amuary:`瓜哇易失`可帮助解决所有这些问题.  
Robert:`std.stream`明天已经过时三年了.  
安德烈:没人真正关心.我们可能会删除它.  
Online:C++接口状态如何,  
沃尔特:可能稍后再谈,未变.仍然需要使用`STL`.  
安德烈:其他事情优先  
Liran:Phobos强制`垃集`,你打算改变它吗?.  
沃尔特:是的,`区间`应能真正改变这一点,不是`100%`但能`90%`.  
安德烈:`引用计数和所有权管理`可能也是,但只是完成任务.  
立然:ARC?  
安德烈:`语言解决`,带点`控制`.  
idk: D基础?  
安德烈:到年底.  
idk2:多操作单趟消耗区间,能行吗?  
Andrei:仍需要`循环`,区间搞不定所有事情.  
在线:会解包元组吗?  
沃尔特:嗯,我没仔细看.  
安德烈:可能但就是这样吗?需要分析整个设计  
沃尔特:想要完成`ddmd`.  
丹尼尔:非常非常接近.  
沃尔特:不够好!  
立然:关键字参数很好,我们可以拥有吗.  
沃尔特:命名参数是否定的,因为重载,它太混乱了.  
立然:不过真的很不错.我们可以弄清楚.如果我们写了,你会考虑吗?  
安德烈:有那么重要吗?这比无`gc`的`phobos`更重要吗?  
立然:嗯,我们不使用`火卫一`所以…  
Walter:每天都有人提出新功能,我不得不拒绝.  
立然:`可编译py`.  
评论者:可变模板和反射,已编写!  
编者注:我仍然想要`with(SomeStruct())`来方便配置  
布莱恩:返回`引用示例`返回`内部结构`引用,如`你`有`指向容器`指针结构的`容器`,这安全吗?  
Walter:由`构`的实现负责`用私`等封装.  
Andrei:语言能帮助,但不能做完,就像需要时,区间应增加`容器`数量.  
Walter:不是传递性的,你要`自己动手`.  
John:属性?  
Andrei:要简化,对`@属性`还要处理`特殊`情况.  
沃尔特:还要改.  
约翰:我们只是期待解决方案.  
在线:实现`成员到成员`的别名表达式?  
Walter:可能太复杂,而否定了.  
Robert:你希望火卫一有什么样库?  
沃尔特:不能像APL吗?  
安德烈:他希望像`D`实现的最有用的`Go`库一样.  
Liran:`go协程`只是市场化的纤程.  
Andrei:我们希望简化`纤程`来同`go协程`竞争.  
Walter:线程间应可移动`纤程`.  
Atila:标准库中何时有`vibe.d`的任务?  
沃尔特:有人写的时候.  
`Andrei:`我也想在`Phobos`和`vibed`中看到`D`的词法分析和解析.  
`Walter`:`ddmd`可以做多核,我们要做.  
Daniel:dub到了`d`语言,下一步有什么计划?  
Andrei:也许用`编译器`打包.或打包`dfmt`.  
布赖恩:还有`dfix`!  
idk3:签名太复杂,有取输入区间的`语法糖`吗?  
Walter,问题是`约束`很复杂.12个具有不同约束的重载看起来非常复杂,但实际上`不难`.可能重构为`static if`外观好看.  
Andrei:反对,这只是个`文档`问题,`特化`不应该溢出到`接口`中.真正修复不是`破坏实现`的`static if`,但要改`文档`.  
不会实现宏.  
`C++17`是威胁吗?  
沃尔特:没有.`D`将替换所有语言  
Andrei:`C++`正在追赶`D`.  
`Walter:`是的,`C++`一直在变得更好,但`D`也是如此.  
立然:`libdparse`需要在`phobos`中,但要跟上正确的`dmd`.  
Brian:至少是词法生成器.  
Andrei:我喜欢词法分析器生成器.我希望`libdparse`成为检查`ddmd`的竞争对手,外部专家.我希望`ddmd`成为库解析器,而`libdparse`独立检查它.  
布赖恩:有道理,如果没有单独项目,很难发现这些错误.  
在线:应默认`final`.