O veículo espacial Mars Curiosity pousou com sucesso, e um dos vídeos promocionais "7 minutos de terror" se gabava de haver 500.000 linhas de código. É um problema complicado, sem dúvida. Mas isso é muito código, certamente houve um grande esforço de programação por trás dele. Alguém sabe alguma...
Eu sou completo com programação e me deparei com linguagens como BASIC, FORTRAN, COBOL, LISP, LOGO, Java, C ++, C, MATLAB, Mathematica, Python, Ruby, Perl, JavaScript, Assembly e assim por diante. Não consigo entender como as pessoas criam linguagens de programação e criam compiladores para isso....
Recentemente, recebi uma leitura dos debates de Tanenbaum-Torvalds na minha aula de SO. Nos debates, Tanenbaum faz algumas previsões: Microkernels são o futuro x86 desaparecerá e as arquiteturas RISC dominarão o mercado (Daqui a cinco anos) todo mundo estará executando um sistema operacional GNU...
Estou realmente curioso agora. Eu sou um programador Python, e essa pergunta me surpreendeu: você escreve um sistema operacional. Como você executa isso? Tem que ser executado de alguma forma, e dessa forma está dentro de outro sistema operacional? Como um aplicativo pode ser executado sem estar...
Recentemente, tive um problema com a legibilidade do meu código. Eu tinha uma função que fazia uma operação e retornava uma string representando o ID dessa operação para referência futura (um pouco como o OpenFile no Windows retornando um identificador). O usuário usaria esse ID posteriormente...
No meu sistema de arquivos (Windows 7), tenho alguns arquivos de texto (esses são arquivos de script SQL, se isso importa). Quando abertos com o Notepad ++ , no menu "Codificação", alguns deles têm uma codificação de "UCS-2 Little Endian" e alguns de "UTF-8 sem BOM". Qual é a diferença aqui?...
Fiquei me perguntando se alguém sabe qual é o sistema operacional usado em aviões comerciais (como Boeing ou Airbus). Além disso, qual é a linguagem de programação em tempo real (preferencial)? Ouvi dizer que Ada é usado na Boeing, então minha pergunta é - por que Ada? Quais são os critérios que...
Estudando o curso para iniciantes sobre interface de hardware / software e sistemas operacionais, muitas vezes surgem o tópico de se seria melhor substituir algumas peças de hardware por software e vice-versa. Não consigo fazer a
Estou tentando determinar os detalhes técnicos de por que o software produzido usando linguagens de programação para determinados sistemas operacionais só funciona com eles. Entendo que os binários são específicos para determinados processadores devido à linguagem de máquina específica do...
Existem estudos feitos sobre a eficácia de linguagens estaticamente versus dinâmicas? Em particular: Medições da produtividade do programador Taxa de defeito Incluindo também os efeitos de se ou não o teste de unidade é empregado. Eu já vi muita discussão sobre os méritos de ambos os lados,...
Sei que algumas coisas são mais fáceis / difíceis em um idioma que no outro, mas estou interessado apenas em recursos relacionados ao tipo que são possíveis em um e impossíveis / irrelevantes no outro. Para torná-lo mais específico, vamos ignorar as extensões do tipo Haskell, já que existem muitas...
Considere isso uma pergunta "acadêmica". Eu estive pensando sobre como evitar NULLs de tempos em tempos e este é um exemplo em que não consigo encontrar uma solução satisfatória. Vamos supor que eu armazene medições onde, às vezes, é sabido que a medição é impossível (ou está ausente). Eu...
Eric Lippert fez um ponto muito interessante em sua discussão sobre por que o C # usa um nulle não um Maybe<T>tipo : A consistência do sistema de tipos é importante; podemos sempre saber que uma referência não anulável nunca é, sob nenhuma circunstância, considerada inválida? E o...
Por que isso está correto e principalmente esperado: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... enquanto isso não está bom e ninguém reclama: concrete type Name : string { } concrete type Index :...
Supondo uma linguagem com alguma segurança de tipo inerente (por exemplo, não JavaScript): Dado um método que aceita a SuperType, sabemos que, na maioria dos casos, podemos ser tentados a executar testes de tipo para escolher uma ação: public void DoSomethingTo(SuperType o) { if (o isa SubTypeA)...
fundo Estou projetando uma linguagem, como um projeto paralelo. Eu tenho um montador de trabalho, um analisador estático e uma máquina virtual para isso. Como já posso compilar e executar programas não triviais usando a infraestrutura que construí, pensei em fazer uma apresentação na minha...
Um tipo inferior é um construto que aparece principalmente na teoria matemática dos tipos. Também é chamado de tipo vazio. É um tipo que não tem valores, mas é um subtipo de todos os tipos. Se o tipo de retorno de uma função é o tipo inferior, isso significa que ele não retorna. Período. Talvez...
Estou escrevendo um aplicativo que funciona com imagens de satélite, e meu chefe me pediu para examinar alguns aplicativos comerciais e ver como eles se comportam. Eu encontrei um comportamento estranho e, em seguida, como eu estava, também o encontrei em outros aplicativos padrão. Esses programas...
Em JavaScript: The Good Parts, de Douglas Crockford, ele menciona em seu capítulo de herança, O outro benefício da herança clássica é que ela inclui a especificação de um sistema de tipos. Isso geralmente livra o programador de ter que escrever operações de conversão explícitas, o que é uma...
PHP, como a maioria de nós sabe, tem digitação fraca . Para quem não sabe, o PHP.net diz: O PHP não requer (ou suporta) definição explícita de tipo na declaração de variável; o tipo de uma variável é determinado pelo contexto em que a variável é usada. Ame ou odeie, o PHP relança variáveis...