Jacques Carette
Jacques Carette
"Ghastly" refers to having to pattern-match on implicits because the (functional) representation doesn't let you make any kind of split. It is inevitable. Programming with `head` and `tail` is *normally*...
I'm all for splitting of programming in to concrete programming (providing useful functionality for a particular representation) and abstract programming (i.e. programming to an interface). What kind of functions that...
Should an issue be opened to have us agree on 1) the need for this, and 2) if so, its design ?
Can you give us a preview of what you think this would entail?
Yes, we should. If you don't around to it, I might get one of my two (new!) summer students to do it. I don't see how the third is stronger...
For the 'interesting' version, I doubt you'll be able to get away without saying (essentially) that they are inverses. There are n! choices that an injective function can make, and...
Doesn't this actually argue for deleting this entirely?
Open an issue? Because this one seems to be about something else.
@jsiek self-assigned this a year ago, and... forgot?
Yes, it is most likely a mistake. It would be worth looking through use sites of both to see if they end up being specified (in the implicit case) anyways....