turing-complete

можно делать интересные вещи с тем, что обычно считается наборным языком. Например, можно построить набор Мандельброта С помощью postscript. предлагается в этот вопрос MathOverflow что латекс может быть Turing-complete. Это подразумевает возможность писать произвольные программы (хотя это может быть непрост...

в настоящее время я пишу о динамической типизации, и я даю пример взаимодействия Excel. Я почти никогда руководство раньше, и это видно. Элемент MSDN Office Interop tutorial для C# 4 используется _Worksheet интерфейс, но есть и Worksheet интерфейс. Я понятия не имею, в чем разница. в моем абсурдно простом де...

Если у меня есть URL, как: http://www.example.com:9090/test.html тогда я знаю, что www.example.com это имя хоста, но что вы называете http://www.example.com:9090? Есть ли какое-то устоявшееся название для этого?...

Мне нужно проанализировать URL-адрес, чтобы получить протокол, хост, путь и запрос в приложении, которое я пишу на C++. Приложение предназначено для кросс-платформенной работы. Я удивлен, что не могу найти ничего, что делает это в boost или POCO библиотеки. Это где-то очевидно, что я не смотрю? Любые предлож...

чтобы создать Uri из строки, вы можете сделать это: Uri u = new Uri("example.com"); но проблема в том, что если строка (как и выше) не содержит протокол, вы получите исключение:"Invalid URI: The format of the URI could not be determined." чтобы избежать исключения, вы должны защитить строку включает в себ...

поскольку там есть не полные языки Тьюринга, и учитывая, что я не изучал Comp Sci в университете, может ли кто-нибудь объяснить что-то, что Тьюринг-неполный язык (например Coq) не может сделать? или это полнота / неполнота не реального практические интерес (т. е. это не имеет большого значения на практике)? ...

Я пишу веб-приложение с помощью ring и clojure. Я использую адаптер jetty для сервера разработки и emacs/SLIME для IDE. В то время как wrap-reload помогает, run-jetty блокирует мой сеанс slime, и я хотел бы иметь возможность запускать/останавливать его по желанию без необходимости запускать его в отдельном те...

Я ищу способ псевдо-паук веб-сайт. Ключ в том, что я на самом деле не хочу контент, а скорее простой список URI. Я могу достаточно близко подойти к этой идее с Wget С помощью --spider вариант, но когда трубопровод, что выход через grep, Я не могу найти правильную магию, чтобы заставить ее работать: wget --sp...

квалифицированная строка сборки, используемая в качестве параметра ниже для Uri, работает в XAML, но дает мне ошибку, показанную при использовании в коде. Я пробовал все виды UriKind с тем же результатом. Как я могу это исправить? [Test] public void LargeImageSource_IsKnown() { var uri = new Uri( "...

есть утверждения, что система типов Scala является Turing complete. Мои вопросы: есть ли формальное доказательство этого? Как будет выглядеть простое вычисление в системе типов Scala? имеет ли это какую - либо пользу для Scala-языка? Это делает Scala более "мощным" в некотором роде по сравнению с языками бе...