Protocol
Definitions are in Persian for now. Read in Persian
Articles with this concept
- Security
Lean verification of EIP-7002: system-call success and FIFO requests
EIP-7002 ensures system calls always succeed and requests are processed in FIFO order. These properties are proven using Lean 4.
- Python
Python Protocols: Leveraging Structural Subtyping
Real Python explains how Protocol enables structural subtyping and static duck typing in Python. The excerpt distinguishes internal protocols from Protocol-based type contracts and introduces compatibility based on methods and attributes rather than inheritance.