В книге "Пирс, Типы в языках программирования", в главе 1.5 можно найти: "Основания семантики типов в рамках математической теории категорий (category theory) можно найти во множестве источников, включая книги Якобса (Jacobs, 1999), Асперти и Лонго (Asperti and Longo, 1991) и Кроула (Crole, 1994); краткое введение имеется в «Основах теории категорий для специалистов по информатике» («Basic Category Theory for Computer Scientists», Pierce, 1991a)."
Вопрос по примеру из раздела Transaction Script, если возникнет необходимость написать утилиту командной строки с авторизацией, будете использовать эти же скрипты? Как выглядят тесты для проверки этих скриптов? К какому типу тестов они относятся?
С ноября месяца не получается залогиниться на Google Chrome на Ubuntu. Что-то поломалось у вас там. На FireFox есть поставить на паузу через некоторое время все замораживается и падает. Майнингом занимаетесь?
Как-нибудь посмотрю. Сейчас проблема решилась перезагрузкой станции, отключил/включил питание. Подсказали в поддержке компании.
Интересует такой вопрос: у нас в деревне зимой дровами топят утром и вечером, иногда ветер дует в мою сторону, можете посоветовать какой-нибудь датчик, который бы распознавал дым, и подавал сообщение, чтобы закрыть заслонку бризера?
У нас в деревне зимой дровами топят утром и вечером, иногда ветер дует в мою сторону, посоветуете какой-нибудь датчик, который бы распознавал дым, и подавал сообщение, чтобы закрыть заслонку бризера?
Сегодня утром просыпаюсь, смотрю, на станции контроля AirNanny A7 на дисплее перестала показываться информация о концентрации C02, иногда моргает и показывает, и еще иногда показывает ошибку E-10. Захожу на хабр, вижу эту статью. Вы сговорились!!!
Способ с шиной сообщений и редиса. Событийно-ориентированный.
Посылаем команду на запуск процесса по шине. Обработчик принимает команду, проверяет в редисе в соответствующем set или hash контейнере эту команду, если ее в наборе нет, то добавляет ее в набор и стартует процесс, сообщает пользователю о старте процесса. Процесс заканчивается, убирает в редисе из набора команду, сообщает пользователю. Если в наборе уже есть команда, то значит процесс уже выполняется, тогда обработчик получает информацию из этого hash-контейнера и отправляет отлуп пользователю.
Создаем журнал для фиксации запросов. В журнал добавляем числовое уникальное ненулевое поле "номер версии" для блокировки создания записи с одинаковым номером версии, поле для статуса операции [started, success, failed] и другие поля, например, время старта, время окончания операции. При добавлении записи в журнал сначала проверяем, не ли уже запущенной такой-же операции, если нет, то находим последнюю запись и номер версии, увеличиваем номер версии на единицу, добавляем запись в новым номером версии в журнал. Если паралельно пришло несколько запросов с таким-же номером, то, естественно, сможет добавиться только один, на остальных поднимется исключение. Если запись добавилась, то в эту запись пишем статус "started", время начала операции и т.д., запускаем нужный процесс, отдаем пользователю ответ, что операция стартовала при необходимости. Если запись не добавилась, поднялось исключение, то выполняем запрос для получения информации из записи с таким-же номером версии, отдаем пользователю, что операция уже выполняется. По-окончании операции изменяем статус операции, устанавливаем время окончания операции и т.д.
Долго жить будешь! Там в 77 году появились Б3-21 - не для детей. PS. У меня не было этих МК, цены были просто какими-то космическими, но разобрался как программировать Б3-34 по статье в ТМ. Когда увидел MK61 в 90 году в магазине, мог бы купить и на стипендию. Но уже было не актуально, имел доступ к двум настоящим IBM PC/XT.
В книге "Пирс, Типы в языках программирования", в главе 1.5 можно найти:
"Основания семантики типов в рамках математической теории категорий (category theory) можно найти во множестве источников, включая книги Якобса (Jacobs, 1999), Асперти и Лонго (Asperti and Longo, 1991) и Кроула (Crole, 1994); краткое введение имеется в «Основах теории категорий для специалистов по информатике» («Basic Category Theory for Computer Scientists», Pierce, 1991a)."
Требования к производителям программно-аппартных комплексов. К ним требований больше, чем к производителям просто ПО.
И если вы производитель программно-аппартного комплекса, вам нужно беспокоиться об утечке ПО к комплексу?
bolt - арбалетная стрела
Теперь я знаю немного больше страшных слов. :)
У меня нет такого утверждения.
Правильный бэтчинг - товар еще не произведен, но уже известно куда он поедет. Пришел товар на склад - кто-то промахался с оптимизацией.
Ни кого не возникает неопредолимого желания написать подобное на C++, на любом стандарте?
C++ в хабах - для привлечения внимания?
Вопрос по примеру из раздела Transaction Script, если возникнет необходимость написать утилиту командной строки с авторизацией, будете использовать эти же скрипты?
Как выглядят тесты для проверки этих скриптов? К какому типу тестов они относятся?
Надо просто взять и переписать все модули ядра на C++.
baderouaich/the-zero-overhead-principle: Little demonstration of the Zero Overhead principle.
Working with Money in Postgres
https://www.crunchydata.com/blog/working-with-money-in-postgres
Storing currency values: data types, caveats, best practices
https://cardinalby.github.io/blog/post/best-practices/storing-currency-values-data-types/
еще ядерный реактор
С ноября месяца не получается залогиниться на Google Chrome на Ubuntu. Что-то поломалось у вас там.
На FireFox есть поставить на паузу через некоторое время все замораживается и падает. Майнингом занимаетесь?
Спасибо! И Вашему тоже!
Как-нибудь посмотрю. Сейчас проблема решилась перезагрузкой станции, отключил/включил питание. Подсказали в поддержке компании.
Интересует такой вопрос: у нас в деревне зимой дровами топят утром и вечером, иногда ветер дует в мою сторону, можете посоветовать какой-нибудь датчик, который бы распознавал дым, и подавал сообщение, чтобы закрыть заслонку бризера?
У нас в деревне зимой дровами топят утром и вечером, иногда ветер дует в мою сторону, посоветуете какой-нибудь датчик, который бы распознавал дым, и подавал сообщение, чтобы закрыть заслонку бризера?
Сегодня утром просыпаюсь, смотрю, на станции контроля AirNanny A7 на дисплее перестала показываться информация о концентрации C02, иногда моргает и показывает, и еще иногда показывает ошибку E-10.
Захожу на хабр, вижу эту статью.
Вы сговорились!!!
Способ с шиной сообщений и редиса. Событийно-ориентированный.
Посылаем команду на запуск процесса по шине. Обработчик принимает команду, проверяет в редисе в соответствующем set или hash контейнере эту команду, если ее в наборе нет, то добавляет ее в набор и стартует процесс, сообщает пользователю о старте процесса. Процесс заканчивается, убирает в редисе из набора команду, сообщает пользователю.
Если в наборе уже есть команда, то значит процесс уже выполняется, тогда обработчик получает информацию из этого hash-контейнера и отправляет отлуп пользователю.
Способ с номерами версий.
Создаем журнал для фиксации запросов. В журнал добавляем числовое уникальное ненулевое поле "номер версии" для блокировки создания записи с одинаковым номером версии, поле для статуса операции [started, success, failed] и другие поля, например, время старта, время окончания операции.
При добавлении записи в журнал сначала проверяем, не ли уже запущенной такой-же операции, если нет, то находим последнюю запись и номер версии, увеличиваем номер версии на единицу, добавляем запись в новым номером версии в журнал. Если паралельно пришло несколько запросов с таким-же номером, то, естественно, сможет добавиться только один, на остальных поднимется исключение.
Если запись добавилась, то в эту запись пишем статус "started", время начала операции и т.д., запускаем нужный процесс, отдаем пользователю ответ, что операция стартовала при необходимости.
Если запись не добавилась, поднялось исключение, то выполняем запрос для получения информации из записи с таким-же номером версии, отдаем пользователю, что операция уже выполняется.
По-окончании операции изменяем статус операции, устанавливаем время окончания операции и т.д.
Более подробно об этом способе здесь:
https://github.com/cosmicpython/book/blob/master/chapter_07_aggregate.asciidoc
Мопед на калькулятор! Понимает толк в наслаждениях!!!
Долго жить будешь! Там в 77 году появились Б3-21 - не для детей.
PS. У меня не было этих МК, цены были просто какими-то космическими, но разобрался как программировать Б3-34 по статье в ТМ. Когда увидел MK61 в 90 году в магазине, мог бы купить и на стипендию. Но уже было не актуально, имел доступ к двум настоящим IBM PC/XT.