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.
