Como instâncias indecidíveis podem realmente travar o compilador?

Quando li pela primeira vez sériocríticas sobre-XUndecidableInstances [https://lukepalmer.wordpress.com/2008/04/08/stop-using-undecidable-instances/], Eu já tinha me acostumado completamente, vendo-o apenasremoção de uma restrição irritante que ...

Todas as expressões regulares param?

Loops infinitos em Java

Veja o seguintewhile loop em Java. Isso causa um erro em tempo de compilação para a instrução abaixo del while(true) { System.out.println("inside while"); } System.out.println("while terminated"); //Unreachable statement - compiler-error.O ...

What exactly is the halting problem?

Sempre que as pessoas perguntam sobre o problema de parada no que se refere à programação, as pessoas respondem com "Se você acabou de adicionar um loop...

Idiomas práticos não completos de Turing?

Quase todas as linguagens de programação usadas sãoTuring Complete [http://en.wikipedia.org/wiki/Turing_Complete]e, embora isso permita que o idioma represente ...

Determinando se um regex é um subconjunto de outro

Eu tenho uma grande coleção de expressões regulares que, quando combinadas, chamam um manipulador http específico. Alguns dos antigos regex's são inacess...