New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Linear #71

Merged
merged 26 commits into from Oct 10, 2014

Conversation

Projects
None yet
3 participants
@cchalmers
Member

cchalmers commented Sep 14, 2014

Branched version of #70.

@cchalmers

This comment has been minimized.

Show comment
Hide comment
@cchalmers

cchalmers Sep 14, 2014

Member

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.

Member

cchalmers commented Sep 14, 2014

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

This comment has been minimized.

Show comment
Hide comment
@cchalmers

cchalmers Sep 30, 2014

Member

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?

Member

cchalmers commented Sep 30, 2014

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

This comment has been minimized.

Show comment
Hide comment
@jeffreyrosenbluth

jeffreyrosenbluth Oct 1, 2014

Member

@cchalmers I like your extra types :)

Member

jeffreyrosenbluth commented Oct 1, 2014

@cchalmers I like your extra types :)

@bergey

This comment has been minimized.

Show comment
Hide comment
@bergey

bergey Oct 4, 2014

Member

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

Member

bergey commented Oct 4, 2014

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

bergey added a commit that referenced this pull request Oct 10, 2014

Merge pull request #71 from diagrams/linear
Migrate from `vector-space` package to `linear`

Make types more polymorphic.

@bergey bergey merged commit 4271de5 into master Oct 10, 2014

1 check passed

continuous-integration/travis-ci The Travis CI build passed
Details

@jeffreyrosenbluth jeffreyrosenbluth deleted the linear branch Oct 12, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment