Codengineering - блог о программировании ➜ страница 1673
Что такое экзистенциальный тип?
Я прочитал статью в Википедии экзистенциальных типов. Я понял, что они называются экзистенциальными типами из-за экзистенциального оператора (∃). Хотя я не уверен, какой в этом смысл. В чем разница между T = ∃X { X a; int f(X); } и T = ∀x { X a; int f(X); } ? ...
Максимальный год в дате истечения срока действия кредитной карты
различные онлайн-сервисы имеют разные значения для максимального года истечения срока действия, когда речь заходит о кредитных картах. например: Basecamp: +15 лет (2025) Амазонка: +20 лет (2030) Paypal: +19 лет (2029) каков здесь разумный максимум? Существуют ли какие-либо официальные рекомендации? ...
Почему volatile не считается полезным в многопоточном программировании на C или c++?
как показано в ответ Я недавно опубликовал, я, кажется, смущен полезностью (или ее отсутствием)volatile в многопоточных контекстах программирования. мое понимание таково: каждый раз, когда переменная может быть изменена вне потока управления куска кода доступа к ней, что переменная должна быть объявлена volatile. Обработчики сигналов, регистры ввода-вывода и переменные, модифицированные другим потоком, все составляют такие положения. Итак, если у вас есть глобальный int foo и foo считывается ...
Как удалить повторяющиеся элементы из массива в Perl?
У меня есть массив в Perl: my @my_array = ("one","two","three","two","three"); Как удалить дубликаты из массива? ...
Java8: HashMap для HashMap с использованием Stream / Map-Reduce / Collector
Я знаю, как" преобразовать " простой Java List С Y ->Z, например: List<String> x; List<Integer> y = x.stream() .map(s -> Integer.parseInt(s)) .collect(Collectors.toList()); теперь я хотел бы сделать в основном то же самое с картой, т. е.: INPUT: { "key1" -> "41", // "41" and "42" "key2" -> "42 // are Strings } OUTPUT: { "key1" -> 41, // 41 and 42 "key2" -> 42 // are Integers } решение не должно ограничиваться String ...
Docker-как анализировать использование диска контейнера?
Я искал некоторое время, но не смог найти способ проанализировать использование диска контейнера / Тома Docker. Я вижу, что докер занимает 12 ГБ моей файловой системы: 2.7G /var/lib/docker/vfs/dir 2.7G /var/lib/docker/vfs 2.8G /var/lib/docker/devicemapper/mnt 6.3G /var/lib/docker/devicemapper/devicemapper 9.1G /var/lib/docker/devicemapper 12G /var/lib/docker но, как я знаю, как это распределяется по контейнерам? Я попытался подключиться к контейнерам, запустив (новая кома ...
динамическое добавление и удаление вида в viewpager
(Я нашел решение - Пожалуйста, см. мой пост в разделе ответов ниже.) в моем приложении пользователь начнет с одного представления своих данных. Я хотел бы добавить ViewPager и позволить пользователю добавлять больше просмотров по желанию. Как мне это сделать? (Я не хочу использовать FragmentPagerAdapter.) Я прочитал бесчисленное количество сообщений и обзоров, но все еще чего-то не хватает. Вот что я думаю, что понимаю: MainActivity создает ViewPager и PagerAdapter: ViewPager pager = nul ...
Преобразование временной метки UNIX в форматированную строку даты
используя PHP, я хочу конвертировать временные метки UNIX в строки даты, подобные этому:2008-07-17T09:24:17Z как преобразовать метку времени, такую как 1333699439 to 2008-07-17T09:24:17Z? ...
Как изменить порт Tomcat с 8080 на 80?
Я хочу выполнить мое веб-приложение как http://localhost. ...
Классы и модули в VB.NET
считается ли приемлемой практикой использовать модули вместо классов с общими функциями-членами в VB.NET? Я стараюсь избегать модулей, потому что они чувствуют себя как остатки от Visual Basic 6.0 и, похоже, больше не вписываются. С другой стороны, кажется, что нет большой разницы между использованием модуля и класса только с общими членами. Это не так часто, что я действительно очень нужен, Но иногда бывают ситуации, когда они Настоящее простое решение. Мне любопытно услышать, Есть ли у вас к ...