Iterable is bad

Everybody knows now that linear data are bad for performance. But in Java everything is based on Iterable, with the idea, deeply rooted in math, that we can only visit the content of X if we iterate over it (enumerable sets etc), that is, have an epimorphism from N to that X.

Well, that's stupid. All we need is foundation axiom to hold.

In plain words, a tree is good as well, but a tree can be scanned in parallel.

But programmers of the world were trained to write a loop every time they see a plurality of something.

But the loop does not actually mean it should be interpreted sequentially.

If you write

for (x <- container) {
}

it only means that the job is done inside a monad.

That's why you should think monad, eh. That's why enumerables are XX century. Foundation axiom is way more powerful.

I actually can even prove it, but only for a Boolean base topos.

(sources of inspiration: 1, 2

found in translation

"От меня ты ушла проч. Нам с тобою быть не в мочь. Не забыть никогда ночь, ту когда я познал мощь. Я увидел мощь твоих глаз, и услышал парочку фраз. Ты сказала: 'ко мне приди, обними и нежно люби'. Я пошел за тобой в след, и обнял..., но тебя нет. Ну откуда такой звон, из груди не слышен стон. Подошел ко мне кто вон, я хочу обратно в сон. Впредь хочу позабыть я день, чтоб увидеть хотя бы тень. Знаю, я что она упархнет, но надеюсь что где то живет: та в глазах которой мощь, от меня, что ушла проч, что во сне ко мне пришла, и сказать лишь одно смогла. Ведь сказала ко мне приди, обними и нежно люби, Но зачем ты сама ушла, обманула меня, баля:-(менталитет:). С наступающим всех дам!" (some idiot; publicized by art_of_arts)

De mí te fuiste. Estamos con usted no sería capaz. No se olvide de la noche nunca, que cuando me enteré de la alimentación. Yo vi el poder de tus ojos, y oyó un par de frases. Usted ha dicho: «Venid a mí, un abrazo y el amor suave." Le he seguido el sendero, y se abrazaron ... pero no. "¿Cómo una llamada del pecho no puede oír los gemidos. Se acercó a mí, que he ganado, quiero volver a dormir. A partir de entonces, quiero olvidar los días para ver ni la sombra. Sé que tengo que uparhnet, pero espero que donde vives: que a los ojos, que podría, de mi parte que se fue, que el sueño vino a mí y decir sólo una cosa podía. Después de todo, me dijo: Venga, un abrazo y quiero mucho, pero ¿por qué te han ido, me engañó, Balian mentalidad :-(:). Feliz todas las damas!

Ты оставил меня. Мы с вами не сможем. Не забудьте в ночь когда-нибудь, когда я узнал, что еду. Я видел, сила ваших глазах, и услышал пару фраз. Ты сказала: "Иди ко мне, обнял и мягких любви." Я пошел по пути, и они обнялись ... но нет ". Как можно позвонить из груди не слышу стоны. Он подошел ко мне, я победил, я хочу спать. С тех пор я забыл дней, чтобы узнать, даже тень. Uparhnet Я знаю, у меня есть, но я надеюсь, что там, где вы живете: в глаза, что может, для меня это прошло, сон пришел ко мне и могу сказать только одно. В конце концов, он сказал: ну, обнимать и любить тебя, но зачем же ты был, обманул меня, Balian менталитет :-(:). С Днем всех дам!

полтора фильма

Один - половинку только посмотрел - Бил Меер, Religulous - ну ни фига себе, Меер - это наш Вольтер. Уже все привыкли кланяться и помалкивать, когда всякая шушера учить уважать религиозные чувства. Один Меер стоит прямо и говорит правду: религия - это гордый отказ думать своей головой. Издевается и над муллами, и над попами, и над раввинами.

Ну ладно, это, конечно, стоит смотреть.

А вот что нас совершенно поразило - это "Отик" Шванкмайера. Чешский фильм. 2000-го года. О это нечто. О, таких фильмов я ещё не видал. Фильм абсурда. Кафка и Мрожек и сказки народов мира. "To ease his wife's pain, the man finds a piece of root in the backyard and chops it and varnishes it into the shape of a child. However the woman takes the root as her baby and starts to pretend that it is real."