pazukdev

Почему нельзя, когда можно?

public class SomeSubClass {
    
    void someMethod() throws CloneNotSupportedException {
        this.clone();
    }
    
}

Этот код компилируется.

Суть я понимаю, что они позволяют получать доступ к переменным других классов с уровнем доступа private

Они позволяют получать контролируемый доступ. Любая сущность должна быть доступна для внешней среды только через интерфейс. Public методы - это интерфейс любго класса. Setter'ы и Getter'ы - часть этого интерфейса.
Хотя аксессоры действительно в какой-то мере могут казаться формализмом.

Интерфейсы в Java не наследуются от Object.

1, Абстракция нужна везде, где будет проходить ось изменений системы. А интерфейс - основное средство достижения абстракции в Java. Из этого следует п.2.
2. Всегда, когда нужна абстракция (за исключением случаев, когда абстракция должна обладать состоянием. В таком случае вместо интерфейса придется использовать абстрактный класс т.к. интерфейс не может обладать состоянием).

Body могут (и обязательно должны) иметь static, default (Java 8) и private (Java 9) методы.

1. Класс - это всегда интерфейс + реализация (хотя бы частичная).
2. Интерфейс - это способ полностью отделить интерфейс от реализаци. Т.е. полностью абстрактный класс. Служит для описания котракта поведения класса для взаимодействия с внешним окружением.

1. Interface - это контракт системы с внешним окружением. Более Java-специфично: контракт для класса на определенное поведение реализованный в форме напоминающей полностью абстрактный класс.
Применять всегда. Это основной способ реализации абстракции.

2. Abstract class - это шаблон для группы классов кот. не может быть инстанциирован т.к. не содержит полного описания поведения (может содержать частичное).
Применять только в специфических случаях, когда нужно какое-то стостояние в абстракции.

Конкретные различия можно посмотреть тут: https://ru.stackoverflow.com/a/1229336/258227

Монада - это абстракция над цепочкой связанных вычислений. Контейнер, который принимает текущее состояние и функцию, которая принимает это состояние в качестве аргумента и возвращает новое состояние. Этот контейнер инкапсулирует среду (контекст) выполнения вычислений с учетом возможных исключений; на выходе только ожидаемые значения. Вобщем, just a monoid in the category of endofunctors (c).