技术评论

编程杂感两篇

一 Null是个巨大的错误吗为null正名 null可以表示未初始化的引用为什么不强迫初始化因为初始化时可能抛异常变量声明放进try块又可能有跨作用域的需求一种常见的做法是大改语法引入maybe关键字支持代数类型并且函数做模式

技术评论 随笔散记 编程
静态分析之数据流分析与 SSA 入门（二）

什么是静态单赋值 SSA SSA 是 static single assignment 的缩写也就是静态单赋值形式顾名思义就是每个变量只有唯一的赋值以下图为例左图是原始代码里面有分支 y 变量在不同路径中有不同赋值最后打印 y

技术评论