Specific function type

[nsajko]

@nsajko

A wrapper callable approach seems to be exactly what you’re asking for, putting the argument types and/or the return type into a type signature. Apparently there’s no package for this purpose currently registered, so wait a few hours until I create it.

[ANN] EnforcedTypeSignatureCallables.jl

The EnforcedTypeSignatureCallables package is being registered: New package: EnforcedTypeSignatureCallables v1.0.0 by JuliaRegistrator · Pull Request #111416 · JuliaRegistries/General · GitHub Once it’s registered, this link will point to its page on JuliaHub: EnforcedTypeSignatureCallables.jl The Git repo is on Gitlab: The package was motivated by the frequent requests by Julia newbies for expressing the type signatures for “functions” in the type system. This doesn’t really make sense as …