8 Feb
2016
8 Feb
'16
3:34 p.m.
On 08.02.2016 20:53, Reid Barton wrote:
Normally the reason to define a function is so that you can apply it to something. But there are no values of the promoted type A to apply f to, aside from perhaps undefined. What would be the purpose of allowing this?
Okay, this would be of no use. It didn't occur to me that there is currently no way to have values of types A and B. -- Wojtek