Recentemente, deparei com a estrutura da Microsoft para contratos de código. Eu li um pouco da documentação e me perguntei constantemente: "Por que eu iria querer fazer isso, pois ele não faz e geralmente não pode executar uma análise estática"? Agora, eu já tenho um tipo de estilo de programação...
Estou aprendendo sobre contratos de código no .NET e tentando entender a idéia de construtores puros. o documentação dos contratos de código declara: Todos os métodos chamados dentro de um contrato devem ser puros; isto é, eles não devem atualizar nenhum estado preexistente. Um método puro pode...
Sou um programador um tanto defensivo e um grande fã dos contratos de código da Microsofts. Agora nem sempre posso usar C # e, na maioria dos idiomas, a única ferramenta que tenho são as asserções. Então, geralmente acabo com um código como este: class { function() { checkInvariants();...
Sou um grande fã de escrever declarações, contratos ou qualquer outro tipo de cheque disponível no idioma que estou usando. Uma coisa que me incomoda um pouco é que não tenho certeza de qual é a prática comum para lidar com verificações duplicadas. Exemplo de situação: primeiro escrevo a seguinte...
Estou fazendo um projeto de pesquisa em que estou pesquisando as opções para lidar com alterações em uma arquitetura de microsserviço orientada a eventos. Então, digamos que temos um aplicativo em que temos quatro serviços diferentes. Cada um desses serviços possui um banco de dados próprio para...