Ideally by having a different type for points and vectors, your the type system will stop you from passing a point as a vector, and a vector as a point. But for that to work you need to be very careful that you always use the correct type when passing to and returning from functions, and avoid providing a way to convert from one to the other.