

"thunk" / "deferred computation" — "личинка вычисления".
Соответственно, при использовании лентяйки программа откладывает в память личинки вычислений.
//
"use" — "использование". "abuse" — "извредствование"?

Зарелизил мелкую библиотечку для отладки редукций выражений в пределах coq: https://bitbucket.org/gds/coq-breakpoint...


Наша редакция рада ответить на просьбу господина @ulidtko, изложенную в http://amd63.psto.net/tsfgse#123 , нижеследующим куском кода: https://gist.github.com/gdsfh/7140f41aca...
Там в каментах я показал, во что экстрактится всё это безобразие. Как обычно, все пруф-термы стёрты, остались только ... more →


I saw the message saying Reader was going to close, and the OK button at the bottom. I couldnt bring myself to click the OK button. It is not Ok. Where is the NOT OK button.


Free for iPhone, iPad, Windows, FreeBSD, Mac and Web

Собственно, гуглоридеробляди соснули эпичнейше. Пользователи LeechCraft Aggregator продолжают счастливо потреблять контент.

Удаление фотографий уровня Web 2.0: http://dump.bitcheese.net/files/ulovipa/...

в окамле по умолчанию строгий порядок вычислений, что упрощает рассуждения о производительности и ресурсоёмкости кода. (опциональная явная ленивость — в наличии.)
я начинал использовать окамл одновременно с чтением ассемблерного кода, который он генерит, и теперь имею вполне точное представление, что во что ... more →

Configurator configurator = new Configurator();
configurator.configure();


I read (61)

Артс

岩倉 玲音

ʎǝuoɥǝʞɐus

Вячеслав

профессиональный говноед

Проба оперения

Имя

Оранжевус Охуеннус

Владимир

Mika Okamoto

Смерть Неизбежна

Александр Марков

λ

18+ Запрещено для детей.

16+

Evgeny I. E. Omelchenko

Hirthwork McGillah

4DA

Алик

двапятьтривосемь+

Klayraat

Джавакка

посторонний

Тусоваться, бухаться и трахаться.

Vladislav Svitlichniy

Malyshev Artem

Оля

forever_alone
My readers (40)

Артс

Johan

King Artur VII

Mагог Магогович

профессиональный говноед

Darth Bricktop

Проба оперения

Оранжевус Охуеннус

Владимир

Вавилен Бирдов

Вона блює і співає.

hóngweìbīng

няша

16+

Джордж Ричмонд

Джавакка

Тусоваться, бухаться и трахаться.

Malyshev Artem