contracts

12зной

1ответ

Когда -> я действительно полезен в ракетке?

Я прошел через Contracts in the Racket Guide. Конструкция ->i позволяет помещать произвольные ограничения на вход/выход функции. Например, у меня могла бы быть функция unzip, которая берет список пар

types scheme racket contracts 2015-05-26

---

1зной

2ответ

Кодовые контракты и анализаторы кода

Я собираюсь приступить к новому проекту C#. Мне было интересно, в чем разница между использованием кодовых контрактов или анализаторов кода (в Рослине). Не понимаю ли я каждого из них? Будучи новым пр

c# roslyn contracts 2016-10-27

---

9зной

3ответ

Есть ли нуль, как вещь в прочности

struct buyer{ uint amount; Status status; } mapping(address=>buyer) public buyers; mapping(uint=>address) buyerIndex; uint public buyerNum; //Order a product.

ethereum contracts solidity 2016-06-16

---

1зной

1ответ

Поддерживает ли Guava контрактные классы или иным образом разрешает документацию на интерфейс?

Я смотрел на Guava's Preconditions. Это здорово, если вы используете их в методе реализации, но можно ли использовать их с помощью интерфейсных контрактов? Например, в договорах C# вы можете сделать э

java guava contracts 2015-05-25

---