Зазвичай контракти реалізуються на основі статичної типізації, коли вказується тип параметрів і значення, яке повертається.
Виправте граматичні помилки в цьому реченні: Зазвичай контракти реалізуються на основі статичної типізації, коли вказується тип параметрів і значення, що повертається.