type-systems

всякий раз, когда я использую sys.path.append новый каталог будут добавлены. Однако, как только я закрою python, список вернется к предыдущему (по умолчанию?) значения. Как мне постоянно добавлять каталог в PYTHONPATH?...

Я хочу напечатать что-то в консоли, так что я могу отладить его. Но по какой-то причине в моем Android-приложении ничего не печатается. Как мне тогда отлаживать? public class HelloWebview extends Activity { WebView webview; private static final String LOG_TAG = "WebViewDemo"; private clas...

зависимые типы методов, которые раньше были экспериментальной функцией, теперь были включен по умолчанию в багажнике, и, видимо, это, кажется, создало какие-то волнения в сообществе Scala. на первый взгляд, не сразу понятно, для чего это может быть полезно. Хейко Зеебергер опубликовал простой пример зависим...

Я вижу этот код в блог: программирование на уровне типов в Scala: // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type Next = RecurseA ...

Я использую python для анализа некоторых больших файлов, и у меня возникают проблемы с памятью, поэтому я использую sys.getsizeof (), чтобы попытаться отслеживать использование, но это поведение с массивами numpy странно. Вот пример, связанный с картой альбедо, которую мне нужно открыть: >>> import ...

где находится система Python.путь от инициализации? UPD: Python добавляет некоторые пути перед ссылкой на PYTHONPATH: >>> import sys >>> from pprint import pprint as p >>> p(sys.path) ['', 'C:Python25libsite-packagessetuptools-0.6c9-py2.5.egg', 'C:Python...

предположим, что есть скрипт, делающий что-то вроде этого: # module writer.py import sys def write(): sys.stdout.write("foobar") теперь предположим, что я хочу захватить выход write функция и хранить его в переменной для дальнейшей обработки. Наивное решение было: # module mymodule.py from writer imp...

можно запустить внешнюю команду с помощью трех PHP функций system(); exec(); shell_exec(); но в чем их различия? Несмотря на их специфические применения, в большинстве случаев, можно поровну использовать. Мне любопытно узнать, какой из них предпочтительнее, когда они могут быть одинаково использованы. Напр...

поправьте меня, если я ошибаюсь, но похоже, что алгебраические типы данных в Haskell полезны во многих случаях, когда вы используете классы и наследование в языках OO. Но есть большая разница: как только алгебраический тип данных объявлен, он не может быть расширен в другом месте. Она "закрыта". В OO вы может...

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