Моржовый оператор (:=) в программировании — это оператор присваивания с проверкой на null или оператор присваивания с условием. В Python под "моржовым оператором" обычно понимается оператор присваивания выражения внутри другого выражения, введённый в версии 3.8 и обозначаемый как :=.

Он позволяет присвоить значение переменной в контексте выражения, что сокращает код и улучшает читаемость.

Пример использования:

# Без моржового оператора
line = input()
while line != '':
    print(line)
    line = input()

# С моржовым оператором
while (line := input()) != '':
    print(line)

Здесь переменная line получает значение внутри условия цикла, что избавляет от необходимости писать отдельную строку присваивания перед циклом и в конце тела цикла.

Объясните принцип работы моржового оператора и его применение в программировании.