nicholast writes: "If your driverless car is about to crash into a bus, should it veer off a bridge? NYU Prof. Gary Marcus has a good essay about the need to program ethics and morality into our future machines." Link to Original Source
We declare the names
of all variables and functions.
Yet the Tao has no type specifier.