"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