Structural typing problem of passing wrong arguments #194
emil14
started this conversation in
Type System
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
In Go (nominative type system-based languages) we can have some degree of protection from passing wrong arguments (or structure fields):
Is there a way to have something similar with structural typing? Is this even a problem with FBP? (Ports always have names as opposed to function arguments that are order-sensitive)
Beta Was this translation helpful? Give feedback.
All reactions