search

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript
18 stars 12 forks source link

eliminate redundant function arguments #6

Closed matthewleon closed 7 years ago

matthewleon commented 7 years ago

Several functions took redundant arguments containing information that could already be inferred from type signatures.

bodil commented 7 years ago

Hmm, at the same time I really like this one and really worry that it makes the ergonomics of the API worse. Let me think about it for a bit...

matthewleon commented 7 years ago

I see the dilemma. Perhaps the solution is to expose these new versions as prime functions, along with a function that can be used just to refine the type of a vector, and have the non-prime versions rely on a combination of the refinement function and the prime functions?

On Tue, Apr 25, 2017 at 11:47 PM, Bodil Stokke notifications@github.com wrote:

Hmm, at the same time I really like this one and really worry that it makes the ergonomics of the API worse. Let me think about it for a bit...

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/bodil/purescript-sized-vectors/pull/6#issuecomment-297187210, or mute the thread https://github.com/notifications/unsubscribe-auth/AARBS1Jk7U7pdDG-jJIuaEAY5lensyzoks5rzngAgaJpZM4NHlVr .