Что Вас потрясло в математике?

[Munin]

(Оффтоп)

Joker_vD в сообщении #623379 писал(а):

Вот эта идея, что можно применять функцию к аргументу, а можно аргумент к функции... сколько раз я потом встречался с ней в программировании?

А где конкретно в программировании, если не секрет?

[Joker_vD]

(Оффтоп)

Munin

class Image {
    ...
    public Image applyTransformation(Transformation transformation) {
        transformation.transform(this);
        return this.
    }
    ....
}

interface Transformation {
    void transform(Image image);
}

[Munin]

(Оффтоп)

Ну, это несерьёзно, это не применение аргумента к функции, а просто просьба аргументу применить к себе функцию.

С вектором интереснее: он буквально "прощупывает" функционал в точке, которую задаёт.

[migmit]

Munin в сообщении #623727 писал(а):

(Оффтоп)

Ну, это несерьёзно, это не применение аргумента к функции, а просто просьба аргументу применить к себе функцию.

Вы не правы, это вполне себе серьёзно. Собственно, это маленький частный случай монады Cont в Хаскеле:

newtype Cont r a = Cont ((a -> r) -> r

Т.е., здесь говорится, что значение типа Cont r a — это такая функция, что если дать ей функцию, действующую из a в r, то она выдаст некое r. В частности, каждому значению типа a соответствует значение типа Cont r a:

return :: a -> Cont r a
return a = Cont (\f -> f a)

Обратное, конечно, неверно. Если только мы не сделаем тип r произвольным:

newtype Cont' a = Cont' (forall r. (a -> r) -> r)

Тогда окажется, что никаких других значений типа Cont' a, кроме значений вида return a, не существует, и мы получим ту самую ситуацию со вторым сопряжённым.

Выношу из под оффтопика, потому что это уже, кажется, вполне онтопик.

[Munin]

Так-то конечно. Но во-первых, это уже Haskell, а во-вторых, уже не подпадает под "часто встречается в программировании".

[Joker_vD]

(Оффтоп)

Munin в сообщении #623727 писал(а):

просто просьба аргументу применить к себе функцию.

В любом случае, когда ты впервые в жизни встречаешься с енотом, который сам себя освежевал, выпотрошил и прыгнул в котел, это производит впечатление.

[Munin]

(Оффтоп)

Joker_vD в сообщении #623811 писал(а):

В любом случае, когда ты впервые в жизни встречаешься с енотом, который сам себя освежевал, выпотрошил и прыгнул в котел, это производит впечатление.

Это да :-)

[zinka]

Господа !
А то, что можно найти корни квадратного трехчлена - Вас не удивляет ?
Вы это вообразить пробовали ?
Как и Василий Иванович с Петькой - я это представить себе не могу.
Говорят, они растут в поле комплексных чисел.

[arseniiv]

zinka в сообщении #628148 писал(а):

А то, что можно найти корни квадратного трехчлена - Вас не удивляет ?

А почему должно?

[zinka]

arseniiv в сообщении #628156 писал(а):

А почему должно?

А Вы попробуйте это вообразить.
Придав словам - их обычный смысл.

[arseniiv]

Обычный смысл — это какой? А про омонимию вы знаете?

[zinka]

arseniiv в сообщении #628388 писал(а):

Обычный смысл — это какой? А про омонимию вы знаете?

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

[Shtorm]

zinka в сообщении #628457 писал(а):

А Вы правда не слышали такой анекдот, как Василиваныч сдавал экзамен по математике ?

Я слышал много раз!

[arseniiv]

Слышали. Но есть много анекдотов посмешнее.

[AKM]

И этот оффтопик предлагаю прекратить.
ЛС-ки, если уж очень надо, помогут.