Right, but we’re already stipulating codegen.
-
-
(which is what parametric polymorphism amounts to under the covers anyways)
1 reply 0 retweets 1 like -
No it isn't.
1 reply 0 retweets 0 likes -
What’s the bright-line distinction?
2 replies 0 retweets 0 likes -
I don't know what "bright line" means. There's more to parametric polymorphism than "codegen." Here's one: https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf …
1 reply 0 retweets 0 likes -
I sort of get this? Can you connect it back to the lens system
@sciv was referring to?1 reply 0 retweets 0 likes -
When using lens, I use theorems for free a lot. I obtain benefits by doing so. Those benefits are significant.
1 reply 0 retweets 0 likes -
Is this a difference of degree or of kind?
2 replies 0 retweets 0 likes -
I have no idea what this means.
1 reply 0 retweets 0 likes -
Uh, ok. Restated: are you saying it makes your approach easier, or are you saying that without it your approach is infeasible?
1 reply 0 retweets 0 likes
Without theorems for free, there is certain code I will never write, that you will never write, thoughts I cannot have.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.