Linear

[cchalmers]

Branched version of #70.

[cchalmers]

Looks like the Vn a ~ v n syntax is only available in 7.8.3 so everything will need V a ~ v, N a ~ n instead.

[cchalmers]

I've had some ideas for some extra types to help clean up the signatures:

type InSpace v n a = (V a ~ v, N a ~ n, Additive v, Num n)
type SameSpace a b = (V a ~ V b, N a ~ N b)

I've also started a fork of linear to remove Applicative constraints on utility functions and add project to Linear.Metric. It's not essential but I don't like having to carry around Additive and Applicative when you only need Additive.

https://github.com/cchalmers/linear

what do you think?

[jeffreyrosenbluth]

@cchalmers I like your extra types :)

[bergey]

Did I just typo the word "typo"? Yes I did.