Engenharia de software

Estou interessado em tipos de exclusividade como alternativa às mônadas em linguagens funcionais puras há algum tempo; infelizmente, essa é uma área esotérica da pesquisa em CS e os recursos on-line sobre programação com tipos de exclusividade são poucos e distantes entre si. É óbvio como os tipos de exclusividade …

19 programming-languages  functional-programming  type-systems  parallelism 

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 modificar objetos que …

19 c#  .net  code-contracts  pure-function 

Essa macro pode ser definida em algum cabeçalho global, ou melhor, como um parâmetro da linha de comando do compilador: #define me (*this) E algum exemplo de uso: some_header.h: inline void Update() { /* ... */ } main.cpp: #include "some_header.h" class A { public: void SetX(int x) { me.x = …

19 c++ 

Deseja melhorar este post? Forneça respostas detalhadas para esta pergunta, incluindo citações e uma explicação de por que sua resposta está correta. Respostas sem detalhes suficientes podem ser editadas ou excluídas. Recentemente, criei um projeto chamado Hebel , no qual estou trabalhando no GitHub. É uma estrutura para o aprendizado …

19 open-source  github  contribution 

Tenho uma ideia geral de como o processador lida com instruções, mas passo meu tempo trabalhando em idiomas de alto nível. Talvez alguém que trabalhe mais perto do ferro possa fornecer informações valiosas. Supondo que as linguagens de programação sejam basicamente abstrações de nível muito alto do conjunto de instruções …

19 hardware  low-level  turing-completeness 

Ultimamente, tenho lido sobre programação dinâmica. Gostaria de ouvir alguém que começou do zero e agora é muito bom em identificar e resolver problemas de DP. Estou lutando para identificar esses problemas como DP e estruturar uma solução concisa. Passei pela maioria dos problemas de DP iniciantes e recursos do …

19 algorithms  dynamic-programming 

Em C # genéricos, podemos declarar uma restrição para um parâmetro de tipo Tter um construtor padrão, dizendo where T : new(). No entanto, nenhum outro tipo de restrição como esse é válido - new(string)por exemplo, etc. Do ponto de vista do design e / ou implementação da linguagem, qual …

19 c#  language-design  generics 

Encontrei um bom tema WordPress (GPL) à venda. Eu conheço alguém que comprou. Eu tenho 2 perguntas: A empresa que vende a obrigação de enviar o código-fonte para quem (clientes ou não) solicita? A pessoa que o comprou pode me fornecer uma cópia gratuita que eu poderia usar na produção?

19 gpl  pricing 

Eu programo principalmente em python e programei algumas GUIs com o Tkinter, todos os tutoriais que eu já vi recomendaram definir e usar uma classe para a GUI, mas minha GUI é executada na perfeição usando apenas procedimentos, sem uma classe. Por que usar uma aula? Parece da minha perspectiva …

19 python  gui  class 

Eu possuo um repositório no GitHub para o qual alguém enviou uma solicitação de recebimento com uma única confirmação. Eu só quero implementar sua solução parcialmente e usar cerca de metade do código que o usuário fez. O que devo fazer nesta situação? Faça uma ramificação da versão dele, depois …

19 version-control  git  github  etiquette 

Descobri por Valgring que alguns programas GTK + vazam memória. Quão importante é consertar esses vazamentos? Quero dizer, geralmente esses programas funcionam muito bem, mas por outro lado, nunca se pode ter certeza se deseja copiar parte do código que vazou para outro programa. E não tenho certeza se a …

19 c  memory 

Quando eu estava começando a programar em Java, o fato de que as instruções do switch não usavam strings me frustrou. Então, ao usar o Enums, percebi os benefícios que você obtém com eles, em vez de transmitir valores brutos - segurança do tipo (que facilita a refatoração) e clareza …

19 java  design  switch-statement 

O código int a = ((1 + 2) + 3); // Easy to read correr mais devagar que int a = 1 + 2 + 3; // (Barely) Not quite so easy to read ou os compiladores modernos são inteligentes o suficiente para remover / otimizar parênteses "inúteis". Pode parecer …

19 c++  optimization  compilation 

Eu estava olhando para programação simultânea nas linguagens de programação Erlang e Go. De acordo com a minha descoberta, eles são usados ​​modelo de ator e CSP, respectivamente. Mas ainda estou confuso com quais são as diferenças objetivas entre CSP e atores? é apenas apenas teórico diferente, mas o mesmo …

19 programming-languages  concurrency  concepts  go  erlang 

Sou um programador intermediário, com alguns anos de experiência profissional, que está no meio do mestrado. Ao aprender a programar, muitas vezes ouvi dois conselhos aparentemente contraditórios. O primeiro conselho foi obter algo funcionando rapidamente, ver como ele funciona (por meio de prototipagem ou teste informal), melhorar a versão, ver …

19 programming-practices  self-improvement  project