contracts

9calore

3risposta

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

12calore

1risposta

Quando è -> effettivamente utile nella racchetta?

Sto passando attraverso Contracts in the Racket Guide. Il ->i costrutto permette di posizionare vincoli arbitrari sull'ingresso/uscita di una funzione. Per esempio, potrei avere una funzione unzip che

5calore

3risposta

Come posso utilizzare in modo significativo i contratti di precondizione nelle interfacce D?

Quando eseguo l'override delle funzioni in D con contratti "in", vengono controllati i contratti "in" ereditati. Se falliscono, vengono controllati i contratti "in" sostituiti. Se non lo specifichi ne

5calore

1risposta

Messaggi più leggibili con: pre e: post?

In clojure sto usando: pre come questo user=> (defn cannot-take-empty [x] {:pre [((complement empty?) x)]} 1) #'user/cannot-take-empty user=> (cannot-take-empty #{}) AssertionError Assert failed: (

18calore

2risposta

Che cosa significa "Invenzioni prioritarie e opere d'autore originali"?

Sto per iniziare un lavoro e vogliono un elenco di "Invenzioni prioritarie e opere d'autore originali". Cosa dovrei includere esattamente? Dovrei includere qualcosa a cui posso indicare che ho lavorat

7calore

4risposta

Best practice del contratto di codice

Ho diverse domande relative ai contratti di codice e alle best practice per il loro utilizzo. Diciamo che abbiamo una classe, con diverse proprietà (vedi sotto per esempio): class Class1 { // Fi

11calore

1risposta

Uso di System.Diagnostics.Contract in build di versioni

In precedenza ho visto una discussione su StackOverflow che ha avuto qualche discussione in merito, tuttavia non riesco a trovarla di nuovo! Sono interessato a sapere se le classi System.Diagnostics.C

12calore

1risposta

Ricerca contratti di sviluppo software

Negli ultimi anni ho lavorato come sviluppatore di software autonomo. Facendo vari concerti mentre venivano a modo mio. Per la maggior parte sono stato abbastanza fortunato, dal momento che la mia ret