Comment by Macha

I understand these words, but not in the combination used.

I guess this is really simple to people with the nessecary maths background to understand this, but for me I just don't see the connection between vectors/gradients and type systems.