https://github.com/JuliaLang/julia/issues/210
Not infeasible, just unimplemented. On Thursday, February 20, 2014, Fil Mackay <[email protected]> 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. > >
