I read quickly and misinterpreted what he was trying to do. Carry on. --Tim
On Thursday, February 20, 2014 01:09:00 PM Fil Mackay wrote: > On Thursday, February 20, 2014 11:06:36 PM UTC+11, Tim Holy wrote: > > On Thursday, February 20, 2014 03:17:19 AM Carlos Becker wrote: > > > Thanks Mauro, I think that is good enough for what I am trying to do. > > > The return type is already a very good assertion, I wished there was > > > > also > > > > > something similar for the argument types. > > > > Until C starts supporting multiple dispatch, I think you're out of luck on > > this one :). > > I don't quite get this connection Tim - what is preventing Julia from > having function signatures to do additional type checking on callbacks? C > interop is one thing (no type checking when it goes there), but surely > couldn't Julia handle this when calling internally? One thing I miss from > C# actually where you can use delegate types (signatures) or the generic > Func<int, int, RetType> to give the compiler a (static) view of what is > expected.
