An Alternative to `anytype` Duck-Typing

[Sze]

@00JCIV00

Specifically, using the validation function within a function signature is something I haven’t seen much of, if ever.

A while back we already had a similar discussion (and other people had similar discussions or ideas before that), this topic tries to put type checking in the parameter types, which comes with the downside of not being compatible with anytype parameters.

This is why people have experimented with putting type constraints checking in the return value instead:

Implementing Generic Concepts on Function Declarations

– edited – See below (post 4) for an updated version of this using function prototyping – I’ve was thinking about how to implement more transparent constraints for anytype parameters - I was thinking about ways to expose this as apart of a function declarations. So I came up with an example to demonstrate something using conditional statements in the return type. Basically, the first argument is evaluated as the constraint, and the second argument is evaluated as the result type. This has some…