Domande con tag 'invariants'

6
risposte

Quali sono le invarianti, come possono essere utilizzate e che hai mai usato nel tuo programma?

Sto leggendo Coders at Work e in esso si parla molto di invarianti. Per quanto ho capito, un invariante è una condizione che contiene sia prima che dopo un'espressione. Sono, tra le altre cose, utili a dimostrare che il ciclo è corretto, se ri...
posta 30.12.2010 - 22:19
6
risposte

Ciclo Foreach con break / return vs. while-loop con invarianza e post-condizione esplicite

Questo è il modo più popolare (mi sembra) di verificare se un valore è in un array: for (int x : array) { if (x == value) return true; } return false; Tuttavia, in un libro che ho letto molti anni fa da, probabilment...
posta 10.08.2018 - 17:08
5
risposte

Perché le invarianti sono importanti in Informatica

Capisco "invariante" nel suo senso letterale. Li riconosco anche quando digito il codice. Ma non credo di capire l'importanza di questo termine nel contesto dell'informatica. Ogni volta che leggo conversazioni \ white paper sulla progettazion...
posta 22.09.2012 - 19:55
1
risposta

Invarianti di vita dell'oggetto vs. spostare semantica

Quando ho imparato il C ++ molto tempo fa, mi è stato strongmente sottolineato che parte del punto di C ++ è che proprio come i loop hanno "invarianti di loop", le classi hanno anche invarianti associati alla durata dell'oggetto - cose che dovre...
posta 15.02.2016 - 02:01
3
risposte

Qual è la risposta alla programmazione funzionale agli invarianti basati sui tipi?

Sono consapevole del fatto che il concetto di invarianti esiste attraverso più paradigmi di programmazione. Ad esempio, invarianti di loop sono rilevanti in OO, programmazione funzionale e procedurale. Tuttavia, un tipo molto utile trovato...
posta 21.05.2015 - 13:57
2
risposte

Progettazione della classe C ++ con invariante

Ho riflettuto su una domanda di base su in che misura imporre l'invarianza di una classe . Forse è formulato male, così come un esempio, diciamo che voglio scrivere una classe che memorizza una gamma limitata di colori. Il costruttore della cla...
posta 01.02.2016 - 12:01
2
risposte

Loop Invariants in Python

Ho un po 'di esperienza con invarianti di loop ma non sono molto chiaro su di essi. Sto cercando di impararli attraverso un esempio in Python. Qualcuno può indicarne uno o aiutarmi a capire? Ho cercato sia su programmers.SX che sul Web, ma le...
posta 16.01.2013 - 14:57
1
risposta

Loop invariant vs Assertions

Ho un esame sui concetti di programmazione questo sabato e sto facendo fatica a trovare alcune informazioni per capire meglio alcuni concetti. Qual è la differenza tra invariante di loop e asserzione? Per me hanno lo stesso aspetto. Inoltr...
posta 10.01.2013 - 21:24
1
risposta

Comprensione degli invarianti di stile di tubi e filtri

Sto sviluppando un'applicazione in cui legge i dati da diverse origini dati. E poi quei dati dovrebbero essere pre-elaborati e quindi passare attraverso una serie di passaggi (filtri?) In cui tali dati verranno elaborati e aumentati. Infine, que...
posta 26.12.2017 - 19:50
2
risposte

DDD: decidere quando orientarsi verso l'eventuale coerenza transazionale

Sto leggendo la serie di articoli di Vaughn Vernon su design aggregato efficace . A proposito di decidere tra coerenza transazionale vs eventuale, si afferma quanto segue: Discussing this with Eric Evans revealed a very simple and sou...
posta 01.06.2018 - 19:28