Function Literals

[Daniel Keep]

janderson wrote:
> Daniel Keep wrote:
>> All the type inference that D does thus far seems to be "inside-out",
>> that is it uses the known type of inner expressions to determine the
>> type of the ones they're contained in.  Deriving the type of 'c' up
>> there would mean the system would have to work backwards; and things
>> could get messy :P
> 
> I'm not familiar with the compiler, so I'll just have to believe thats
> true.

  'Well, I suppose it makes sen--' Vimes began.
  'That isn't how it works at all, Lu-Tze!' wailed Qu.
  'No,' said Sweeper, 'but it's another good lie.'

	-- Terry Pratchett, "Night Watch".

:3

-- 
Unlike Knuth, I have neither proven or tried the above; it may not even
make sense.

v2sw5+8Yhw5ln4+5pr6OFPma8u6+7Lw4Tm6+7l6+7D
i28a2Xs3MSr2e4/6+7t4TNSMb6HTOp5en5g6RAHCP  http://hackerkey.com/