4 ms·
But now you’re talking about something else aren’t you? Now you’re talking about generalising. You can generalise, for example, from Float to Floating a => a. B
by yakshaving_jgt 2y ago
But now you’re talking about something else aren’t you? Now you’re talking about generalising. You can generalise, for example, from Float to Floating a => a. But I don’t understand how the original Int to Maybe Int change could be sensible. How does that work?
- magicalhippo 2y agoThe exact same way? Or perhaps you could tell me, in which cases can an Int not be turned into a Maybe Int? Again, I don't know Haskell, so from the outside it looks like much the same as the float -> complex conversion.
- yakshaving_jgt 2y agoIt sounds like you need to learn about parametricity. https://www.well-typed.com/blog/2015/05/parametricity/ https://www.well-typed.com/blog/2015/05/parametricity/
- cubefox 2y agoIt doesn't sound like that to me. Could you not just answer his question?
- yakshaving_jgt 2y agoTo whom shall I send the invoice?