# Specific function type

**URL:** <https://discourse.julialang.org/t/specific-function-type/117256>\
**Category:** New to Julia\
**Created:** [July 19, 2024, 9:45pm UTC](https://discourse.julialang.org/t/specific-function-type/117256 "2024-07-19T21:45:27Z")\
**Posts on this page:** 1\
**Showing post:** 18

<div class="post-metadata">

**Author:** ![nsajko](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/nsajko/32/221187_2.png) [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Post date:** [July 20, 2024, 6:17pm UTC](https://discourse.julialang.org/t/specific-function-type/117256/18 "2024-07-20T18:17:29Z")

</div>

> [@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](https://discourse.julialang.org/t/ann-enforcedtypesignaturecallables-jl/117280):
>
> The EnforcedTypeSignatureCallables package is being registered: [New package: EnforcedTypeSignatureCallables v1.0.0 by JuliaRegistrator · Pull Request #111416 · JuliaRegistries/General · GitHub](https://github.com/JuliaRegistries/General/pull/111416) 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 …

---

_[View the full topic](https://discourse.julialang.org/t/specific-function-type/117256)._