[Question] specifying the type of inputs of Function

[jling]

@Zerosum

in the interval of Int8 .

that’s not how it works:

julia> Int8(8) == Int64(8)
true

julia> Int8(8) === Int64(8)
false

Variables have type, type of a variable is independent of what “value” they carry.