Perguntas com a marcação «theory»

224
Qual é o objetivo das interfaces em PHP?

As interfaces permitem criar código que define os métodos das classes que o implementam. No entanto, você não pode adicionar nenhum código a esses métodos. As classes abstratas permitem que você faça a mesma coisa, além de adicionar código ao método. Agora, se você pode alcançar o mesmo objetivo...

185
De que servem os esquemas do SQL Server?

Não sou iniciante no uso de bancos de dados SQL e, em particular, do SQL Server. No entanto, eu fui principalmente um cara do SQL 2000 e sempre fui confundido com esquemas em 2005 ou mais. Sim, conheço a definição básica de um esquema, mas para que eles realmente são usados ​​em uma implantação...

165
Diferenças entre Agda e Idris

Estou começando a mergulhar na programação de tipo dependente e descobri que as linguagens Agda e Idris são as mais próximas de Haskell, então comecei por lá. Minha pergunta é: quais são as principais diferenças entre eles? Os sistemas de tipos são igualmente expressivos em ambos? Seria ótimo ter...