История изменений

При помощи эфемерона можно написать weak pointer, но при помощи weak pointer’а нельзя написать эфемерон.

Мне показалось что это одно и то же. Так что там есть сверх weak ptr?

Аналог шаперона, чтобы можно было описывать контракты в стиле «эта функция принимает набор чисел и возвращает функцию, которая возвращает число, которое больше любого из набора» я нигде не видел.

Собака зарыта в том, что происходит когда контракт нарушен? Что-то не компилируется? Врядли, судя по формулировке это проверка в рантайме. Проверку в рантайме можно сделать в любой жабе через AOP, обозначая места проверок хоть аннотациями хоть через весь код регексами

Я даже не беру Spring/Java EE, вот полегче - https://github.com/google/guice/wiki/AOP#example-forbidding-method-calls-on-weekends

При помощи эфемерона можно написать weak pointer, но при помощи weak pointer’а нельзя написать эфемерон.

Мне показалось что это одно и то же. Так что там есть сверх weak ptr?

Аналог шаперона, чтобы можно было описывать контракты в стиле «эта функция принимает набор чисел и возвращает функцию, которая возвращает число, которое больше любого из набора» я нигде не видел.

Собака зарыта в том, что происходит когда контракт нарушен? Что-то не компилируется? Врядли, судя по формулировке это проверка в рантайме. Проверку в рантайме можно сделать в любой жабе через AOP, обозначая места проверок хоть аннотациями хоть через весь код регексами

При помощи эфемерона можно написать weak pointer, но при помощи weak pointer’а нельзя написать эфемерон.

Мне показалось что это одно и то же. Так что там есть сверх weak ptr?

Аналог шаперона, чтобы можно было описывать контракты в стиле «эта функция принимает набор чисел и возвращает функцию, которая возвращает число, которое больше любого из набора» я нигде не видел.

Собака зарыта в том, что происходит когда контракт нарушен? Что-то не компилируется? Врядли, судя по формулировке это проверка в рантайме. Проверку в рантайме можно сделать в любой жабе через AOP.