Perguntas com a marcação «invariants»

Estou lendo Coders at Work , e há muita conversa sobre invariantes. Até onde eu entendi, uma invariante é uma condição que vale antes e depois de uma expressão. Eles são, entre outras coisas, úteis para provar que o loop está correto, se me lembro corretamente do meu curso de …

48 invariants 

Esta é a maneira mais popular (me parece) de verificar se um valor está em uma matriz: for (int x : array) { if (x == value) return true; } return false; No entanto, em um livro que li há muitos anos por, provavelmente, Wirth ou Dijkstra, foi dito que …

17 coding-style  search  loops  invariants  structured-programming 

Eu entendo 'invariável' em seu sentido literal. Também os reconheço quando digito código. Mas acho que não entendo a importância desse termo no contexto da ciência da computação. Sempre que leio conversas \ white papers sobre design de linguagem de programadores \ cientistas de computadores famosos, o termo 'invariável' continua …

16 programming-languages  language-agnostic  invariants 

Quando eu aprendi C ++ há muito tempo, enfatizou-me fortemente que parte do ponto do C ++ é que, assim como os loops têm "invariantes em loop", as classes também têm invariantes associados ao tempo de vida do objeto - coisas que devem ser verdadeiras enquanto o objeto estiver vivo. …

13 c++  object-oriented-design  c++11  invariants 

Estou ciente de que o conceito de invariantes existe em vários paradigmas de programação. Por exemplo, invariantes de loop são relevantes em OO, programação funcional e processual. No entanto, um tipo muito útil encontrado no OOP é um invariante dos dados de um tipo específico. É isso que estou chamando …

9 functional-programming  language-agnostic  paradigms  invariants