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.
