@daegurr · Post #43008 · 26.01.2026 г., 04:27
이 어마무시한 넘버링은 무엇인가. #MRO
Hashtags
TGINSIGHT SIMILAR POSTS
Изворен канал @pythonotes · Post #418 · 9 мар.
Оператор pipe позволяет писать более компактный код, реализуя логику объединения данных (Union). Важно помнить, что его поведение зависит от контекста. Побитовые операции (логическое OR) result = 5 | 3 # 5 (0101) | 3 (0011) = 7 (0111) Самое главное - не путать с оператором or, это другое! Объединение множеств set_a = {1, 2, 3} set_b = {3, 4, 5} set_c = set_a | set_b # {1, 2, 3, 4, 5} set_c |= {5, 6} # {1, 2, 3, 4, 5, 6} Слияние словарей dict_1 = {"a": 1, "b": 2} dict_2 = {"b": 3, "c": 4} merged = dict_1 | dict_2 # {'a': 1, 'b': 3, 'c': 4} merged |= {"d": 5} # {'a': 1, 'b': 3, 'c': 4, 'd': 5} Аннотации типов, заменяет Union def process_data(value: int | str) -> None: print(value) Допустимо использовать в isinstance или issubclass isinstance(3, int | float) # True Паттерн-матчинг status_code = 404 match status_code: case 200 | 201 | 204: print("OK") case 400 | 404 | 500: print("ERROR") Для использования в своих классах требуется переопределить метод __or__ Так же нашел библиотеку pipe которая добавляет еще много возможностей. Рекомендую ознакомиться ;) #basic
Hashtags
Пребарај: #mro
@daegurr · Post #43008 · 26.01.2026 г., 04:27
이 어마무시한 넘버링은 무엇인가. #MRO
Hashtags
@daegurr · Post #42420 · 15.11.2025 г., 13:02
#MRO 대안이 없지. 한국밖에.
Hashtags
@shipping00 · Post #45230 · 23.03.2026 г., 08:04
🚢Royal Caribbean Group закрепляет сотрудничество с Seatrium по ремонту круизного флота. Royal Caribbean Group заключила долгосрочное соглашение с сингапурской верфью Seatrium на проведение инспекций, ремонтов и модернизаций судов по всему своему флоту, включая бренды Royal Caribbean International, Celebrity Cruises и Silversea Cruises. Работы уже выполняются: лайнер "Celebrity Solstice" завершил модернизацию, "Ovation of the Seas" проходит обновление, а "Silver Cloud" запланирован на доковый ремонт позже в 2026 году. С операционной точки зрения, партнёрство закрепляет роль Сингапура как ключевого центра MRO для круизного сегмента в Азии и обеспечивает Royal Caribbean Group стабильный доступ к инфраструктуре для обслуживания флота. Для рынка это сигнал о восстановлении и дальнейшей модернизации круизной индустрии, где инвестиции в обновление судов становятся приоритетом после периода волатильности. 📌Royal Caribbean Group — основана в 1968 году, один из крупнейших круизных операторов мира, контролируется публичными акционерами, ключевую роль играет менеджмент во главе с Jason Liberty. #Cruise#Shipping#Seatrium#MRO#CruiseIndustry