7 ms·
Types, as mentioned, make this easy to avoid. For example: A User has an ID of type UserId. A Message has an ID of type MessageId and a sender of type UserId.
by oftenwrong 8y ago
Types, as mentioned, make this easy to avoid. For example:
A User has an ID of type UserId.
A Message has an ID of type MessageId and a sender of type UserId.
ban_senders_of_messages would have a parameter of type [Message]
ban_account would have a parameter of type UserId