镍:函数编译器的安全有效目标语言