Apr. 6th, 2017

sspr: (Default)
Хорошо, а главное - очень близко к реальности.

Проектировщики имхо имеют нечеловеческую природу.

А всякие Юмы, Лейбницы Эразмы Роттердамские - трансляторы

http://discourse-ru.livejournal.com/76188.html

если 10% людей (писатели, учителя, проектировщики и т.д.) выстраивает иерархически-контекстуальную реальность, в которой на каждом уровне действует как сквозная, так и специфическая логика, осознано, то остальные 90% формируют ее в значительной мере бессознательно на основе врожденных и приобретенных рефлексов, определяющих восприятие и поведение человека как общественного существа, и важнейшими из оных рефлексов являются инстинкты доверия старшим и очевидцам, фундирующие возможность восприятия знания и опыта, представленных в символических структурах, о\в сферах, с которыми сам реципиент никогда не сталкивался (например человек не может быть лично знаком с людьми умершими до него или людьми из дальних краев и самими краями, если он там не был, тем более из лит.произведения, в котором большинство персонажей вымышлены автором, но которые в контексте самого произведения условно-реальны и несут какие-то актуальные звания и опыт), для создания представления о которых ему необходимо воображение и память о шаблонах, позволяющих распознавать онтологических статус элементов воспринятого (безусловно действительно, возможно дейст-но, дейст-но условно как элемент игры или романа, дейст-но в симуляторе и т.д.). Как раз с этим связана возможность обмана, когда условное или просто ложь выдают за безусловную истину
sspr: (Default)
http://banshur69.livejournal.com/434178.html

Астрология возникает в Месопотамии из астролатрии не ранее середины II тыс. То есть, это касситы.
sspr: (Default)
http://tatamo.livejournal.com/5224709.html

Что даже лучше, мы, вероятно, сможем сделать то же с меньшим количеством кода для склейки. Такой код может быть удален двумя путями: первый способ, который я уже описал, в том, чтобы генерировать его автоматически, не показывая его до явного запроса. Второй способ - иметь типы (и системы типов), выражающие больше структуры, так что, нет случайной структуры, нуждающейся в стыковке. В качестве средств, делающих это возможным, мы увидим полиморфизм на строчных переменных, неупорядоченные типы и тому подобные вещи, а также различные механизмы систем типов, делающие эти средства удобными в использовании.

Языки с нестрогой семантикой будут доминировать в новом мире, благодаря увеличению повторно используемого кода и модульности, которая характерна для "нестрогости по умолчанию". Как я уже говорил в предыдущем посте, опциональная ленивость не справляется. Как и в случае с другими упомянутыми проблемами, проблемы со строгостью по умолчанию неочевидны для большинства программистов, включая тех, кто считает себя знакомым с областью функционального программирования.

Profile

sspr: (Default)
Сергей Валентинович Паук

September 2017

S M T W T F S
      12
345 6 7 8 9
10 11 12131415 16
17181920212223
24252627282930

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 25th, 2017 07:54 am
Powered by Dreamwidth Studios