提到的一点很赞同（虽然不知道他的PDD是啥。
- 首先这个语言要能够让我形式化地直观地把问题描述清楚。当然这里所谓的直观就是那种即便不是码农也能一眼看懂我要表达啥意思，不乏优雅的语法（或者其他形式的语言结构）、完美的抽象、精确的推导等等，便于表达、便于理解，同时还要防止我犯错。（另外，最好编译器也有足够的能力把我这种准确的描述转化成一套可行的方案并付诸实施（这个要求好像有点高……
- 其次是这个语言拥有较强的扩展能力和抽象（封装）能力。
- 另外，无论这个语言长成啥样子（Blockly/LabVIEW也好、MineCraft也好…），至少支持递归（我觉得Valve的Portal那种样子的递归就挺好的）
（构思中，待续……