Verhalten definieren Rückrufe und Protokolle definieren Methoden ohne Signaturen. Module, die ein Protokoll implementieren, sollten Definitionen für all diese Methoden enthalten. Gleiches gilt für Module, die ein Verhalten verwenden. Was ist der semantische Unterschied?

Ein Unterschied, den ich mir vorstellen kann, ist, dass ein Protokoll nur einmal für einen einzigen Typ implementiert werden kann, da wir ein Verhalten für ein Modul basierend auf unseren Anforderungen mehrmals implementieren können. Mir ist klar, wann ich was verwenden soll. Gibt es einen anderen Unterschied als diesen?