Комментарии 764
Если серьёзно — задача всего компьютерного — абстрагирование и уменьшение сложности. Каждый раз, когда сложность уменьшается, мы можем сделать больше (чем раньше) всего лишь восстановив уровень сложности. А потом ещё раз его уменьшить.
… Проблема начинается в тот момент, когда нижележащий уровень перестаёт прятать сложность и оно взрывается как пружина. Обычно люди просто стараются увернуться (включить/выключить, попробовать ещё раз), а не выяснять что именно там случилось.
Когда смотришь на готовый проект (что пример, что просто хороший чужой код) и всё очевидно. Начинаешь делать что-то сам — и упираешься в дикие ограничения, при решении которых натыкаешься либо на готовые сниппеты (магия!), либо городишь дикий код.
Потом начинаешь оборачивать дикий код в магию.
Тогда я это объяснил себе это спецификой декларативных языков, но в целом это свойственно для любой сложной системы — а код сейчас действительно сложный.
Замените рельсу на SQL — ничего не изменилось.
Потому что он заявляет «вам нужно просто описать информацию о предметной области в терминах предметной области, а Пролог-система даст ответ».
Но при этом достаточно в первой же нетривиальной программе из любого учебника по Прологу поменять две строки местами (а это, как понятно, «информацию о предметной области» не меняет) — и привет: программа зациклится и упадёт, сожрав предварительно всю память.
Блеск!
Как правило первая не тривиальная задача в учебниках — это набор фактов из Библии (пролог ещё до эпохи толерантности появился, там на Библию ещё можно ссылаться). Набор фактов вида «Исаак родил Иакова» и правила вывода (два):
1. Если A родитель B, то A — предок B.
2. Если A родитель B, а B — предок C, то A — предок C.
Так вот если эти правила поменять местами, то программа «рассыплется».
Восхитительная «декларативность».
Но с точки зрения человека последовательность этих правил — неважна. Такое определение: «предок твоего папы — это твой предок… ну и твой папа — тоже твой предок» — человек поймёт.
А с точки зрения Пролога — важна. «Предок твоего папы — это твой предок… ну и твой папа — тоже твой предок» — Пролог не поймёт. Зациклится. Где декларативность?
Как человек понимает эту фразу? Он считывает, входит в цикл, пытается найти определение предка, находит его, возвращается в цикл и разрешает его.
Так ведь это то же самое. Просто в прологе тебя просят «Чтобы снизить вычислительную сложность мы на уровне языка не будем реализовывать разрешение циклов и обратный поиск определений. Поэтому, будь так добр, записывай в порядке в котором машине будет легче понимать.»
Думаю можно сделать язык который все не явные противоречия разрешает, но возможно просто не достаточно вычислительных мощностей.
И да, то, что Пролог — не декларативен неделает его бесполезным. Но я не понимаю почему его все пытаются «продавать» как декларативный язык — притом что он таким ни разу не является.
Это пример практической некоммутативности связки ИЛИ.Извините, но это бред. Эти два правила для любой пары объектов дают ровно один ответ на вопрос «является ли Исаак предком Иакова» — независимо от порядка.
Например, выбор на дороге: 1) налево — потеряешь голову, 2) направо — получишь приз. От того какой путь выбрать первым зависит как пойдут дела. :)Это называется — императи́вное программи́рование
Проблема не в нем, а в природе логики.Нет — проблема в том, что некоторые люди не умеют отличать декларативное программирование от императивного.
Пролог просто является классической подменой понятий: вначале нам объясняется, что Prolog является декларативным языком программирования, а потом — объясняется как работает Prolog-машина и оказывается, что мы должны не писать декларативное описание этой задачи, а программировать вот эту вот, вполне императивную, машину…
Декларати́вное программи́рование — это парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается, что представляет собой проблема и ожидаемый результат.
Противоположностью декларативного является императивное программирование, описывающее на том или ином уровне детализации, как решить задачу и представить результат.
Так вот спецификация — не должна превращаться в тыкву при перестановке двух строк местами. Это уже не «описание проблемы», а бог-знает что.
Можно сколько угодно рассказывать про сложности работы со спецификациями, но практически — вы либо умеете с ними работать, либо нет. Пролог — не умеет. Он умеет работать только со специцикациями заточенными под Пролог-машину и учитывающими то, что у неё «под капотом». Какая тут, нафиг, декларативность?
Какая тут, нафиг, декларативность?Ответ — ограниченная. У пролога декларативность ограничена тем что у него под капотом. Но это не делает его не декларативным, это делает его «всего лишь» бесполезным на практике.
Вы похоже склоняетесь к точке зрения оппонента, что декларативность гарантирует поиск результата. Но это так только в случае действительно 100% точного описания задачи. Порядок дизъюнктов — это один из элементов такой точности.
Пролог или какое-то его удачное расширение — это будущее программированияОн может быть и будущее, но на данный момент он все равно бесполезен на практике. Одно никак не противоречит другому.
Вы похоже склоняетесь к точке зрения оппонента, что декларативность гарантирует поиск результата.Мой комментарий был вообще не об этом. Мой комментарий был о двух вещах — о том, что пролог крайне ограничен в множестве задач на которых его можно применять и, следовательно, не помогает в решении практических задач. Но при этом он остается декларативным, ограниченность принципу декларативности не мешает насколько я понимаю. Даже математически не мешает.
Он может быть и будущее, но на данный момент он все равно бесполезен на практике.
Не могу с таким согласиться. Существует достаточно много перспективных проектов вокруг пролога. Пролог — универсальный язык и на нём можно делать всё, что, например, на питоне. Может просто нужен кто-нибудь типа Гвидо, который сделает популярный вариант пролога. Скорость работы хороших прологов на уровне языков сценариев. Мне кажется полезность-перспективность и текущая массовая популярность — это разные вещи. Мое мнение — пролог это один из самых простых и близких к естественному языков программирования. К сожалению, приходится до сих пор больше работать сo скорее с потомками фортрана. :(
Существует достаточно много перспективных проектов вокруг пролога.Только перспективных или уже реально широко используемых? Если первое, то с его возрастом это диагноз на мой взгляд. Если второе, то интересно было бы посмотреть на пример.
Понимаете, это же достаточно объективно — если инструмент полезен и достаточно стар чтобы его успели попробовать, то на нем будут что-то делать. Если инструменту много лет, о нем много кто знает, но при этом ничего практического на нем нет — значит он бесполезен.
А чего Прологу не хватает, интересно? У меня есть ощущение, что как раз декларативности: современные системы многопоточны (а GPU — так сильно многопоточны), но как раз декларативно описанные задачи параллелятся «в лёгкую», а вся семантика Пролога завязана на его однопоточную машину…
всё предельно быстро будет
Аллокатор, я надеюсь, у вас тоже не требует синхронизации между потоками? И программа работает на x84/x64/arm/aarch64 без компиляции? И векторизация инструкций тоже будет использоваться, да? И порядок инструкций поменяется на лету, ради скорости, да?
без задержек на GC
Аллокатор не фрагментарнтирует память, да? И free у Вас работает в отдельном потоке, как на Java, да?
не упадёт с OOM
Модель памяти у Вас простая, сама память не течёт, грязную память вы не используете, да?
Отличный язык для быстрого прототипирования)
А для боевого применения?
на клиентском устройстве
А отладку сможете делать на нем, если у Вас на рабочей машине другая ОС/архитектура процессора?
Если подытожить: Ваши аргументы крайне спорные. И далеко не так очевидно, что С быстрее, удобнее и т.д.
всего лишь строчку в мейфайл добавить и поставить компиляторЭто так просто не работает.
Проще 1 раз на 1 языке написать, чем писать на # под венду, java на андроид, swift на ios и js для веба. Для этого не так много языков годится.
Покажите ваш проект на си, чтобы один раз, да сразу для iOS и для веба и для винды.
Схема «пишу под десктоп — иногда поглядываю, что там на андроид» уже работает, хотя конечно под андроид отдельная обёртка и шейдеры отличаются и OpenGL ES вместо обычного OpenGL, и отдельный проект в Android Studio, но сишное ядро приложения одно.
Получается не один раз, а под каждую платформу придётся писать что-то, а переиспользуется только какая-то небольшая часть? Я вам подскажу, таким занимается куча людей из устоявшихся технологий, и пока даже просто между iOS и Android настолько большая разница, что всё чаще возникают вопросы имеют ли смысл все эти Xamarin и React Native, если приложение больше пары простых скринов.
Си как-то странно причислять к неустоявшимся технологиям, языку ~50 лет, инструментов и кейсов применения для него наработано огромное количество, множество платформ имеют официальную поддержку, есть стандарты, при соблюдении которых эта поддержка гарантирована.
Вот только использование Си для написания приложений сразу под веб и все остальные платформы — не устоявшийся кейс. Можете показать какие-то инструменты для этого, сравнимые с React Native?
Переиспользуется как раз почти всё, написание чего требовало каких-то усилий. Обёртка под андриод — уровня хэлловорлда, причём даже не написанная, а тупо позаимствованная из NDKшных примеров.
Пока вы не можете показать код — это просто слова. Я допускаю возможность каких-то частных случаев, когда это реально возможно с минимальным добавлением платформоспецифичного кода. Но вы писали о приложениях на Си под все платформы сразу.
Ну если есть деньги на N команд разработки, то почему бы и не писать под каждую платформу отдельно. У меня нет)
Я вам ещё раз повторю написанное: компании, использующие инструменты с огромным комьюнити, покрывающие гораздо более простые кейсы (iOS+Android), сомневаются в целесообразности этого. Именно с денежной точки зрения.
Зачем вам именно мой код, есть известные игровые движки Unreal Engine / Unity с большим сообществом, и некоторые другие, позволяющие собирать игры на Windows/Mac/Linux/Web/Android/iOS.
Во-первых, что под UE нужно писать на плюсах, под юнити на C# или UnityScript. Во-вторых, вы же в курсе что люди не только игры пишут, да?
В реальном мире даже просто нарисовать дизайн, который бы просто был удобен на всех платформах, это уже большая проблема. Не говоря уже о том, что он должен подходить под гайдлайны платоформ и быть привычным пользователям платформы.
.width = 320
320 чего?
Масштабируемых единиц, конечно же)
Вы же в курсе, что в браузере их не существует?
У меня приложение, и есть все нужные для него виджеты, аналоги андроидных ImageView, TextView, ListView с линейным списком и сеткой, скроббары, прогрессбар, кнопки. Всё, к чему привык на андроид, в облегченном варианте и кроссплатформенно.
Как думаете, ваше приложение пройдёт ревью в App Store?
Что на Си можно написать на движке игру и она будет работать на всех платформах? Нет, нельзя. Зато можно сделать на C# или C++.
Что можно написать на Си кроссплатформенное приложение? Нет, нельзя. Как минимум, вам придётся создавать UI на OpenGL с нуля. Чем вы и занимаетесь.
Что вы можете написать велосипед и добавлять в него платформы со временем? Ну удачи. Наберёте когда сделаете 3-4. Как раз с точки зрения финансов это просто выброшенные на ветер деньги. Только какие тут преимущества у Си?
В С++ такого нетЧего нет? Designated initializers? Поддерживаются уже лет 10 clang'ом и GCC, включены в C++20. В MSVC, да, беда — ну так там их с в C нет, ибо C99 MSVC не поддерживает.
А давайте сравним с Rust:
vec.rs:
fn main() {
let vec = vec![0; 100000000];
vec.into_iter().enumerate()
.map(|(idx, _el)| idx * 10)
.map(|x| x + 1)
.take(10)
.for_each(|x| {
println!("el = {}", x);
});
}
Компиляция:
$ rustc vec.rs -O
$ time ./vec
el = 1
el = 11
el = 21
el = 31
el = 41
el = 51
el = 61
el = 71
el = 81
el = 91
real 0m0.003s
user 0m0.003s
sys 0m0.000s
Поиграться с кодом на playground
OMG пыщ-пыщ РАСТ БЫСТРЕЕ С в 200 раз и быстрее С++ в 1200 раз!!!111
Сомнительный бенчмарк, сэр. Тем не менее, этот сомнительный бенчмарк показывает, на что способен оптимизатор Раста =)
На самом деле это было на ленивых вычислениях. Тем не менее, без ленивых вычислений:
fn main() {
let vec = vec![0; 100000000];
let vec: Vec<_> = vec.into_iter().enumerate()
.map(|(idx, _el)| idx * 10)
.map(|x| x + 1).collect();
vec.into_iter()
.take(10)
.for_each(|x| {
println!("el = {}", x);
});
}
real 0m0.281s
user 0m0.072s
sys 0m0.208s
А в C++ версии вы сделали инициализацию массива из 100000000 элементов с помощью push_back, не удивительно, что оно так тормозит. Вы-то себе пачкой выделили память.
Читайте про амортизированную стоимость.
Вся смехота заключается в том, что мы одни бенчи запускаем на одном железе, а другие на другом. Вот таблица бенчей:
ArrayListTest.c:
real 0m0.497s
user 0m0.292s
sys 0m0.205s
cpp:
int op_increase(int i) { return ++i; }
int main() {
std::vector<int> foo;
foo.reserve(100000000);
for (int i=0; i<100000000; ++i) foo.push_back(i*10);
std::transform (foo.begin(), foo.end(), foo.begin(), op_increase);
for(size_t i = 0; i<10; ++i) {
std::cout << foo[i] << std::endl;
}
}
real 0m0.254s
user 0m0.148s
sys 0m0.108s
rust (вариант выше):
fn main() {
let vec = vec![0; 100000000];
let vec: Vec<_> = vec.into_iter().enumerate()
.map(|(idx, _el)| idx * 10)
.map(|x| x + 1).collect();
vec.into_iter()
.take(10)
.for_each(|x| {
println!("el = {}", x);
});
}
real 0m0.286s
user 0m0.097s
sys 0m0.189s
rust (параллельные итераторы):
use rayon::prelude::*;
fn main() {
let vec = vec![0; 100000000];
let vec: Vec<_> = vec.into_iter().enumerate()
.map(|(idx, _el)| idx * 10)
.map(|x| x + 1).collect();
vec.into_iter()
.take(10)
.for_each(|x| {
println!("el = {}", x);
});
}
real 0m0.112s
user 0m0.302s
sys 0m0.314s
Пока что лидирует Rust =)
И это я ещё OpenMP не подключил для автопараллелизации циклов)
Только код скиньте.
довольно большой кодовой базы которая была наработана и отлажена за всё время существования языкаКодовой базы которая наработана, но не отлажена в нем также больше. Поиски работающего кода для своей конкретной задачи — отдельная проблема которая далеко не всегда проще чем собственно написание своего решения. А уж поддержка кода который написали не вы…
Вы видите здесь что-то платформоспецифичное?
Да. 9-patch это андроидовская тема.
В чём у вас измеряются все магические константы — непонятно.
С быстрее
Очевидно. Удобнее — уже очень сомнительно.
Обычно люди просто стараются увернуться (включить/выключить, попробовать ещё раз), а не выяснять что именно там случилось.
Так ещё Чарльз Беббидж говорил, что выгоднее (по времени) пересчитать заново всю ошибочную страницу, чем искать в ней ошибочные значения.
Вычитание из большого числа маленького может не приводить к изменению значения. И т.д.
Но стек абстракций уже слишком велик, чтобы кто-то мог его весь знать в подробностях.
Мы не чиним двигатель через выхлопную трубу. Мы едем на СТО и просим специалиста залезть пд капот.
задача всего компьютерного — абстрагирование и уменьшение сложности.
Иногда программисты старшего поколения, глядя на сегодняшние реалии начинают всерьез в этом сомневаться… Я вполне знавал людей, которые считали, что ассемблер гораздо ПРОЩЕ всех этих ваших «высокоуровневых» ЯП. И где-то они правы… Пока сложность собственно самого кода не выходит за определенный порог, когда без абстракция уже невозможно охватить сознанием логику решения в целом.
Но все равно — текущий уровень абстракции многих современных ЯП даже мне кажется слишком перегруженным! Ощущение такое, что уже пошли абстракции, ради абстракций, размывающие основы. Согласен во многом с автором.
Но я реально не понимаю, сколько строк кода на ассемблере нужно для того, чтобы скачать файл. tcp, DNSsec, TLS, http…
; Открыть интернет-соединение
invoke InternetOpen,user_agent,\
INTERNET_OPEN_TYPE_PRECONFIG,NULL,NULL,0
mov [hInet],eax
; Открыть FTP-соединение
invoke InternetConnect,[hInet],server,[port],login,password,\
INTERNET_SERVICE_FTP,INTERNET_FLAG_PASSIVE,0
mov [hConnection],eax
И тп…
Я вполне знавал людей, которые считали, что ассемблер гораздо ПРОЩЕ всех этих ваших «высокоуровневых» ЯП.
"Сложность" в данном случае — это не сложность инструмента, а сложность решения задач при помощи этого инструмента. Экскаватор сложнее лопаты и требует более высокой квалификации от того, кто его использует, но копать котлованы при помощи экскаватора в итоге проще. Ассемблер — лопата, ЯП ВУ — экскаватор.
Например лопатой можно делать гораздо более точные и аккуратные вещи, в быту нужна лопата, а не экскаватор, порог вхождения у лопаты… Тонкий момент — у лопаты ниже, а ассемблера — не факт… ;)
Потом опять же — лопата, она и есть лопата, а сложность современных
Львиная доля усложнения самих ЯП (я имею ввиду не банальный синтаксис, а совокупность код/ide/продукт на выходе) идет на сокрытие реальной сложности от разработчика. А многократный запас по производительности позволяет не парится из избыточностью и не рациональностью в угоду универсальности.
Это, наверное неплохо, но… Иногда мне тоже кажется, что мы пройдем какую-то точку, после которой все это превратится в магию, потому, что никто не будет знать, как оно работает!
#include <GL/glut.h>
int main()
{
glutCreateWindow(«Small program»);
glutDisplayFunc([]{});
glutMainLoop();
}
Потом опять же — лопата, она и есть лопата, а сложность современных экскаваторов ЯП уже как-то слабо коррелирует со сложностью решаемых задач! Современный Hello world запросто может потянуть на пару десятков килобайт, и примерно никто 90% тех, кто его использует НЕ ЗНАЕТ, что там в этих килобайтах!
Экскаватор тоже тянет на несколько тонн. И 90% тех, кто им управляет, не знает, что там внутри :)
Львиная доля усложнения самих ЯП (я имею ввиду не банальный синтаксис, а совокупность код/ide/продукт на выходе) идет на сокрытие реальной сложности от разработчика.
Ну так да, уменьшение сложности. В этом смысл и состоит.
Иногда мне тоже кажется, что мы пройдем какую-то точку, после которой все это превратится в магию, потому, что никто не будет знать, как оно работает!
Почему никто?
Всегда останутся люди, которые делают процессоры и компиляторы под эти процессоры. Причем это будут разные люди, и разработчики компиляторов не всегда могут понимать, что творится внутри процессора (для них он предстает в виде набора команд, регистров, Errata и еще некоторого набора знаний, но никак не в виде конкретного сочетания транзисторов, обеспечивающего то, как процессор выглядит для разработчика компиляторов).
Срочно привозят на место происшествия: стоит экскаватор, на ковше вытянутый из земли высоковольтный кабель, изоляция уже лопнула и металл блестит. Экскаваторщик сидит в сторонке белый как бумага. В результате мы траншею копали лопатами.
Очень актуальная аналогия :)
Так и мысли в голове не настоящие. Это несвязной бормотание внутри головы — это только тень от того, что происходит за пределами сознания. В каком-то смысле, сознание и есть то, что мы можем сказать. Чтобы сделать тривиальное действие, например, выделить немного слюны — мы должны очень напрячься, воображая лимон.
И этот же подход мы перенесли на программирование. Чтобы отправлять тривиальные сигналы, мы создали какие-то абстракции, которые нашему сознанию более близки, которые проще вообразить. Мы, условно говоря, мыслим «лимонами», а наше тело и компьютер управляется условным электричеством. И наши ЯПы — тем для нас лучше, чем они ближе к «лимонам». А что они там под капотом делают — дело уже давно десятое. И в принципе, оно хорошо. Если завтра у нас компьютеры будут основаны на других принципах, то нам достаточно будет переписать наши интерпретаторы лимонов в это новое и оно будет как-то там работать. Это тоже контроль. Но другого типа.
Однако есть, условно, наука, а есть наукообразность. Есть области, где просто нельзя без усложнений, а есть люди крайне витиевато и сложно выражающие ЛЮБУЮ мысль — даже ту, которую можно донести трехлетнему ребенку десятком простых слов.
Есть канцеляризмы, есть сленг, арго и тп.
Вот и не понятно где усложнения были необходимы, а где кого-то просто перло от нагромождения абстракций!
А если серьёзно, то проблема построения абстракций над абстракциями (и так до бесконечности) очень-очень серьёзная. Хорошо, если хоть четверть веб-разработчиков знают и понимают, что под капотом у V8, сишарперы — у IL. И как только мы встречаемся с проблемой уровня ниже нашего предела понимания этих абстракций, мы бессильны.
Ещё Азимов в своей книжке "Основание" описал, а Артур Кларк сказал, что любая достаточно развитая технология неотличима от магии. А разве мы можем понять магию? Нет. Не можем. Значит рано или поздно, при появлении таких технологий, мы будем жить в мире компьютерной магии, и ни один человек не будет ей управлять.
А теперь представьте, если магия перестанет работать. Что будет? Полная разруха...
P.S. Машу табличкой «сарказм». Ссылка на рассказ Гарри Гаррисона.
Как жаль, с одной стороны, что нет инопланетян, и никакое НЛО не починит… Но с другой стороны, хорошо, что никто не может нас шантажировать в плане контроля и починки этой "магии".
Сколько мест в мире где скажем жесткие диски делают или еще чего там более продвинутого? А если их 1-2 таких мест на весь мир останется, глобализация экономики это же диктует, а потом какой локальный кабздец на это место свалится типа эпидемии или военного конфликта. Т.ч. специфичность условий тут скорее в локализации технологий, а не сами условия, о чем мне думается предыдущий оратор и говорил.
Сколько мест в мире где скажем жесткие диски делают или еще чего там более продвинутого?Жёсткие диски ладно. А вот сканеры для литографии — это штучная работа и всего три фирмы: ASML и Canon и Nikon их делают (вернее практически ASML только делает, Canon/Nikon всё грозятся победить EUV, но пока поставок нет).
Вы знаете, мне иногда кажется, что в современном мире достаточно уничтожить 15-20 тысяч человек, чтобы цивилизация встала в своём развитии. Пугает…
американцы вон уже список в санкциях начали заполнять=)) осталось ещё сотню таких составить, и заживём
Предположим некоторые рептилоиды с помощью наноботов взяли и уничтожили весь интел и амд. Ну и производственные их мощности заодно и складские запасы, так уж, чтобы наверняка. Что произойдёт?
Ну экономику поколбасит, да. Цены полезут вверх на железо как на дрожжах, стартапов поуменьшится.
Но
1) останутся сотни мелких производителей
2) Новые процессоры х86 выпустят в течение двух, максимум пяти лет
3) технологии на фабах откатятся ну скажем на десять лет назад
4) станут востребованны более быстрые стеки ПО
В целом эффект на прогресс это окажет не очень сильный.
возмут люди книжки и начнут изучать с азов, через пару лет появится группа специалистов которая будет востанавливать технологию…
СССРовсский x86 собственной разработки был или все же в основе интел лежал?
И сколько мелких производителей имеют культуру разработки и как изделий так и технологий, они уже всем готовым скорее пользуются чем собственное разрабатывают.
Так же, как и пресловутый Ту-4.
Это Вы зря. Эта машина — самый настоящий реверс-инжиниринг.
Из чего не следует, что ничего своего создать не могут. В конце-концов и Ан-225 и E2K существуют и точно не являются копиями западных аналогов.
Кто то же эту «магию» должен поддерживать на всех уровнях )
Просто это будет совсем другой уровень. Сейчас уже есть неплохой разрыв между теми кто пишет ядро технологии и тех, кто ими пользуется ) Со временем он просто будет расти или количество слоёв будет увеличиваться.
Да, разрыв будет увеличиваться. И да, будут люди, поддерживающие всё это. Но рано или поздно это кончится. Либо это будет как в "Матрице", когда машины вытеснили людей и заставляют их жить по своим правилам, либо это будет, как тот случай с криптовалютной биржей и холодным кошельком, владелец которого умер.
Это всё к чему. Если (ну вдруг) происходит форс-мажор и людей-"богов" (продолжая образ магии = технологии), которые держали всё на своих двоих, не станет, то мы приедем в тупик цивилизации. Как только мы забудем, если отвлечься от темы технологий, рецепт Кока-Колы, которую знают единицы, то мы никогда не сможем её воспроизвести, лишь пользоваться уже настроенным оборудованием, пока его не придется заменить и забыть программу производства. Так и здесь, не стань пары ключевых людей в Intel, и архитектура процессора для нас — тайна. Тайна, правду о которой мы никогда не узнаем.
Но рано или поздно это кончится.Совсем не факт. Помимо людей, которые сейчас эту магию умеют есть масса учебных курсов. Из-за роста количества людей которым эту магию нужно чинить — людей владеющих магией тоже становится больше (количественно, не в процентах). Как они могут все внезапно куда-то деться, да еще и всю литературу по теме прихватить — непонятно совершенно. Разве что апокалипсис случится, но там проблемы побольше будут чем непонимание что там под капотом у V8.
Делается некая система, в нее вкладываются квалификация, знания и умения людей — чтобы делала все это за них. Потом люди уходят, оказавшись ненужными или потеряв интерес.
И через несколько лет имеем черный ящик, про который не только никто не знает, как он работает, но и никто не знает, что именно от ящика ожидается. Т.е. когда на постукивание в левом верхнем углу ящик выплевывает комок зеленых соплей — никто не может сказать, «это так и задумано и сделано для того-то и того-то крайнего случая», или «ящик сломался».
Ну хорошо, про «так и задумано» иногда сказать можно — на этот счет тест есть. А вот для чего оно так — это задокументировать забыли. Тут вот чуть выше про управление знаниями вспомнили. Но речь как раз про то и идет, что на самом деле этого самого управления практически никогда нет.
Апокалипсиса не надо. Оно встречается постоянноИ что — постоянно случаются катастрофы? Вроде бы нет, человечество как жило так и живет. Я к тому, что либо то, что вы описываете — апокалипсис и его скорее всего не случится, либо это достаточно незначительные события не играющие большой роли. Зависит от того, какой смысл вы вкладываете в слово «это».
Ну забросили в какой-то компании самодельную систему, ну и что? Да, компания что-то теряет из-за невозможности модификации и вынуждена будет потратить сколько-то денег на либо переделывание, либо покупку готового. Но это штатная ситуация, ничего страшного не произошло. Да, какие-то более глобальные решения забрасываются и есть люди которые остаются с магией. Но и это не происходит в один день и без появления альтернатив зачастую. Популярное решение не умрет если пропадет единственный его разработчик, потому что он не будет единственным. Ну а в таком случае те, кто остался на умершей системе в общем-то сами виноваты, могли бы и озаботится миграцией на что-то живое.
И через несколько лет имеем черный ящик, про который не только никто не знает, как он работает, но и никто не знает, что именно от ящика ожидается. Т.е. когда на постукивание в левом верхнем углу ящик выплевывает комок зеленых соплей — никто не может сказать, «это так и задумано и сделано для того-то и того-то крайнего случая», или «ящик сломался».
Это вы сейчас прям точно в саму природу человека и попали. Сколько тайн хранит не изученный потенциал человеческого мозга. Сколько интересных исследований я вчера почитал по раздвоению личности, после просмотра фильма «стекло». А не потеряли ли мы инструкцию к самим себе. И не это ли хотели нам сказать все предыдущие пророки. Но в силу скудности ума, мы так и не научились читать и слушать. И каждый народ интерпретировал или перевёл это на свой лад.
Вы скажете — а зачем это надо? Ну, к примеру, возобновление производства оружейного плутония. Там всё задокументированно и понятно, для химика, получившего образование в 40-х годах прошлого века. У современного специалиста, фраза " довести концентрацию вещества до 7" вызовет немой вопрос в глазах. Потому что кардинально поменялись методы анализа веществ.
Или совсем простой пример, лет 10 назад надо было слегка модернизировать крупный нефтеперерабатывающий завод в США. Есть некая документация, живы люди, которые её разрабатывали, и методы перегонки вроде не поменялись, вот только реальная схема завода СОВСЕМ не соответствует чертежам. И зачем так было сделано — никто не помнит. Причём видно, что сначала делали по чертежам, а потом переделывали. Результат — небольшая модернизация вылилась в полную перестройку, «с нуля».
Так что это дело не будущего, а настоящего. Мы уже не понимаем что, и почему именно так, делали наши родители.
И управление знаниями не панацея. Бумажная документация — считайте что её нет. Как показывает опыт, она не полная и перепутана. Да и выкидывают её с большим удовольствием. Особенно при банкротстве\ поглощении. Найти что либо в бумажных архивах можно при большой доле везения. Как с нефтеперегонным заводом. Понятно что была документация на все переделки. Вполне вероятно что она даже сохранилась. Вот только ГДЕ?
Так что это дело не будущего, а настоящего. Мы уже не понимаем что, и почему именно так, делали наши родители.Так а нам и не надо. Частный случай провала планирования не в счет — это провал планирования модернизации, а не необходимость восстановления никому больше не нужных тех процессов.
И возникает вопрос — если двигатель С ТАКИМИ ПАРАМЕТРАМИ был (сам двигатель в музее стоит) то почему его не использовали потом и не могут воссоздать сейчас?
если двигатель С ТАКИМИ ПАРАМЕТРАМИ был (сам двигатель в музее стоит) то почему его не использовали потомНе использовали потому, что по другим характеристикам не устраивал. В частности отношение тяги к весу лучше и у двигаталей, на которых Союз летает и у пресловутого Falcon-9.
А максимальная мощность одной камеры нужна только на очень тяжёлых ракетах и то не факт, что будет выигрыш: с учётом того, сколько ракете нужно везти топлива небольшой выигрыш по отношению «тяга к массе» может быть легко скомпенсирован проигрышем в экономичности…
Но вообще все эти самые-самые достижения «теряются» обычно потому, что ну очень дорого это: делать самую большую ракету, самый большой самолёт, самый большой экскаватор и прочее. Потому когда, через много лет, снова появляются потребности и деньги — всё с нуля приходится изобретать…
И возникает вопрос — если двигатель С ТАКИМИ ПАРАМЕТРАМИ был (сам двигатель в музее стоит) то почему его не использовали потом и не могут воссоздать сейчас?Потому что это не единственные его параметры. Есть еще цена и технологический стек у производителя как минимум. И с включением этих параметров создавать точно такой же двигатель не имеет смысла. А еще есть цель, то есть ее как раз нет. Такой же двигатель банально никому не нужен. Вообще спасибо, это прекрасная каноничная иллюстрация того о чем я говорю — появилась необходимость и сделали лучше на современных технологиях. Да, если бы этот двигатель модернизировали непрерывно с момента его создания, то сейчас не приишлось бы тратить столько времени на создание современного аналога. Но это просто вопрос цены — что нам жалко больше ресурсы на модернизацию того, что не нужно или время на создание более совершенного аналога когда таки станет нужно.
Они умерли потому что есть что-то более современное, что пришло им на заменуПричина не в этом. В случае с СССР после прекращения его существования, было до 800 технологий утрачено. Я не уверен в точности цифры. Но в официальном видео от РосАтома (или кто там главный у нас по реакторам) после развала с трудом нашли человека способного запустить какой-то тип ядерного реактора, и это у государства которое является одним из лидеров в ядерной энергетике. Знания размываются, связующие знания теряются. С ТУ-160 та же история, чуть не проимели титановую сварку в вакууме, но вроде нашлись знатоки. Что-то более современное иногда не приходит.
Что-то более современное иногда не приходит.Другие страны же это как-то делают. В РФ не так уж много технологий нужных кому-то еще и которых ни у кого больше нет. Ну может кроме военки, но я тут не силен. Или я ошибаюсь и весь мир страдает без титановой сварки в вакууме?
По поводу страданий всего мира без титановой сварки, я не в курсе.Ну то есть было не очень корректно на примере этого случая говорить что «Что-то более современное иногда не приходит.», так как вы просто не знаете пришло ли или нет. Конкретно в РФ — нет, потому что дешевле было не потерять технологию. Где-то еще — может быть и пришло. Либо где-то еще эта технология и не терялась даже. Я не говорю что вывод неверен, я тольо говорю что для такого вывода у вас не достаточно оснований. Он при этом вполне может быть и верен.
Потому называть процесс, из которого исключено что-то что в нём имеется и в нём это что-то случается — «естественным процессом» у меня не получается.Не надо смешивать катаклизм — гигантское изменение, катастрофу, с несчастным случаем — плохим, но в целом достаточно рядовым событием, как по эффекту, так и по частоте. Я из естественного процесса исключил только катастрофы. В данном случае — развал сверхдержавы. Можно поговорить о том, где провести границу, но в большинстве случаев это достаточно очевидно. Старый завод который забыл обновиться и у него что-то сломалось — несчастный случай. Развал сверхдержавы — катаклизм.
Ну, к примеру, возобновление производства оружейного плутония.
это вы сейчас так хитро тендер в хабр впихнули? или кто та там на верху забыл как плутоний обогащать=)) headhunter не
Это образно говоря. Но вполне возможно наткнутся на измерения уникальными приборами, с записью результатов в единицах шкал этих приборов. Или реакции которые тогда шли, а сейчас не идут, потому что степень очистки вещества поменялась, а примеси работали как катализаторы.
Невозможно сделать это ДЁШЕВО. Если это будет вопрос выживания — воспроизведут. Дорого, за десять тысяч человеко-лет, скажем, но воспроизведут. Да и пример ваш не очень — КНДР, вон, справилась с плутонием.
Пример с нефтезаводом тоже не очень. Построили же! Ну с нуля, но построили. Вот, скажем, в 18 веке не построили бы, вот никак, что с документацией, что без, потому что знаний в культуре не было, и весь завод был непонятная магия.
Здесь понимание магии как таковой не в том, что она для кого-то — фантастика, а для кого-то — реальность, а в том, что никто её не может объяснить толком. Вот лично я, разбираясь в достаточно простой (на первый взгляд) технологии — техниках рендеринга 3д игр, увяз в тоннах деталей, потонул как раз в той самой "магии" не потому, что это эпоха такая, или я плохой, а потому лишь, что тысячи последовательно возникавших идей создали многоуровневую сложность, пониманием (имею ввиду виду простоту и лёгкость осознания, Simple is better than complex — Python Zen) которой часто жертвуют ради других целей: эффективности, красочности и так далее.
Всё это приводит к тому, что если раньше, будучи энтузиастом, можно было легко покорять геймдев с минимальными знаниями, то сейчас есть шанс вообще не постигнуть этот дар богов.
Здесь понимание магии как таковой не в том, что она для кого-то — фантастика, а для кого-то — реальность, а в том, что никто её не может объяснить толком. Вот лично я, разбираясь в достаточно простой (на первый взгляд) технологии — техниках рендеринга 3д игр, увяз в тоннах деталей, потонул как раз в той самой «магии» не потому, что это эпоха такая, или я плохой, а потому лишь, что тысячи последовательно возникавших идей создали многоуровневую сложность, пониманием (имею ввиду виду простоту и лёгкость осознания, Simple is better than complex — Python Zen) которой часто жертвуют ради других целей: эффективности, красочности и так далее.С магией точно так же. Просто многое утрачено. инквизиций, церкви. Сколько литературы созжено. Люди боятся того что не понимают.
Всё это приводит к тому, что если раньше, будучи энтузиастом, можно было легко покорять геймдев с минимальными знаниями, то сейчас есть шанс вообще не постигнуть этот дар богов.
Техпроцесс основан на самопознаний, на силе разума и чем та там еще. Типа человек может контроливать на атомном уровне силой мысли.
если хоть четверть веб-разработчиков знают и понимают, что под капотом у V8
Если много знать о внутренностях V8, то и код получится заточенный под Google Chrome, а пользователи Firefox расстроятся. Поэтому лучше опираться на стандарт языка, а не на конкретную реализацию.
А тут вы идёте к мебельщику и начинается: нам нужно чтобы та штука, которая делает штуки, когда выполняет делание штуки делала другое делание делания штуки, которая штуку делает, а потом у неё есть функция контейнирования и она реаллоцируема.
Во во. В слове "тумбочка" на самом деле скрыт десяток лет воспитания и взросления человека, причем в определенном обществе. Ибо ваша тумбочка и тумбочка соседа таки может очень сильно отличаться :)
В данном случае само слово это всего лишь указатель на место объекта в памяти. А сам объект это дикая абстракция над абстракцией. И все еще неизвестно, где же в нашей голове предел сложности и финальные элементы декомпозиции "тумбочки".
Ок: тумбочка->спальня/гостиная/кабинет->комната->помещение->дом/завод/соц.объект->сооружение
И таки да, при задаче «нам надо спроектировать сооружение» — вероятность учета уместности тумбочки будет под вопросом.
Однако когда стоит задача "комната" — уже можно дать условные 90%, что все будет совместимо с любой условной тумбочкой.
Чем больше слоев абстракций, тем больше неопределенность в структуре нижних слоев.
Однако человечество справляется. По крайней мере на текущий момент.
UPD: Вспоминаю Sims — там как раз можно «пилить модулями-комнатами» (с тумбочками разумеется).
UPD №2: Смотрю на свою платформу для тестирования — у неё, как и любого сложного продукта есть много слоев абстракций.
На верхнем я просто пишу (утрирую конечно):
— система, вкл.
— система, авторизация
— система, проверить компонент Z
— система, проверить компонент F
— система, проверить компонент H
— система, выкл
Но под капотом,… разнокалиберные сервисы, динамическая балансировка нагрузки, автоматическое выявление неполадок (ага, тулл для тестирования сам себя тоже проверяет), их устранение (узкий спектр, но тем не менее), гибкое конфигурирование (частично на лету, самостоятельное). Система за собой даже тестовую среду может подчистить (убирать за собой, для возможности протестировать «продакшн»).
Т.е. в недрах крутится просто адская сущность, в которой без бутылки порой и не разберешься — блок-схемы в компе (или на бумаге) обязательны для возможности удержать в голове общую структуру.
Но это весьма надежная молотилка.
И все это управляет еще одним набором пластов абстракций, заключенных в webDriver.
выбрал PHP — слил жизнь в унитаз. Выбрал Go — стал тупицей.
Выбрал .net — не спишь по ночам, пытаясь восстановить связь с реальностью.
Шутка. Интересная публикация (y)
Кому нужен максимальный контроль — на asm.
Единственная полу-успешная попытка явно перестать отвечать за код умерла с архитектурой Intanium :)
А абстракции… То, что делают команды людей слишком сложно, чтоб обходиться без них — попробуйте себе представить, что происходит в каком-нибудь современном лайнере целиком или хотя бы в процессоре — в деталях и без абстракций?
Только машинные команды тоже жонглируются внутри процессора.
Выполнение 8086 команд это тоже абстракция с целью совместимости.
Даже на си и асме мы не знаем что же там внутри творится. Исключая разве некоторых непосредственных работников амд и интела
А теперь начинаем ме-е-едленно подниматься наверх. Свой ассемблер. Свой компилятор, который переставляет команды для оптимизации загрузки функциональных устройство стрррого по заданному алгоритму. Линукс порт. Busybox. Едва-едва дышащие (на тысячедолларовой FPGA) vi и mc. Текстовый браузер. И запоздалое понимание: на кой черт я безвозвратно потратил десять лет жизни — чтобы убедиться в том, что я точно понимаю, что под капотом?
Откуда вы такие беретесь? В Стандарте нет ни слова про debug/release, UB есть UB.
Достаточно вспомнить быстрый обратный квадратный корень Кармака и Silicon Graphics, который явно использовал трюк, который является UB, но как раз-таки из-за того, что автор хорошо понимал, каким оно получится на низком уровне в конкретном случае, оно работает.Тот трюк вызывал UB не из-за «непонимания чего-то на низком уровне», а тупо из-за каламбура типизации. Меняете его на bit_cast — и всё, никакого UB.
PS только сейчас подумал, что Глушковская ОГАС сейчас занимает 1 серверную стойку и стоит в каждом приличном банке, как минимум — 1.
Кому нужен много контроля и низкий уровень — пишут на С.
Кому нужен максимальный контроль — на asm.
<сарказм>… а кому нужно ещё больше контроля, пишут на Scala.</сарказм> Я, конечно, понимаю, что это просто DSL, но забавно всё-таки, что функциональный язык оказался в чём-то ближе к железу, чем asm (да, я знаю, что можно "писать процессоры" хоть на Python).
Или думаешь что команды выполняются в таком порядке, а на самом деле процессор выполнил их в другом.
Или думаешь что загрузил данные в конкретный регистр, а их там целый пул.
Уже давно asm это просто внешний интерфейс.
И чем абстрактнее становится язык, тем сильнее из твоего мышления вымывается его реальное назначение — контролировать электричество в железе. Все эти картинки у тебя на мониторе, циферки, библиотеки, анимации — они не настоящие. Настоящее только электричество. Только железо. Я не готов потерять над ним контроль.
Можно подумать у вас когда-то был этот контроль. Мне кажется, случай со specte должен был отлично показать, что вы не контролируете железо.
… До индикаторов был осцилограф, который точечками биты показывал.
www.youtube.com/watch?v=nc2q4OOK6K8
В 50х еще даже мои родители не родились. Я боюсь, что автор поста, скорее всего, тоже.
Я тоже из того времени и начинал писать на Урал-1, где все переменные должны были быть от -1 до 1, а в системе команд не было циклов и переходов с возвратом(вызов подпрограмм). Пришлось пройти весь путь от машинных команд через Алгамс, Кобол, PL/1, C, C++, Java к C#, WPF со множественными ответвлениями в разные стороны.
И ЯП не главное. Кроме языков есть методологии и технологии: модульность, структурное программирование, HIPO, Варнье, Джексон, ООП и др.
Пройденный путь помогает понять — почему и куда движется программирование.
3-4 слова в день — конечно перебор.
Есть БЭСМ -1, у которого всего ничего памяти, поэтому — программирование в машинных словах:
Которые да, руками забивались в машинку с 486 процессором и затем успешно исполнялись.
И полный цикл разработки-внедрения какого-нибудь метода Сименса занимал две сдвоенные пары.
А вот дебаг, это да, страшно было.
выбрал PHP — слил жизнь в унитаз. Выбрал Go — стал тупицей
Доктор, а если я выбрал HDL, я ещё не совсем безнадёжен?
1. Потеря контроля из-за делегирования и абстрагирования — основа человеческой цивилизации. Думаете, проектировщик корпуса нового спортивного автомобиля понимает, как работает его двигатель? Или всю глубину математического аппарата под моделированием аэродинамических характеристик? Думаете, врач знает, как работает МРТ, на основе которого он ставит диагнозы, определяющие чью-то жизнь? Мы все миримся с этим, потому что другого способа реализовывать сложные вещи и процессы у нас нет.
2. Увеличение толщины слоя абстракций в ЯП, как мне кажется, сильно преувеличено. Да поправят меня люди, чей опыт побольше моего и исчисляется десятилетиями, но по моим ощущениям за последние пару-тройку десятков лет толщина этого самого слоя не так чтобы особо выросла. Языки стали более зрелыми, да, инструменты стали более мощными. Но концептуально изменилось немного. Изучая устройство V8 я часто обнаруживал, что многие его ключевые фичи изобретены в 60-x – 80-x авторами какого-нибудь Lisp или Self. Выше упомянули Spectre — так и спекулятивному выполнению уже лет 30 как.
Но финальная идея, что язык значительно определяет сознание верная. Выход на мой взгляд простой — стараться изучать концепции, а не языки, смотреть шире. Тогда ставка на «неправильный» язык не будет критична.
- Увеличение толщины слоя абстракций в ЯП, как мне кажется, сильно преувеличено. Да поправят меня люди, чей опыт побольше моего и исчисляется десятилетиями, но по моим ощущениям за последние пару-тройку десятков лет толщина этого самого слоя не так чтобы особо выросла. Языки стали более зрелыми, да, инструменты стали более мощными. Но концептуально изменилось немного. Изучая устройство V8 я часто обнаруживал, что многие его ключевые фичи изобретены в 60-x – 80-x авторами какого-нибудь Lisp или Self. Выше упомянули Spectre — так и спекулятивному выполнению уже лет 30 как.
Самая большая победа, кмк, это реальная независимость от железа. Истории из 80-х полны рассказов о том, что как программы работали только на определенных видах процов, дисков, памяти и так далее. На данный момент банальное веб-приложение на python запускается почти везде.
Самая большая победа, кмк, это реальная независимость от железа. Истории из 80-х полны рассказов о том, что как программы работали только на определенных видах процов, дисков, памяти и так далее. На данный момент банальное веб-приложение на python запускается почти везде.Полностью согласен. Но не думаю, что это вопрос того, что тупо наклепали абстракций. Просто инструменты стали совершеннее.
Даже древнебородатый (не в обиду) C++ сегодня достаточно неплохо переносится между платформами. Понятно, что с перекомпиляцией; понятно, что нужно учитывать ряд ограничений (иначе и никак). Но тем не менее вы вполне можете писать кросс-платформенный код на С++ — имея при этом те самые «zero-cost abstractions».
Так с++ собирается под разные платформы, а пайтон и джаваскрипт запускаются на разных платформах.
вот такая вот «кросс-платформенность»…
А вот C#/Java (в меньшей степени Python/JS) — как раз ради этого и созданы: вам не нужно думать на каком CPU ваша программа запускается — если она работает у вас на десктопе, то и на телефоне запустится… разумеется такой подход ограничивается количество доступных платформ гораздо сильнее: вы не можете (как в C/C++) сказать «если ваша платформа это умеет — то и отлично, а если нет — то ошибка компиляции» и потом обложить это место #ifdef'ами. Вам нужно выбрать некоторое множество фич и обеспечить их работу на всех платформах…
Я это все к тому, что вместо стандартизации, мы продолжаем решать проблему не на той стороне, добавляя ненужные абстракции.
Мне кажется, что никогда такого не будет, потому что слишком много разных кейсов и для них нужны слишком разные стандарты. Даже тот же "стандартизированный" sql не очень то стандартизирован. Да что там, даже tcp/ip стек в каждом месте имеет свои приколы.
И чем абстрактнее становится язык, тем сильнее из твоего мышления вымывается его реальное назначение — контролировать электричество в железе.
Не-а. Реальное назначение — это решение задачи. Например, «показать пользователю иконку состояния ВПН соединения». Это — задача, а не манипуляция отдельными пикселями на экране. И если ты можешь решить эту задачу проще, то и чудно.
Всего-то количество пикселей увеличилось больше чем на порядок и утилита для просмотра картинок не стоит теперь 150 долларов как acdsee тогда. Если сейчас юзеоа за ту же делфи попросить тогдашнюю цену в несколько тысяч уе при тех зарплатах то современный софт и условия его использования покажутся раем.
Современный человек не задумывается, откуда у него на столе хлеб, в кране — вода, а на экране — сериальчики.
Безусловно, такой человек вряд ли самостоятельно сможет изготовить хлеб «с нуля».
Должен ли он знать, как это делается — наверно, да. Должен ли он сам это делать — наверно, нет.
Я точно ощущаю, что возможность решать задачи высокого порядка, не задумываясь о задачах порядков низких — это прекрасно и это в действительности ведет к прогрессу.
В реальности контроллировать электричество в железе никому не нужно
На самом деле это очень даже нужно.
Другой вопрос, что это нужно точно не программисту.
А нужно оно тому, кто это железо создает и порождает первые уровни абстракции — элементы логики для электрических схем (транзисторы, конденсаторы...), элементы более высокого уровня (ячейки памяти, триггеры...), элементы еще более высокого уровня (блок памяти, АЛУ...) и так до процессора.
Дальше программисты первого уровня абстракции уровня процессора (машинные команды) прячут под абстракции уровня компилятора (язык программирования), над которыми наворачивается стандартная библиотека, над которой наворачиваются фреймворки и так далее до абстракции уровня пользовательского интерфейса — кнопки, поля ввода.
Короче говоря, чтобы программисту было чем заняться, а у пользователя была кнопка в интерфейсе, которую он сможет нажать, нужны люди, которым приходится контролировать электричество в железе.
Я за то, что пользователи этого железа (а бытовые разработчики железо именно используют,
а не разрабатывают) не контроллируют электричество в железе. Оно на уровне абстрактных вещей формулирует другие, более высокоабстрактные вещи. И так далее. Все это в конечном итоге для того, чтобы кто-то смог действиями на экране заказать пиццу или посмотреть кино.
И это прекрасно — я вместо того, чтобы тратить время на приготовление пиццы, займусь теми вещами, которые умею делать. А пиццу пусть приготовят те, кому это выгоднее делать.
и это в действительности ведет к прогрессуПроблема только в том, что это прогресс для программиста, не для пользователя. Для пользователя, как уже здесь писали, с 90-2000х мало что принципиально поменялось. Да, кое-что стало слегка красивее. Но те же операционки с приблизительно XP для пользователя почти не поменялись. Браузеры тоже. Да, они стали обрабатывать огромные страницы по несколько мегабайт, но чем гмейл из двухтысячных хуже современного? дизайн слегка поменялся, он стал весить раз в 10 больше. по возможностям на фронтэнде всё примерно то же.
А персональные компьютеры обзавелись, например, поддержкой HDR и Hairworks. Процессор позволяет моделировать сложнейшие модели на ноутбуках в килограмм весом. Хорошую звуковую карту для проигрывания HI FI музыки можно уже не покупать — это все давно встроено в наушники.
Само собой, если не запускать ничего сложнее почтового клиента, блокнота, консоли и третьих героев, можно все это не заметить.
Но утверждать, что ничего не изменилось…
Мобильником примерно таким, как я пользуюсь сейчас (Samsung J1 16), я пользовался уже 10+ лет назад (Motorola A925).
по софту — вымирание любительской фототехники как класса (мобильник с ии фильтрами на борту), полноценные мобильные клиенты для соцсетей (покажите мне приложение с возможностями мобильного вКонтакте 10 лет назад), невероятно интуитивное и удобное яндекс такси, голосовое распознавание команд в мобильнике с набором текста — тоже было 10 лет назад?
Так что думаю, не придёт уровень «сделай вот такую хрень», потому как обязательно потребуется «сделай почти такую же хрень, но с перламутровыми пуговицами». И если разработчик абстракции не предусмотрел такой возможности, то целиком вся абстракция оказывается непригодной и придётся спускаться на уровень ниже.
Рад встретить человека, который общался с этим языком.
По поводу «через какое то время» — всё станет очень просто:
1. Сначала абстракция достигнет возможности не особо подготовленных пользователей писать «программы» — последовательности действий. Программа! Возьми рубли, преврати их в доллары и просуммируй за 100 лет по каждому клиенту. Или — подсоединись к Вконтакте и слей туда все мои фото по АПИ.
Программа ещё будет иметь достаточно много ограничений, но она будет уметь описывать в каких допустимых формах пользователь может ей сказать что хочет.
2. Пользователь сможет говорить своим языком в какой последовательности что и как надо сделать. Программа! Возьми вон тот столбец со значком Р и посчитай оборот за последний век.
3. Пользователь будет указывать что ему надо — программа сама построит алгоритм выполнения. Программа! Посчитай обороты для моего отчёта!
т.е. в итоге мы должны прийти (и придём) к тому, что бы машина понимала человека. Простого, неподготовленного человека. Именно к этому и ведёт увеличение уровня абстракций ЯП на мой взгляд и это неплохо.
другое дело, во что превратиться общество после такого перехода, как поддерживать такой «компилятор», что станет с легаси и АйТи итп-итп… но это совсем другая история.
Пока программист это часть компилятора по превращению желания заказчика в машинный код. Такие же как аналитик, компьютер, фреймворк, компилятор и все остальные уровни интерпретации данных поступивших от первого члена цепочки до последнего огонька на экране, показывающего то, что ему надо. И профдеформация у нас соответствующая части компилятора )
Не стоит бояться. Мы на стороне добра ) Системное мышление (чем бы оно нибыло развито) — это, на мой взгляд, уже само по себе очень хорошо.
… но наши дети точно будут уже совсем другими.
«Язык определяет сознание». (и к этому, до кучи, ещё фильм «Прибытие»).Если изучать языкознание не по фильмам, то внезапно всё оказывается совсем не так.
Вот тут лингвист кратко, но достаточно понятно разъясняет этот вопрос
Простого, неподготовленного человека.
Как показывает практика, простой, неподготовленный человек не умеет делать то, что вы описали в п. 1-3.
Думал, что ну вот теперь-то точно программирование станет доступным всем, но подумал и согласен с комментатором выше — здесь всё ещё есть декомпозиция задачи, а обычному человеку легче сказать «сделай мне Space Invaders», чем разобраться из чего состоит игра, чтобы командовать компьютеру «создай пулялку, создай пулю, назначь перемещение пулялки на стрелки, назначь перемещение пульки верх при нажатии стрелки верх и пусть она остановится на расстоянии в N пикселей...»
Так что похоже, что реально понадобится какой-нибудь ИИ или хотя бы нейросеть для типичных задач, а пока программисты будут требоваться.
Лично у меня (носителя русского языка с рождения), фраза «случилась херня» не вызывает ощущения что «херня виновата»; может, я как-то неправильно её понимаю?..
Вариант «lo paso» — оно произошло. И, например, «las llaves se calleron» — ключи уронились, типо сами.
Что же касаются потерю связи с реальностью, то на уровне обывателей всё гораздо хуже, чем у программистов. Если в 90-е годы дети понимали в компьютерах лучше, чем многие учителя информатики, сейчас, они умеют нажимать две кнопки на планшете, не знают ни что такое файл, ни директория, ни оперативная память.
Если в 90-е годы дети понимали в компьютерах лучше, чем многие учителя информатики, сейчас, они умеют нажимать две кнопки на планшете, не знают ни что такое файл, ни директория, ни оперативная память.
И этого достаточно. Компьютерами в 90е было просто невозможно нормально пользоваться, не зная этих вещей.
А сейчас как будто возможно? Именно "нормально пользоваться", а не "тупо следовать прописанным шаблонам и материться на тормоза".
1) В чем принципиальное различие прописанных шаблонов тогда и сейчас? В том, что сегодняшние не протекают и нарушать их требуется один раз на тысячу?
2) Что произойдет, если всё же перестать тупо следовать прописанным шаблонам? Тормоза исчезнут?
Реальна волновая функция. До этого "электричества", которое хочет контролировать автор, ещё пара слоев абстракций. И между электричеством и процессорной командой — ещё парочка.
Реальность не познаваема в принципе, люди строят модели реальности и работают с ними. У моделей есть ограничение по сложности (есть максимум, который можно понять).
Хочешь всегда работать на уровне машинных инструкций? Вотсап не сделаешь, потому что сложность будет неподъемная. Каждый слой абстракции нужен для упрощения. Работаешь с интерфейсом, а что под капотом — не смотришь, кроме самых важных случаев.
Один из законов Мэрфи.
В абстрактном мире — да. В реальном разработка будет дольше. Настолько дольше, что результатов дождаться не получится.
результат надежным, а программа удобной
Хотите пролезть по формальным критериям — раз смогло отправить сообщение, значит мессенджер? Ну так именно поэтому я и не говорил про условный мессенджер, способный только отправить сообщение в лабораторных условиях. Я говорил про функционал Вотсапа.
на ассемблере полно доступных библиотек
И вот уже у вас сразу предложение использовать абстракции. Об этом и речь — без них никак :).
И это еще большой вопрос, реальна ли волновая функция, или попозже найдутся другие или каким-то способом уточнённые модели.
В общем-то если глянуть достаточно глубоко в любую часть окружающего мира, то слово "реально" вообще как-то начинает немного ускользать.
Реальна волновая функция.
А мне показалось, что она на таком высоком уровне абстракции, что Реактам на Электроне и не приснится.
Так вот ты какой, смысл жизни!
Я проговорил на русском четверть века каждый день — и теперь физически не верю в случайности. Или верю, что мужчины важнее женщин, потому что весь язык завязан на мужском роде. Мою статью перевели на английский, в комменты пришли американцы с просьбами заменить местоимения на гендерно-нейтральные — и я не знаю, что делать со своим возмущением. А у немцев, например, таких проблем нет. Их язык давно гендерно-гибкий. И там все ходят в одну баню, а страной руководит женщина.
В турецком и персидском языке местоимения «он» и «она» не различаются, и где там это ваше гендерное равенство?
Вот ссылкa на одну из книг по работe с языком программирования при формировании решения задачи 1984 года: Л.Броуди «Cпособ мышления — Форт язык и философия для решения задач» archive.org/details/Broudie2
P.S. Но, боюсь тогда придётся признать, что мы со своим мышлением не «универсальные винтики» в глазах менеджеров при создании ПО.
Настоящее только электричество
Есть, нпр., пневматические вычислительные машины. Так что электричество совсем не обязательно.
В свете сказанного можно заключить, что беда не в высоком, а в слишком низком уровне абстракций. Практики, владеющие многими абстрактными технологиями, предназначенными для конкретных задач, не видят леса, т.е. обобщающих абстракций, на которых базируется методология научного подхода. Столкновение с методологией науки у людей неискушенных вызывает ложное чувство потери контроля.
У австралийских бушменов в языке нет слова «дерево». Нет, названия для каждого вида деревьев в языке есть. Но сказать — «на холме 3 дерева» они не могут, только «на холме 3 акации» к примеру.
Так что уровни абстрагирования в живом языке от языков програмирования не сильно отличаются.
В лучшем случае — пишут обертки для уже существующих библиотек.
И не важно насколько новый язык абстрактный и совершенный, все равно на нем сначала надо будет переписать все, что уже было написано. Наплодив новых багов при этом. Ну и старых граблей тоже собрать, куда ж без этого.
А тем временем даже для С++ существует 3 основные реализации стандартной библиотеки (которые, разумеется, слегка отличаются друг от друга), а сколько их вообще существует я подумать боюсь.
И в результате мой супер-пупер-абстрактный платформонезависимый код начинает обрастать условной компиляцией чтобы учитывать все эти особенности. Какое уж там «сделай табуретку».
Вроде бы изобрели Qt, который работает везде, где вообще есть экран.
Биндинги к Qt встречаются примерно так же часто, как и обертки над сишными вызовами — т.е. часто, но все равно требуют большого количества оберточного бойлерплейта.
Так теряем мы контроль над реальностью? С точки зрения первой культуры, нет: наши возможности выражать инварианты в коде и доказывать конкретные свойства только растут. С точки зрения третей культуры тоже нет: наши способности решать проблемы не уменьшаются.
У людей же из второй культуры, начиная с 70-х, дела, похоже, идут всё хуже и хуже. Посочувствуем же им.
ЯП это инструмент. Само собой он влияет на носителя. Как и любой инструмент. Если в руках молоток то все вокруг кажется гвоздями. Но мышление первично, пусть и меняется под действием привычек, задач, используемого инструмента. Я вот про это «Это не гаечный ключ у тебя в гараже — это кусок твоего сознания. », это перебор. Если это действительно так, то это серьезная профессиональная деформация. Причем с привязкой к области и языку. Встречал не раз что-то подобное, обычно это была зависимость от инструментов уровня фреймворка, люди мыслили не задачей, информацией, другими критериями вроде надежности, масштабируемости, сложности, гибкости, а следует ли код духу фреймворка и мануалам/рекомендациям или нет, вот когда это было уже в ущерб задаче и другим важным параметрам — то это мешало. Фреймворк первичный у них был, а не всего лишь инструмент. С языком тоже часто встречал, но не настолько, все же любой ЯП достаточно гибок а мануалов как «истинно правильно» на нем делать не так уж и много.
Абстракции это нормально, даже хорошо. Абстракция это как модель, отражает только нужные нам качества чего-то. Их ограниченное количество и все нужные, и это дает настоящий контроль. Если вы управляете автомобилем то вы управляете с помощью руля и педалей. Где-то там работает двигатель по своему циклу карно, что-то подсчитывает и контролирует бортовой компьютер, и где-то датчик в бензобаке ждет своего часа. Вы смотрите на панель и крутите руль, а не контролируете каждое колесо отдельным рычагом, наблюдая работу двигателя через прозрачный кожух в прозрачных цилиндрах и периодически на ходу опускаете щуп в бензобак.
Вам все это не нужно, да это даст больший контроль (на самом деле нет), но это не нужный в данный момент контроль, он только мешает, забирает время, отвлекает, размывает фокус, и котролируя каждое колесо вы меньше внимания сможете потратить на дорогу. Контроль потребуется когда вы услышите странный стук а потом машина заглохнет. Вот тогда вы откроете капот. Или потащите автомобиль в автосервис.
Да мы пользователи. Пользователи процессора, файловой системы, пользователи библиотек и third-party закрытых инструментов, пользователи API внешних сервисов. Мы пользователи черных ящиков. Эти ящики вокруг нас. При разработке мы фокусируемся на том что нам нужно сделать, при этом «пользуясь» кучей инструментов о которых мы знаем крайне мало, только то что нам нужно. И если мы будем заглядывать постоянно к каждой машине под капот, просто чтобы сохранить имитацию (да именно имитацию) контроля — мы не сможем заниматься основной задачей. Мы заглядываем под капот, вскрываем ящик только тогда когда понимаем что проблема именно в этом ящике. Или не вскрываем а меняем. И это нормально. Потому что мы знаем что вот этот черный ящик с надписью «процессор» выполняет то-то и то-то, мы знаем что он делает, нам не нужно знать как, и тогда черный ящик можно спокойно заменить на другой с тем же набором свойств. Сервис на другой. Библиотеку обновить. Это отлично, это дает гибкость и стабильность. И все благодаря абстракциям.
Даже мир для нас черный ящик а мы для него, и общаемся мы с ним ( и с другими людьми) с помощью ограниченного количества входов-выходов (чувств и действий) и абстракций (язык, мимика, телодвижения). И в самом черном ящике нашего восприятия еще куча промежуточных слоев и наслоений из нашей памяти, чувств, отношений, образов, все что формирует мировоззрение и текущее настроение, и эти слои тоже меняют информацию, сильно меняют. Но эти слои в сумме и образуют наше создание и мышление. Без них мы бы просто и беспристрастно, как видеокамера, фиксировали бы входящую информацию. Только фиксировали. Отвлекся, вернемся к баранам.
То что компьютер все больше становится черным ящиком и для нас, программистов, это нормально, это специализация. Это непривычно, нам немного стыдно признавать что мы уже ничерта не понимаем в деталях в работе процессора и вряд ли сможем починить материнскую плату если что-то пойдет не так, не говоря уже о том что не спаяем компьютер в гараже из набора простейших деталек и чипов из ближайшего магазина радиотехники. Но это нормально, суммарно контроль не утерян, он просто стал глубже и разделился на десятки специализаций, ни у одного человека уже не хватит знаний чтобы быть экспертом во всем что связано с компьютерами. Обьем «эксперта» во всей области давно уже перевалил за 10 тысяч часов и исчисляется миллионами часов, и скорость роста знаний превышает скорость освоения, а сложность растет. Один человек просто не способен разобратся во всей области. Он не будет успевать поддерживать актуальный уровень. И даже опуститься вниз до процессора по отдельной области. Даже поддерживать 100% информированность по всем связанным с узкой областью инструментов не получиться, даже популярных, не то что опускаться вниз.
Будте хороши на одном, своем уровне, и своей области, пусть другие занимаются остальными, каждый своей.
Кстати вот эта практика, которую вы описали, с мультиязычностью меня немного удивила, имхо, плохо это. На простых задачах и проектах в принципе нормально, но на сложных начинают тащить привычки и принципы одного языка в другой, и такой плохоподдержвиваемый ад со временем получается…
Если язык не важен — почему их так много? Разве что действительно одну и ту же библиотеку на разных языках, для пользователей того же API. Ну это редкость и достаточно законченная задача, там если что и «выбросить все и написать заново» не страшно.
А полноценно контролировали и софт и железо только в 50-е, когда еще и разделения толком не было и софт писался под конретный экземпляр компьютера. Вот там контроль. Вот там постоянно открытый капот. Вот там заточка кода под железо а железа под код. Вот там знание компьютера до каждого резистора и понимание каждого байта и каждого сигнала. Вот только это совсем не эффективно и не надежно, и замена «винчестера» (не говоря уже о «процессоре») могла превратить весь софт в ненужный хлам.
Извиняюсь за многобукв, во всем виноваты абстракции, человеческий язык слишком несовершенен, и из-за этого приходиться использовать дополнительные слои в виде тех же примеров и аналогий, чтобы передать изначальную мысль с минимумом искажений внутренними фильтрами наших черепушек. Вот бы где нам действительно «языки низкого уровня» пригодились бы. Когда там уже мыслеречь допилят и общение образами?
человеческий язык слишком несовершенен, и из-за этого приходиться использовать дополнительные слои в виде тех же примеров и аналогий, чтобы передать изначальную мысль с минимумом искажений внутренними фильтрами наших черепушек. Вот бы где нам действительно «языки низкого уровня» пригодились бы. Когда там уже мыслеречь допилят и общение образами?
Если попытаться передавать сразу вашу изначальную мысль, то общий процесс будет аналогичен описанному вами же процессу написания софта под конкретный экземпляр компьютера. Ваша "сырая" мысль для любого другого человека будет бессмысленным набором импульсов, потому что у вас и у кого угодно ещё набор трансформаций от мысли к сообщению в терминах общего языка будет разным. Это как два сервера, где у одного — приложение на Ruby, а у второго — на C++, и по меньшей мере странно ожидать, что произвольный объект с первого сервера можно скопировать на второй и при этом не придётся прикладывать усилия чтобы этот второй сервер смог вытащить из объекта какие-то данные.
У нас и понимание одних и тех же слов одного и того же языка подчастую отличается между людьми, что уж говорить про "мыслеформы".
Извиняюсь за многобукв, во всем виноваты абстракции, человеческий язык слишком несовершенен, и из-за этого приходиться использовать дополнительные слои в виде тех же примеров и аналогий, чтобы передать изначальную мысль с минимумом искажений внутренними фильтрами наших черепушек. Вот бы где нам действительно «языки низкого уровня» пригодились бы. Когда там уже мыслеречь допилят и общение образами?
На счет мыслеречи вспоминается следующий отрывок (не дословно; даже интересно, на сколько сломанным получился телефон) из какого-то довольно известного фантастического произведения (ни автора, ни названия к сожалению не вспомню уже за давностью лет, а нагуглить с первого раза не удалось):
Раздался хлопок и перед нами предстал взъерошенный человек с сигарой во рту, в помятом костюме с криво завязанным галстуком и чемоданом в руке.
— (Существо, раздраженный голос) Ужасный, ужасный день!
Нервная дрожь, попытка поджечь сигару.
— (ГГ) Эти создания курят?
— (Кто-то) Конечно же нет. У данных существ совершенно другая физиология, куча щупалец и т.д. Рядом с планетой Z взорвалась сверхновая, и у них было только 5 секунд чтобы покинуть дом с самыми необходимыми вещами. Переводчик транслирует действительность, речь в базовый галактический язык, а затем в понятные вам образы и конструкции. Если каких-то понятий в вашем языке нет — строятся аналогии или отрывок просто пропускается.
Таким образом со временем и это мы уже наблюдаем сейчас, все программисты делятся на две категории (условно)
— программисты-клиенты живущие в условиях простых бизнес-задач не выходящих за возможности абстрактных фреймворков
— программисты-производители или творцы, которые срать хотели на все правила и сами строят новые правила, или абстракции, или абстракции для абстракций.
Первая категория — низкооплачиваемые кодерки, которые лепят формы в душном офисе всю жизнь, их ЗП чуть выше средней по стране, но вполне с ней сравнима, их основная задача — вовремя учить тонны новых абстракций и обслуживать базовые потребности бизнеса с помощью них
Вторая категория — высокооплачиваемые спецы, которые идут впереди планеты всей, их зарплаты в зависимости от страны в диапазоне 100-300К, они придумывают разные языки, фреймворки, платформы и не дают заскучать первой категории.
как понимаю вы из второй категории?
Ну конечно, вы ещё сомневаетесь?))
Первой категории платят деньги. Они бизнес-задачи решают, а бизнес им за это деньги платит. Конечно, клепателям формочек платят слегка меньше, но вот изобретателям формочек (для последующего клепания) — уже нормально так.
Вторая категория, творцы и маги — иногда не получают примерно вообще ничего. В лучшем случае — пока кто-нибудь из первой категории не прочувствует мощи очередной магии, и не начнёт заносить. А в худшем — творцы и маги просто работают в первой категории, а магию творят — во внерабочее время. И подавляющее большинство этой магии (как впрочем и любых других вещей) — не взлетает вообще никак.
Насчёт творцов. В Perl два виде массивов — просто упорядоченные списка, и хэши. И всё. Тривиальный Borland С++, как помню, начинался с десятка разных массивов-коллекций-списков разной степени навороченности и километровой наследуемости. Программисты-творцы решили что Perl слишком простой. Ну и получили то что получили — вместо простого понятного языка сделали кучку «магии», с которой теперь приходится справляться. Желание творить привело к появлению тварей.
Был фантастический рассказ — старый программист что-то клепает, а искусственный интеллект всё не может понять и повторяет — «ты мне объясни что ты хочешь, я сам сделаю быстрее и лучше, так как ты давно никто не делает» и т.д. Конец рассказа — вирус запущен, ИИ понял что ему конец, но сделать уже ничего не может.
Что за рассказ? А то интересно стало.
Я имел ввиду, что для большинства жизненных случаев достаточно упорядоченного массива и массива с доступом по ключу, а не только массива с доступом по ключу и прикольной логикой.
Более того, идея что реально только электричество — это именно что отдаление от реальности, подмена реальности… абстракцией.
Страх же «отупеть» довольно странен. Все кто использует русский язык, но не является филологами — дураки которые не могут использовать русский язык?
А в случае необходимости я могу спуститься на несколько уровней ниже и разобраться в проблеме. Или могу просто зарепортить баг и сделать временную заплатку. В этом и есть контроль. И скорей всего на работе выберу я второе по причине того, что сделать это быстрее, результат будет достигнут, а нормальный фикс я получу со следующим апдейтом библиотеки, если, конечно, нет объективных причин не делать этого.
Если же выбранный инструмент не позволяет эффективно решать задачу — стоит выбрать другой. Если не подходит «эй компьютер, сделай мне эту хреновину», то это делается чем-то другим. Важно, что низкоуровневые инструменты никуда не исчезнут и в большинстве случаев сделать что-то по своему будет возможно. Но наиболее вероятно, что кумулятивный опыт разработчиков будет намного больше, чем опыт одного программиста, которому нужен контроль, и необходимые вещи уже будут сделаны корректно и оптимально.
Человек уже достиг огромных возможностей, но остался недальновидной суетливой обезьяной, озабоченной сиюминутными ценностями и статусом.
И пофигу (лично мне) какие там в процессе его работы типы переменных.
www.evilfingers.com/publications/research_RU/oldnewlang.pdf
И да, ложки не существует.
Концептуальный изъян твоего мнения, изложенного в этой статье, в том, что ты думаешь что понимаешь хоть что-то. Это заблуждение.
Ты не знаешь ничего ни о природе электричества, ни о том, благодаря чему вообще возможно существование этой природы. Электричество — это просто ещё один уровень абстракции вбитый в тебя в школе.
Русский язык сам по себе нейтрален. Окрашиваешь его так или эдак именно ты. Проблема в тебе, а не в языке. Ты просто не готов воспринимать и строить сложные конструкции. Даже свой идентификатор ты сократил до трёх букв.
Как же я ругался. Никаких тебе векторных вычислений. Никаких Dataframe-ов. Всё писать через кучу вложенных циклов, которые на AC 2.0 работают не сильно быстро. В общем, я написал кучу своих функций для векторных вычислений, функцию для KNN-регрессии, функции вышли довольно глубокой вложенности, но в принципе задача была решена.
Это я к чему. Мне нравится, когда мы можем дёшево поднять уровень абстракции. Мне нравится, когда кусок программы можно не писать, а просто подключить в виде «чёрного ящика» — если этот ящик неплохо работает из коробки, и при этом пригоден для тонкой настройки.
Или ещё. Я как-то работал с нейросетями на Matlab. Там есть две нейросетевых библиотеки — старая и новая. В старой можно заглянуть в любой вес любого нейрона, его можно подправить вручную. В новой… Заглянуть можно сильно не во всё, и точно нельзя всё поправить вручную.
В первом случае передо мной был сложный чёрный ящик, в который можно влезть до уровня отдельных переменных — сложно, но можно. А во втором был просто сложный опечатанный чёрный ящик =)
Так что абстракции можно реализовать с сильно разной прозрачностью. И в таком случае они необязательно становятся проблемой
Сам автор статьи в силу возраста еще не врубился в то, что уже нарыл.
1. Учили в вузе прогить в 82. 8разрядный аля копия какого то американца60х, создали у нас в 70х, тумба-комп (небольшой размер считался), клава (!), световой карандаш (кнч с проводом) для исправления на экране символов, блок из 8 тумблеров для карандаша, монитор символьный. Очепятался, выставляешь тумлерами 8раз код нужного символа, подносишь карандаш к символу на экране, жмешь типа ентер и обана, готово! Потом фортран на ЕС (шкафы) и дальше pl/1, басик. Кто был особо заточен, то самозацепил во вред пьянкам кобол, ассемблер. Бесконечные зависания отечественных ЭВМ (ну компом их тогда не называли), наладчики быстро меняли перегоревшие платы, зайдя за шкафы и открыв из зады, потом они у себя выпаивали сгоревшие элементы и впаивали новые на платах, заливали программатором микропроги в пзу. 88 г — польская Мазовия (экспишка с ЖД 10М и двумя флопами на 5 по 720К) открывает графический басик и остальные чудеса американского софтпрома с примером в виде принца. Мы по старинке начинаем в фортрана 77 под старые золтопесочнонесущие задачи и тут же уход в космический дибейс < — это важный момент. То, что ваяли за месяц на пл1, дибей — за 10 мин. с нуля. Даст ист фантастиш!!! Заказы на бюсгалтерские и прочие базоданные задачи как ливень из денег. Боги, а не прогеры в то время железных феликсов на столах приятных женщин.
2. Я знал одного суперчела электронщика-системного прогера, который читал как я здесь пишу, 16ичный машкод, а ассемблер, как русский лит+матерный+остальной, взял мсдос, продебажил и написал за месяц ос на Корвет в 92 году, дрова писал под любое устройство, если хоть какая инфа есть по эл.базе (ну из чего железо сварено). За ним вояки с далик самолет присылали. Мозги как дом советов, но системщик. На все остальные ЯП, кроме С, смотрел как на игрушки для взрослых. Неинтересно. Он генетик.
Что к 92 поняли: бизнес прогера — это не знания всей хрени из ЯП, а скорость, в которой дедлайн — НЕ последний остаток кислорода. А тогда нас было по пальцам пересчитать. А теперь конкуренция мама не горюй. Да, С и вижн (ассемблер уже тогда был только для системщиков) — приближали нас к железу, но заказчик требовал «вчера». Поэтому от дибейса прыгнули в фохпро, затем ко всему, что быстрее с заказчика бабло стряхивает без ущерба имиджу и привязывает его к кошельку прогера навсегда в качестве дойной коровки, так как мало кто из современной школоты возьмется проги тех лет доработать. Доятся и поныне. Выбор ЯП с дааааальним прицелом, как история показала.
3. Если (1), то много конкуренции, но больше возможностей забить на нищету.
, в противном — (2) будешь генетиком железа — то большие деньги, то их часто нет. Объединение (1) и (2) — утопия или как быть никому не нужным, прожить жизнь среди хрени и не остаться здоровым телом и психикой.
Да, и вот еще что: вы что поколение Z думаете, будете всегда этой хренью заниматься до крышки? Это же самосожжение, а не икаровский полет! Это же удел мойщиков золота на эльдорадо. Двадцать лет и все. Дальше только аналитик, продажник, рукпроектами или просто хозяин с головной болью за свое детище в заднем месте. Это я о чем: ЯП — не самое в вашей профессии, а только вынужденные ступени к тому, чтобы с 45 лет жить безбедно в приятном месте нашей или выбранной страны, и делать только то, что не требует дедлайна — бича и палкой по пяткам всех прогеров, жить не ходя под себя до гораздо большего возраста, чем в мечтаниях правительства на поднятие пенсионного «не доживут».
У меня было 4), потом резко 3). Статистика показывает, что дальше 45 очень мало, кто кодирует. Все уходят за еще большими деньгами или уже хватит и хочется заняться чем то другим, но не кодировкой, особенно по корявым постановкам, типа вот этой картинки
toster.ru/q/6866, которую я увидел в 88.
Нередко админами и сапортами продолжают. Но мое перлы — это исключительно по ЯП -первичное свойство натурального прогера.
2 — весело в теории. Ставиться задача и сроки, а на новом ЯП всё идет как всегда и это не нравится шефу, заказчику и коллегам.
3 — надо задуматься, а почему так мягко говоря мало кодировщиков за 40.
4 — да, да, да. Когда занялся финансами порядок к з/п прибавился, а пахать и особенно думать требовалось на порядок меньше.
5 — читаем книжку «Дедлайн» Де Марко.
Жизнь оооооочень короткая. Продажником редко становятся вообще, кто бы то ни был, а уж тем более прогер. А вот рукпроектофиса в приличной корпорации получает не 100К, и не 200К, а 300К. Когда входишь в деньги, которых хватает на многое и еще остаются, то розовые очки — я пуре прогер и мне об колено все эти морочки с управлением — сваливаются, топчутся и остаются «там», где синий цвет за стеклом подержанного соляриса.
3 — надо задуматься, а почему так мягко говоря мало кодировщиков за 40.
Пока отрасль растёт (а она растёт всю дорогу с середины 20 века и останавливаться не собирается) — у вас всегда программистов «в годах» будет мало. И далеко не только потому, что они куда-то там на агромадные деньги уходят. А просто потому, что молодёжи в отрасли каждое поколение будет всё больше и больше.
Тут перлового наследия в корпоративном сегменте вагон и маленькая тележка. Просто пока ещё эти издержки не вылезли на осязаемый уровень, так чтобы до высокого руководства корпораций это наконец таки дошло, что переходить на новые рельсы надо было уже очень давно. Надо писать автоматические переводчики для языков программирования. LLVM тут прям вовремя выстреливает. Диалектов уже очень много и средний уровень разработчика будет только падать, из-за возрастания количества накопленных знаний в IT-среде.
Но где взять спецов? Все уже забили, кости ломит, хвост отваливается. Тяжкий труд у прогера. Немчуры еще с 80х от компов отлынивают. Только азия (степбайстеп) заполоняет пространство. Иначе бы вы были на вес золото при таком темпе заполнения мира дискретным железом.
Блин, какие то п мне минусов наставили. я же не пришел тут кого то критиковать или в маинпрогеры лезть. сдалась мне эта печаль.
Автору огромный респект. Действительно, прогерство и ЯП наносят свой визит мышлению, делая не только из нас под стать авторам ЯП, но и влияя на менталитет. Раньше от нас шарахались (свитер, небритость и логические речевые структуры), а теперь тянуться. Слова «версия», «апгрейт», «баг» и прочий птичий сленг, который мы не выделяли, стал уже в бизнес среде чем то мажорнистым. Народ потянулся к ботаникам.
Прямой путь к жрецам от технологий, с тайными знаниями, обрядами, вот этим вот всем )
Или к переходу всего низкоуровневого на ИИ, с полной не возможностью фикса давно сделанных багов, бо никого живого, кто сможет глянуть что не так — просто не будет…
Надоедает прикладуха. Кто то воще забивает на писанину, берется за орк, сертифицируется и живет сисадминкой в штатах. И таких я знал.
Но мысль углубляться к корням — она правильная. Хуже не будет, если только в азарте на завалить основную работу. Сразу ведь не перепрыгнешь в системщики.
У меня был выбор когда проходили ТАУ, паяли, че то прогить пытались на ассемблере. Препод был г«но в том институте. В другом другой уже опоздал, я засел за фортран всерьез и мне уже платили. Мне понравилось много и сразу. Есть сварщики 6 разряда, а есть операторы сварочных станков с ЧПУ. И те и другие — нужны, а что им прет, то сами на ромашке своей души делают выбор.
В любом случае, если душа запела дрова попилить к управлению освещением в квартире или какого робота родить, надо обязательно попытаться.
Тут перлового наследия в корпоративном сегменте вагон и маленькая тележка.
До руководства достреливает, что «новые рельсы» это Oracle, который внезапно стал нежелательным явлением. Или какая-то модная технология, которая точно так же внезапно будет объявлена устаревшей.
вы еще увидите зе енд жабы.
возможно монополия реляшки и сиквеловские запросы уже морально давят как старье. вероятно как в истории ксероксных шрифтов придерживают что то архиважное, выживают из старого как из нефти автомобилестроение. в айти будут до последнего один и тот же код 100 млн раз продавать. отличный бизнес.
— Еда есть? — Каша.… Пластиковая (1986 г, х/ф Кин-дза-да).
Но работать в постоянке асматиком & шарпером & слоном с либками — прощай жизнь. А изредка — ну это не айспрофи. Специализация была изначально — или системщик-канифольщик, или прикладник-шахматист. макдональдс — 12 челов как лента конвейера ради быстробутера. К коротким спринтам клиенты тянуться. Клиенты — это ради кого или их бабла пишутся проги. Приличной герле рафаэли без, хотя бы, сонаты не нужны. ЯП должен косвенно давать заказы наперед и короткий ЖЦ.
Демагогией же это выглядит как раз таки из-за обобщения которое рассыпается если задуматься. Я не пытался сказать что вы это специально, скорее пытался показать недостаток вашего утверждения.
К тому же это не моя фраза (именно поэтому она взята в кавычки), а вполне расхожий афоризм. Который, как любой афоризм, является «шуткой, в которой есть доля шутки».
Я допускаю что это может быть не всегда так, но в общем случае ваше изначальное утверждение неверно.Вы будете правы только в одном единственном случае — когда вычислительная мощность и память — бесконечны. В остальных вариантах вы проиграете в производительности и памяти, так как их конечное число.
А «сделай-ка мне вот эту хреновину» никогда не наступит. Потому что без внятного ТЗ — результат ХЗ, и без телепатии никакой ИИ этого не исправит. А подбробная спецификация того что человек хочет от компьютера это как бы и есть код.
Сейчас УЖЕ этим занимаются.
Контекстная реклама, машинное обучение и прочие классные вещи, если их вывести на новый уровень, вполне способны будут предсказать что ты хочешь от системы даже если ты это сформулируешь как «сделай-ка мне вот эту хреновину».
Простой пример: ты забивал гвозди и сломался «хитроназванный» молоток. Ты посылаешь запрос: Купи-ка (сделай-ка) мне такую хреновину… А машина тебе такая — ОП! Молоток! )
Или читал ты книгу по методологии создания молотков при помощи хитрой штуки и захотел сам попробовать. Ты пишешь запрос: Сделай мне такую хреновину… А машина (посмотрев что ты читал и сравнив с тем, что обычно после этого заказывают и что упоминается в прочтённом" тебе такая — ОП! Хитрая штука! )
А подбробная спецификация того что человек хочет от компьютера это как бы и есть код.А уровень подробности спецификации и есть абстракция. И смысл абстракции как раз приводит к тому, что бы для решения задач можно было отбросить как можно больше деталей и сосредоточиться на главном, а детали переложить на машину.
Есть аппаратный протокол подключения внешней аппаратуры к процессору — SPI. Он простой как три копейки, и в процессорах реализован аппаратно.
Есть моя функция, которая общается с SPI через библиотеку от изготовителя. Есть примеры использования этой библиотеки. Смотрю в пример, пишу аналогично — и получаю странности в процессе. Чаще всего работает хорошо, но иногда — внешняя аппаратура (в моем случае — LCD) начинает вытворять чудеса, явно получая неправильные команды.
Нормальный программист первым делом ищет ошибки у себя в коде. Не нашлись. Написал тестовую программную реализацию SPI на уровне размахивания физическими ножками — работает (уже хорошо — LCD исправен и плата корректная), но так оставлять в релизе нельзя (как минимум надо скорость на порядок больше). Начинаем спускаться по уровням абстракции, благо библиотека с исходниками. Раз функция, два, три, четыре, дальше обращение в порты процессора. Вроде все выглядит логично (правда количество #ifdef на все случаи жизни зашкаливает). Подключаю осциллограф (потребовалось 4 канала), и вижу, что я передаю один байт, а на выходе почему то передается 11 (!) бит clock, то есть некратное байту количество бит, да еще прерывание о завершении операции выдается заранее, чего быть не должно.
К этому моменту появляется ощущение, что виноват следующий уровень абстракции — аппаратная реализация SPI внутри процессора. Смотрим hardware errata, и о чудо!
nRF52832 Rev 2 Errata v1.1
3.9 [58] SPIM: An additional byte is clocked out when RXD.MAXCNT = 1
This anomaly applies to IC Rev. Rev 2, build codes QFAA-E00, CIAA-E00, QFAB-E00. It was inherited from the previous IC revision Rev 1.
Symptoms: SPIM clocks out additional byte.
Conditions: RXD.MAXCNT = 1; TXD.MAXCNT <= 1.
Consequences: Additional byte is redundant.
Workaround не описан, но ключевое слово SPIM подсказывает, что проблема в передаче по DMA. Выключаем DMA (благо он для этого изделия не обязателен), SPI начинает работать корректно.
То есть для понимания и исправления проблемы мне потребовалось спуститься от уровня функции на Си до аппаратуры процессора.
Программист, как сказано в статье, на данный момент является интерпретатором (прослойкой, если хотите) между бизнесом и машиной. В бОльшем количестве ситуаций, работа сводится к решению определенной бизнес проблемы. Да, большую часть проблем (если не все пожалуй) можно решить низкоуровневыми языками. Но если вам нужно перевезти тонну песка из пункта А в пункт Б, сомнительно что вы будете использовать телегу с конём (условно), а не самосвал.
Тоже самое и тут: зачем писать 1000 строчек кода, если определенный язык, может решить эту задачу за 10 строк?
Пожалуй единственный вопрос тут возникает в используемых ресурсах, а точнее в их ограничении. Если мы ограниченны ресурсом, то тогда лучше спускаться на более низкие уровни абстракции и писать максимально оптимизированный код. Но опять же, в общем случае это касается гигантских проектов, для которых крайне важна маштабируемость.
Как итог: не вижу на самом деле ничего критичного в новых языках. Просто их действительно нужно изучать с пониманием работы на более низких уровнях.
на данный момент является интерпретатором (прослойкой, если хотите) между бизнесом и машиной
Только ооочень не каждый это может делать. У большенства подход четок и понятен — мне так сказали, я так задевелопил, а думать что я творю — мне этого не сказали, и это блин печально.
Из недавнего на эту тему — сказали добавить столбик в репорте — добавили. А то, что теперь в репорте два одинаковых столбца — ну наверное так было надо. Ну как так-то?..
Менеджер, должен делать так, что б было удобно работать.
Выбивать бюджет не то чего не хватает, координировать отпуска что б не вышло что все ушли перед релизом, пинать всяких не сознательных граждан на предмет всяческих аппрувов, пинать бызнес чтоб они не звонили лично девелоперам с одной стороны, и быстрее рожали требования с другой, решать проблемы кадров, красиво показывать вышеозначенному бизнесу что все идет по плану (или не совсем все, и прояснять что именно мы куда перепланируем), и все такое.
Для остальных задач нужен ну совсем не менеджмент. И этот не менеджмент нужен с функцией интеллектуальной обработки поступающей инфы, а не просто «пересылки емейлов» в гитхаб.
в процессе:
- надо чуток изменить запросы к базе (не забыть и не сломать имеющие место быть оптимизации перформанса)
- обновить скрипт на ksh который этот запрос должен вызвать
- обновить мапперы которые должны будут понять что к ним пришло и зачем оно им надо
- обновитиь юай и обеспечить его корректный вид
- обновить настройки сервиса генерирующего собственно файл с репортом
- проверить что те, к кому этот репорт должен прийти, в курсе что он поменяется
- .....
И вы таки не поверите, но это все — дев задачи. Требующее анализа, планирования, и девелопмента. И отмазки «а я не знал, что этот репорт на самом деле часть более другого репорта, который в результате при генерации уронил прод, бо это не мое дело думать о том что я делаю» — они как бы не очень катят…
А девелопер, которого не волнует как его код будут юзать… Ну, это, скажем так, не идеальный вариант. Но, весьма подходящий под индусскую идеологию — «сбилдилось, все остальное не мои проблемы, не сбилдилось — проблемы с билдом (тоже не мои)».
Мы все существуем в рынке, и рассуждать нужно рыночными терминами.
Главный стимул появления новых ЯПов это увеличение скорости разработки. Стоимость ПО складывается главным образом из недешёвого рабочего времени разработчика.
Меньше времени потратили на разработку, значит получили конкурентное преимущество.
Великолепная лекция Боба Мартина на тему эволюции разработки ПО (от Тьюринга до Java и Agile):
Проблема в другом.
Первое.Не существует культуры решения проблем, если эти проблемы возникают уровнями ниже. Если есть проблема безопасности или просто баги, то это просто может приводить к обружению всего, что человек надстроил выше. И если с багами в части функциональности и работоспособности ещё как-то мирятся, то с багами в безопасности забивают до тех пор, пока где-то не прорвёт.
Второе. Оверхэд. Дикий оверхэд. Когда привыкли просто палить из пушки по воробьям, причём из многоствольной пушки, потому что автор пушки решил, что вместо трёх пушек для разных областей лучше сделать одну. И не удобную, а просто со спаянными тремя стволами вместе. Вдруг когда-то кому-то понадобится использовать сразу две. В итоге имеем громоздкое нечто. Хороший пример — современный веб. Местами крутой, но совершенно прожорливый на ровном месте.
Прочитал как Филл — отпустись.
Программистами станут лощеные гуманитарии
Уже так. Телефон — потому что розовенький, ноутбук — потому что белый, язык программирования — потому что без скобок. Разве инженер так делает?
Сишечка будет всегда, Паскаль тоже. А мэйнстрим будет сходить с ума и дальше.
Новые языки программирования незаметно убивают нашу связь с реальностью
Ну так программируйте на перфокартах, пока не связь с реальностью не оборвалась. А еще лучше как на Альтаире рубильниками переключать.
до этого дня, как до Аляски на упряжке
Но кто-то считает, что это произойдёт быстрее (Slack из 50 строк кода, поисковик из 75 строк, фейсбук из 150 строк — как Вам такое?).
Самый яркий случай, демонстрирующий этот тезис, был связан с периодически возникающими претензиями одного бизнесмена к качеству мытья полов в занимаемом им помещении. Он постоянно жаловался, что пол помыт плохо, даже высылал видео, в котором на камеру протирал пол белой салфеткой, на которой оставались следы пыли.
В конечном же итоге на просьбу управляющего ПИСЬМЕННО сформулировать в произвольном виде критерии оценки качества мытья пола, чтобы технички самостоятельно контролировать качество своей работы, был получен ответ, что ему проще самому мыть пол, чем сформулировать требования к качеству мытья этого пола.
Возвращаясь же к программированию могу лишь сказать, что для меня чрезмерное усложнение выполняемой работы либо желание использовать разные новомодные штуки означает всего лишь низкий уровень квалификации исполнителя, чаще всего сопровождаемый избыточным самомнением.
Главная проблема каждого человека заключается в способности осознавать свои собственные желания и умении четко формулировать их окружающим людям.
Скорее в не способности )
Но, именно эту проблему, теоретически, решают всяческие психологи, коучи, корректоры и прочие красивые слова. А вот как они ее решают — это уже другая печальная история…
Все оказалось элементарно просто.
И сейчас так. Ничего не меняется. Раньше кларионщики, сегодня, к примеру, пхпшники.
Уже в конце 80х с приходом персиков работали так, как сейчас называют эджайл — на коленях у заказчика. До нас, со второй половины 70х — то, что назвали потом скрамом. 1 во 1. Меня учили этой организации разработки: еженедельные и экспресс-собрания, плакаты-доклады (!), гантирование и др.нормальная для большого проекта обсуждаловка-распределялка-итогосчиталка.
Фам Нювен несколько лет провел, обучаясь программировать и исследовать.
Программирование восходило к началу времен. Как та навозная куча за замком
отца. Когда ее промыло ручьем на десять метров вглубь, обнаружились
искореженные корпуса машин — летающих машин, как говорили крестьяне, еще от
тех великих дней колонизации Канберры. Но та навозная куча была чистой и
свежей по сравнению с тем, что лежало в локальной сети "Репризы". Были
программы, написанные пять тысяч лет назад, когда человечество еще не
покинуло Землю. И самое чудесное (самое ужасное, как говорила Сура) было то,
что, в отличие от бесполезных обломков прошлого Канберры, эти программы все
еще работали! И через миллион миллионов запутанных нитей наследования многие
из старейших программ все еще выполнялись во внутренностях системы Кенг Хо.
Например, методы слежения за временем у торговцев. Поправки вносились
неимоверно сложно — но на самом дне лежала крошечная программа, которая
гоняла счетчик. Секунду за секундой отсчитывала система Кенг Хо с того
момента, как нога человека ступила на Луну Старой Земли. Но если
приглядеться еще пристальнее… начальный момент был миллионов на сотню
секунд позже; момент "ноль" одной из первых компьютерных операционных систем
Человечества.
Значит, под всеми интерфейсами верхнего уровня лежат уровни поддержки,
слой на слое. Какая-то часть этих программ была создана для совершенно иных
ситуаций. То и дело несоответствие рождало фатальные инциденты. Вопреки всей
романтике космических полетов, чаще всего катастрофы вызывались древними
забытыми программами, которым удавалось взять реванш.
Вернор Виндж. «Глубина в небе»
ЯП — это язык программирования (для тех кто снизу читает коменты).
Подскажете ли, какой шрифт и IDE используются в вставках этого поста?
Нечего удивляться, что когда решаешь бизнес задачи нa платфгормах для решения бизнес задач — то уклон будет в бизнес логику, а не в то что под капотом.
Это на самом деле совсем не так.
Тайпскрипт улетает еще до рантайма.
Остаётся всё то же, что и во всех других браузерах, только упакованное одним локальным куском. Ничего особо страшного.
Как-то попалась маленькая задачка на ruSO -надо было биты поковырять. Попросил его написать на ассемблере. Результат был забавный — во-первых, он написал раза с шестого, все время что-то не так шло. Во-вторых его код оказался раза в полтора медленнее, чем тот же алгоритм, скомпилированный с С. В-третьих, решение на ruSO на C обставило оба эти решения раза в 3-4.
Так ли уж это плохо — отдавать взаимодействие с железом — железу? Которое справится с этим лучше? Почему обязательно уход от непосредственной работы с железом должен вести к "какое все громоздкое, неправильное и неповоротливое"?
Они кучкуются в странах, где производство с применением микропроцессоров развито и по дефолту в США. У нас в ВПК, производственных корпорациях, инфобезики. Редкая специализация, требующая значительных знаний в области электроники.
Язык TeX, будучи универсальным, порождает весьма интересные кoды даже для самых простых задач, например, расчета чисел Фибоначчи.
То же самое с версткой сайтов и веб-программированием. Изначально все сайты выглядели минималистично и просто (наподобие еще более старого Гофер), а сейчас даже минималистичная версия сайта Яндекса (ya.ru) — это почти 50КБ кода; при том что печатная страница простого текста (если ввести без стилевого оформления в Блокноте) — примерно 2КБ).
В голливудских фильмах, кстати, можно наблюдать самые сверхвысокие уровни абстракции в программировании и работе с компьютерами ;) Например, хакеры для получения нелегального доступа к БД просто пишут команды типа «Взломать сервер ЦРУ»; или же, к примеру, для взлома шифра пользуются каким-то сверхсложным графическим интерфейсом (на экране какие-то сложные меняющиеся узоры с пиктограммами, по кот. быстро водят пальцем).
Это как раз подход, учитывающий железо dzone.com/articles/mechanical-sympathy
я не разбираюсь как детально устроены абстракции на которых пишу и боюсь что их за меня сделали хуже чем надо
Возможно так и есть. Но если эти абстракции лично мне кажутся излишними и перегруженными — где гарантия, что я не прав? ;) Взять, хотя-бы типовые конфигурации 1С! ))))
Как говорится: Если вы параноик, то это еще не значит, что за вами не следят!
И на него можно ответить одним словом — ПЛОХО.
Любой язык рано или поздно превращается в набор паттернов, а его носителя в зомби.
С ЯП все еще хуже — двоичная логика, сама по себе, бред напичканный логическими парадоксами, а уж носители и вовсе становятся придатками к компьютеру.
Результат то один и тот же, а разница только в том, сколько текста приходится набирать.
Но тем не менее, моя любовь — это С++.
rosettacode.org/wiki/Rosetta_Code
Некоторые решения, на некоторых языках очень лаконичны.
P.S. Моя любовь, тем не менее, Forth (Форт) расширяемые и конкатенативные языки.
И так далее и тому подобное.
Различаются такие разновидности логических парадоксов, как апория и антиномия.
Апория характеризуется наличием аргумента, противоречащего очевидному, общепринятому мнению, здравому смыслу. Антиномия — наличием двух противоречащих друг другу, якобы одинаково доказуемых суждений. „
(википедия)
===========
Бесконечный цикл один из таких парадоксов.
Теоретически многомерные логики разработаны давно.
================
Собственно «исключительные ситуации» это и есть логические парадоксы.
=============
Когда бесконечный цикл возникает самопроизвольно то это и есть логический парадокс.
В виндовс он проявляется в виде «синего экрана смерти».
Если вы за фотонные, так они для обработки тех же двоичных данных.
Вы как бы не совсем верно понимаете тему. Количество состояний системы может быть любым! хотите четыре состояния — просто добавьте бит. ;)
Двоичная выбрана просто потому, что МЕНЬШЕ уже нельзя.
Это вы «как бы не понимаете» — бит это либо 0 либо 1.
А когда — «красный», «оранжевый», «желтый» и так далее.
А двоичная выбрана не потому, что «меньше уже нельзя», а потому, то мы В ДАННЫЙ момент можем различить только два состояния — ВКЛ- ВЫКЛ.
у которых та же память может иметь не два состояния, а больше.
Память может иметь сколь угодно много состояний. Квант памяти, он же бит — два, да.
А когда — «красный», «оранжевый», «желтый» и так далее.
Ваши 7 цветов кодируются тремя битами и на этом можно построить какую угодно логику — хоть по принципу «камень-ножницы-бумага».
А двоичная выбрана не потому, что «меньше уже нельзя», а потому, то мы В ДАННЫЙ момент можем различить только два состояния — ВКЛ- ВЫКЛ.
Да все мы можем! Электротехника начиналась с вполне себе аналоговых компонентов, где не только могло быть выделено несколько уровней сигналов, но и вполне реализовались основные операции с ними (сравнение/сложение/вычитание/умножение и тп.). Мало того — во многих случаях это давало почти абсолютную точность и первые дискретные схемы не могли тягаться с аналоговыми в этом отношении.
Но время расставило все по своим местам… Простое пороговое сравнение ДА/НЕТ в сочетании с практически неограниченным масштабированием гораздо практичнее всех остальных самых экзотических вариантов.
Мне сложно что-либо объяснять тем кто не знает, что такое Логика, но попробую.
Какая разница между цветной картинкой и серой?
Ученые утверждают, что цветная БОЛЕЕ ИНФОРМАТИВНА.
У нас были 8 разрядные процессоры, а теперь если не ошибаюсь уже 128 — а зачем7
1. бит — единица измерения информации в двоичной системе счисления.
2. Что занимает больше места в памяти 1 бит или 3 бита? — очевидно три. Но, только при условии, что под битом вы понимаете квант двоичного счисления, а не что-то еще.
3. Если же вы все-таки имели ввиду сравнение ячейки памяти на 8 (0-7) состояний и три двоичных, то вопрос с подвохом: что такое «больше места»? Места где? На листочке бумажки, или на экране? ;) Типа одна циферка или три? )) Количество информации, хранимое в этих ячейках, т.е. информационная емкость — одинакова.
Пошли дальше, если одна ячейка памяти способна иметь 8 различных РАЗЛИЧИМЫХ состояния, то это приведет не к геометрической прогрессии, а к эспоненциальной — простая комбинаторика.
Одна 8-миричная ячейка эквивалентна трем двоичным. Всегда. Т.е. две восьмиричных, это 6 двоичных, 3, это 9 и тп… Т.е. тут (х3) — обычная линейная, даже не геометрическая.
Напоминаю, что есть что:
Красная — линейная,
синяя — геометрическая,
зеленая — экспоненциальная.
Мы не используем одну ячейку как объект программирования.
unsigned short int smallNumber = 255;
unsigned int largerNumber = 70000;
unsigned long possiblyLargerThanlnt = 70000;
unsigned long long largerThanlnt = 70000000000;
А теперь посчитайте количество комбинаций при двух значения и при восьми.
То есть вы вообще не только логику не знаете, вы вообще ничего не знаете.
Один байт при двоичной системе информации может содержать 256 различных комбинаций.
А при восмеричной будет -16 777 216.
Что опять непонятно?
Один бит — это одна ячейка памяти, которая может находится в одном из двух состояний 0 или 1.
Один байт — это 8 ячеек памяти.
В узком смысла байтом называется 8 бит. Бит, а не ячеек памяти!
Адресуемый элемент памяти — это массив, переменная, константа и так далее.
Но опять же это ТИП.
Тип переменной, константы, символьной константы.
Зато столкнулся с фактом отказа читать файлы *.obJ созданные в блендере.
«char в Rust представлен не одним байтом, а четырьмя»
Я вам уже отвечал, что у меня не было потребности в использовании непосредственных адресов.
По rust у меня есть справочник и я даже написал на нем несколько небольших процедур, но я не знаю где его вообще можно применить.
Так же как и языки D и F#.
С# знаю, но он мне не нравится.
=================
Что касается С++ то я для проверки синтаксиса использую Clang и Visual Code, а для более сложных проектов — Visual Studio.
================
Ассемблер пробовал ну очень давно — не понравился.
Даже не так — не нашел область применения.
Но это не значит НЕ МОГУ УЗНАТЬ.
=====================
«Некоторые вещи мы не понимаем не потому, что не можем понять, а потому, что они не входят в круг наших интересов».
====================
Я же не на сайт сантехников пришел.
А как же char?
То есть вы вообще не только логику не знаете, вы вообще ничего не знаете.
Да куда уж мне… )))))
А теперь посчитайте количество комбинаций при двух значения и при восьми
unsigned long long largerThanlnt = 70000000000;
OCT 1011424636000: 13 pos
BIN 1000001001100010100110011110000000000: 37 pos
А зачем я это должен был подсчитать? Доказать что должно было? ;)
Начнем с того, что были компьютеры и с троичной логикой.
А бесконечный цикл логическим парадоксом не является.
Это либо недосмотр птограммиста или разработчика железа (ошибка, которой можно было бы избежать при должном уровне внимательности), либо "так было задумано".
Любой «недосмотр» программиста или программный сбой — это и есть «логический парадокс», который нарушает логику.
А если «так было задумано» — есть предусмотренный выход из бесконечного цикла.
А дальше — любая программа является реализацией некоего логически непротиворечивого алгоритма.
То есть первые логические парадоксы или противоречия могут возникнуть уже на стадии проектирования алгоритма.
Следующие — на стадии его программной реализации.
Таким образом, если программа не делает то, чего от нее ожидают значит в ней есть ЛОГИЧЕСКИЕ ОШИБКИ.
Именно логические, потому что синтаксические отслеживаются допустим в MS Visual Studio прямо в процессе ввода.
Любой «логический парадокс» основан именно на «логической ошибке».
ꓯa a <=> ꓶa
Ну да ладно, придется объяснять безграмотным
============
Для всех «а» существуют такие «а» для которых верно высказывание «0 = 1».
И что виной тому ваша абсолютная безграмотность?
Давайте определим уровень вашей неграмотности.
Итак, вы не знаете:
— логику во всех формах;
— комбинаторику;
— системы счисления,
— что такое алгоритм и так далее.
А вы не могли бы сказать ЧТО ВЫ ЗНАЕТЕ, чтобы я подстроился под ваш уровень знания?
У Роберта Шекли есть рассказ «Ответчик» — рекомендую.
Еще раз, «логический парадокс» появляется благодаря «логическим ошибкам».
Например, логический парадокс в виндовс — «синий экран смерти», но ведь к его появления привела «логическая ошибка» в какой-то программе.
Tertium non datur.
логический парадокс в виндовс — «синий экран смерти»,
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям
Какие взаимно исключающие утверждения содержатся в «синем экране смерти»?
Вы имеете в виду абстрактные умствования.
А ведь и железо и софт конкретные вещи, у которых должно быть видимое проявление того же логического парадокса, например, крах системы.
А вот действие вирусов могут привести и логическим парадоксам железа, после которого оно превращается в хлам.
И получилось вот, что минер перерезал не тот провод при разминировании.
А синий экран — означает взаимоисключающие рассуждения программиста о взаимодействии ОС и его прграммы.
А синий экран — означает взаимоисключающие рассуждения программиста о взаимодействии ОС и его прграммы.
Не всегда. Очень часто синий экран является следствием дефекта оборудования.
Кроме того, наличие в программе предпосылок для BSOD может быть вполне осознанным и не являться ни логической, ни какой еще иной ошибкой. Просто программу использовали не там, где было предусмотрено автором.
Даже если причина BSOD в ошибке программиста, в BSOD нет никакого парадокса, поскольку в процессе получения ошибки обычно совсем нет никаких взаимно исключающих рассуждений. В большом количестве случаев ситуация вообще не связана ни с какими рассуждениями (опечатка).
И вообще, BSOD сам по себе достаточно логичная штука: случилась фигня, и система об этом честно докладывает.
А так… Переходил дорогу на красный свет (подумал, что сейчас пронесет). Сбила машина. Парадокс, однако, по вашему получается.
=============
Причина — «логическая ошибка» в ПО.
Следствие — крах системы или «логический парадокс».
Все остановимся на этом.
Такое впечатление, что вы не умеете логично обосновывать свои утверждения, пытаясь подтвердить их в целом неверными утверждениями.
А синий экран — означает взаимоисключающие рассуждения программиста о взаимодействии ОС и его прграммы
Вы просто, похоже, не знаете, как появляется BSOD.
Он может проявляться вообще без взаимодействия программы и ОС, а исключительно усилиями самой ОС. Причем это может быть весьма логичным сигналом о повреждении оборудования.
Только в части случаев BSOD является следствием "логической ошибки в программе".
Даже если принять вашу странную точку зрения, что "логическая ошибка в программе" автоматически вызывает парадокс, то сам BSOD — не является парадоксом, а логичным сигналом системы о его наличии (да, именно так задумывалось поведение системы, и именно для того в систему вводился BSOD — сигнализировать о случившейся проблеме, которую не исправить силами ОС, и которая может привести к еще большим проблемам).
Но, возвращаясь к связке "логическая ошибка" — "неизбежный парадокс".
Определение логического парадокса гласит:
"Логический парадокс — это противоречие, имеющее статус логически корректного вывода".
Но в большинстве случаев логическая ошибка приводит не к парадоксу, а к логически некорректному выводу.
Возьмем еще один логический парадокс — буриданов осел.
Осел стоит перед двумя копнами сена, расстояние до которых совершенно одинаковое.
Какую копну сена он выберет — левую или правую?
Существует целый класс «логически-неразрешимых» задач.
Но неразрешимые они только в рамках ДВОИЧНОЙ логики.
В жизни осел не умирает с голоду.
Отсюда два вывода:
— осел не пользуется логикой — нонсенс;
— осел пользуется НЕ ДВОИЧНОЙ логикой.
Следовательно, Природа не использует двоичную логику.
Деньги — это ИИ с триадной логикой.
Три логических полюса Денег — Кредиторская Задолженность, Наличные Деньги, Дебиторская Задолженность.
Их же можно рассматривать как «формы существования» Денег.
Движение Денег осуществляется в виде смен «форм существования».
Человечество является эффектором Денег.
Можете хотя бы примерно прикинуть «тактовую частоту» этого ИИ — сколько транзакций происходит в Мире каждую секунду?
смотря что именно вы имеете ввиду под деньгами и под транзакциями — там имеет место быть достаточно много всяческой статистики. Но, в любом случае, даже если под деньгами понимать только то, чем в данный момент человек расплатился за кофей, и взять среднепотолочного человека, который оплатил проезд на работу, обед, и проезд обратно (что, в общем, не правильно) — то выйдет 7млрд * 3 / 24 / 60 / 60 — около 300к транзакций.
А если сюда прибавить весь тот ужас, который происходит в момент контакта кредитки с терминалом… А еще вспомнить за всякие биржи… А еще посмотреть в сторону блокчейнов (которые, правда, уже совсем условно деньги, но рапортуют о миллиардах транзакций в секунду)…
Ту же электроэнергию, те сервера и так далее.
Мы же без денег уже и шагу ступить не можем.
Представим на мгновение что Деньги исчезли.
Представим на мгновение что Деньги исчезли.
А чего представлять. На отдельных территориях оно уже было.
Сначала хаос. Потом либо натуральный товарный обмен, либо введение экономической системы, денег не требующей. Обычно заканчивается введением новых денег воздействием извне.
=============
Но я о другом, о том что Деньги являются ИИ, а люди его эффекторами.
Деньги используют природную триадную логику ему подчинены все компьютеры на Земли и вообще все существование Человечества.
Деньги являются ИИ, а люди его эффекторами.
Понятие ИИ предполагает принятие решений. Деньги решения не принимают.
Деньги используют природную триадную логику
Нет никакой "природной триадной логики". Триадная логика — такое же изобретение человечества, как и логика двоичная, и годится она, как и двоичная, только для приблизительного моделирования процессов.
В природе же все устроено гораздо сложнее.
Даже в той самой задаче про два паровоза на самом деле можно выделить по разным признакам любое количество групп вагонов от одной (все вагоны поезда) до количества вагонов в поезде в зависимости от потребности в детализации процесса.
В частности, если исходить из вашей детализации, то на самом деле помимо сжатых, растянутых и свободных будут вагоны, частично сжатые, частично растянутые.
При некоторых параметрах движения паровозов допускаю, что эта группа будет вообще единственной.
Ведь при начале движения, даже если состав тянет всего один паровоз, возникает волна (точнее волны разной длины из-за неоднородности состава) сжатий и растяжений, которая проходит через все вагоны и сцепки. Если паровоза два, то распространение волн в составе получается более сложным.
При желании, поведение поезда можно смоделировать и в бинарной логике, если просто грамотно ее применить, не натягивая сову на глобус.
Собственно говоря, возможность обсчета модели поезда на обычном двоичном компьютере тому доказательством.
ему подчинены все компьютеры на Земли и вообще все существование Человечества.
Кому "ему"?
Деньги решения не принимают.
Два вопроса:
— что такое ИИ
— что такое «принимать решение»
==============
Триадная логика — такое же изобретение человечества
Человеческая триадная и вообще н-мерная логика предполагает равноценность всех логических полюсов.
В природной триадной логике третий логический полюс является разделителем противоположностей и стабилизатором сущности.
Все что «существует» существует стабильно, либо не существует вовсе.
Два вопроса:
— что такое ИИ
— что такое «принимать решение»
ИИ, если использовать традиционную расшифровку аббревиатуры — искусственный интеллект.
Что такое "принимать решение" в данном контексте не важно. Важно, что принимать решения может только субъект, в то время как деньги в нашем мире являются исключительно объектом. Та роль, которую вы приписываете деньгам, на самом деле выполняется не деньгами, а институтами, использующими деньги в качестве инструмента.
Человеческая триадная и вообще н-мерная логика предполагает равноценность всех логических полюсов.
Необязательно.
Как вы логику нарисуете, так она и будет работать.
Двоичная в том виде, как она нам известна, используется почти везде только потому, что проста как пять копеек, дешева в реализации моделирующих устройств и позволяет притом с допустимой точностью моделировать значительную часть доступных человечеству для понимания процессов (в том числе и для моделирования логики более высоких порядков).
ИИ, если использовать традиционную расшифровку аббревиатуры — искусственный интеллект.
А что такое «искусственный интеллект»?
Это Скайнет и ничего кроме?
Что такое «принимать решение» в данном контексте не важно.
А если вы просто не можете понять, что решения принимаются?
Как вы логику нарисуете
Нарисовали — как совокупность двумерных логик.
проста как пять копеек
Как раз тот случай когда «простота хуже воровства» — цветной мир низвели до черно-белой фотографии. Даже серого цвета нет.
цветной мир низвели до черно-белой фотографии. Даже серого цвета нет.
Видимо, человеческий глаз воспринимает гораздо более узкий спектр частот и гораздо меньший диапазон интенсивностей, чем органы зрения Вашего вида, раз трёхбайтная цветовая схема для Вас выглядит чёрно-белой. К сожалению, это различие на нынешнем уровне развития биотехнологий принципиально неустранимо.
Речь идет о логиках — н-мерная логику представляют как совокупность двумерных.
В с++ такое называется свертка
правая свертка — ((((1 + 2) + 3) + 4) + 5
левая свертка — (1 + (2 + (3 + (4 + 5))))
А с какой целью вы со мной разговариваете?
Цветной мир прекрасно моделируется с приемлемой точностью бинарной логикой. Доказано существованием цифровых фотоаппаратов.
с приемлемой точностью
это ключевое слово.
Только вот к логике оно неприменимо.
Вполне применимо, как показывает практика.
Все восприятие человеком природы и логики опирается по большей части на приблизительные оценки. И ничего, работает. Более того, огромный раздел математики как раз и занимается приближенными вычислениями с заданной точностью, в том числе для решения логических задач.
Кстати, если говорить о логике и природе, то при описании природы через логику правильнее будет настаивать не на мифически "природной", триадной, а на нечеткой логике, которая, внезапно, уже давно применяется человечеством, в том числе и в компьютерах (правда, не в традиционных, а в специализированных, в традиционных оно прекрасно моделируется двоичной логикой).
Вполне применимо
Смотря для чего «применимо».
Например, для создания ИИ совсем неприменимо.
на нечеткой логике
«Нечеткая» является вполне «четкой двоичной» только замаскированной.
а в специализированных
В с++ такое называется свертка
правая свертка — ((((1 + 2) + 3) + 4) + 5
левая свертка — (1 + (2 + (3 + (4 + 5))))
Проблема в том, что в природной логике логические полюса НЕРАВНОЦЕННЫ.
Например, для создания ИИ совсем неприменимо.
Для того, что называют ИИ сейчас, вполне применимо, поскольку уже работает.
С более другими ИИ напряженка, поскольку непонятно, как этот ИИ вообще должен работать, на каких принципах основываться.
«Нечеткая» является вполне «четкой двоичной» только замаскированной.
Если вам не нравится нечеткая логика (хотя она рядом не валялась с "четкой двоичной"), есть еще вероятностная.
а в специализированных
В с++ такое называется свертка
А какая связь у специализированных компьютеров, использующих нечеткую логику (обычно именуемых нейросетями и построенных на искусственных нейронах) и у вашей формулы свертки?
Кстати, в сверточных нейросетях свертка выполняется совсем не так.
Проблема в том, что в природной логике логические полюса НЕРАВНОЦЕННЫ.
Опишите, что с вашей точки зрения означает "неравноценность логических полюсов природной логики", пожалуйста.
Ваша терминологическая база порой выглядит, мягко говоря, несколько нестандартной, а потому порой вызывает абсолютное непонимание.
Кстати, возвращаясь к бедному абстрактному ослику.
Если рассматривать его поведение в бинарной логике, то его поведение будет определяться просто:
Если левая копна ближе, то есть ее, иначе есть правую. Или наоборот, любое решение прокатит. Главное, при равном расстоянии прошить четкое решение в любую из сторон.
В реальной природе же проблема выбора между двумя равноценными объектами решается просто.
Либо жесткой прошивкой одного из вариантов (один всегда будет справа или слева, снизу или сверху, спереди или сзади), либо "киданием монетки" (задействованием любого ГСЧ, сиречь случайного процесса), либо "пусть один ослик сдохнет, на всю популяцию это не окажет никакого влияния, поскольку ситуация абсолютно равнозначного выбора очень маловероятна".
Ваша терминологическая база порой выглядит, мягко говоря, несколько нестандартной
Проблема в том, что вы и не стараетесь понять — вы стараетесь переспорить.
Если вам не нравится нечеткая логика (хотя она рядом не валялась с «четкой двоичной»), есть еще вероятностная.
Вероятность — это мера нашей безграмотности.
Если смотреть из Прошлого в Будущее, то вероятность — это неспособность предсказать Будущее.
Если же смотреть из Будущегов в Прошлое, то никакой вероятности не нужно — все вполне однозначно.
именуемых нейросетями и построенных на искусственных нейронах
В основе все равно двоичная — у нас нет недвоичных процессоров.
Кстати, в сверточных нейросетях свертка выполняется совсем не так.
А я и не говорил что так — я привожу аналогии.
Любая логика в итоге сводится к двоичной.
Я просто предлагаю посмотреть на Мир из другой системы координат.
Есть такая задача «о двух паровозах», в корой наглядно видна природная логика и неравноценность полюсов.
Не видна совершенно. В качестве полюсов вы представили три состояния вагонов: сжат, растянут, нейтрален. С какого перепуга они не равноценны?
Кстати, с точки зрения бинарной логики тоже нет никаких противоречий. просто вы неправильно ее пытались применить к данной задаче.
В основе все равно двоичная — у нас нет недвоичных процессоров.
Там не всегда процессоры.
Вероятность — это мера нашей безграмотности.
Скорее мера нашей информированности. Никогда не будет абсолютного знания о текущем состоянии окружающего мира, поскольку само наблюдение изменяет окружающий мир. А измерение всегда имеет погрешность.
А потому без вероятностей никуда. Разве что абстрактные построения, не вполне применимые в реальности.
Там не всегда процессоры.
Не буду спорить я не специалист в этой области.
Но как бы там ни было, логика остается двоичной — мы просто пытаемся обойти ее ограничения.
Никогда не будет абсолютного знания
Совершенно верно.
А теперь про «задачу о двух парвозах» — логика такова, что вагоны не являются наблюдателями — они часть этого мира.
"Не буду спорить я не специалист в этой области.
Но как бы там ни было, логика остается двоичной — мы просто пытаемся обойти ее ограничения."
"Я не знаю, но все равно так, как я сказал, и точка". Ну-ну.
Впрочем, сейчас там, насколько я знаю, в основе действительно двоичная логика, поскольку оно реально работает, дешевле и проще, а другие способы моделирования нейронов оказались не столь удобными.
А теперь про «задачу о двух парвозах» — логика такова, что вагоны не являются наблюдателями — они часть этого мира.
Без наблюдателя задача о паровозах не имеет смысла, поскольку нет наблюдателя — нет задачи.
А о процессе, который мы не наблюдаем, мы ничего знать не можем. Так уж человек устроен, он получает информацию о реальном мире через наблюдение. Других каналов пока не просматривается. Разве что астрал какой-нибудь. Но с этим пока сложности. Даже не доказано его существование.
И все же, с какого перепугу три состояния вагонов (сжат, растянут, нейтрален), которые вы оцениваете как логические, являются неравнозначными?
Почему вы неправильное применение бинарной логики к данной задаче воспринимаете как невозможность ее решения в бинарной логике вообще?
Почему игнорируется четвертое состояние вагона?
Ну-ну
Из того, что я не знаю чего-то одного, не следует, что я не знаю ничего.
а другие способы моделирования нейронов оказались не столь удобными
А я о чем вам пытаюсь сказать, но вы меня не то что не слышите, но и слышать не хотите.
«Другое» — это просто тоже самое, но со «сверткой».
нет наблюдателя — нет задачи
Неверная постановка вопроса — приводит к неверным ответам.
Можно взять швейцарский хронометр бросить его в стену и по траекториям разлетающихся деталей «познавать мир».
А можно стать частью этого мира и плыть по течению любуясь его красотой.
Все знания у нас есть просто для дикарей, какими мы являемся — это «белый шум».
Но как бы там ни было, логика остается двоичной — мы просто пытаемся обойти ее ограничения.
Есть еще и нечеткая логика: не как в бинарной логике — 0 и 1, а значения на отрезке [0; 1]. Живые нейроны работают по нечеткой логике. Зато в синтетических нейросетях значительно чаще используется двоичная логика в силу упрощения и уменьшения объема вычислений, и значительно реже — нечеткая логика с заданной дискретизацией. Проводятся также эксперименты по построению нейросетей на аналоговых элементах и на живых нейронах, изъятых из мозга животных.
Есть еще и нечеткая логика
Есть много чего — эвристика, нечеткая логика, неформальная логика, н-мерная логика.
Проблема только одна — все они в итоге сводятся к двоичной логике.
Живые нейроны работают по нечеткой логике
Нет. Я и пытаюсь донести до вас, что «все существующее» подчиняется той же логике, которая наглядно просматривается в «задаче о двух паровозах»
Она триадная, но неравноценная — ("+" — "~" — "-").
Трех полюсная, но НЕ ТРЕУГОЛЬНАЯ.
что «все существующее» подчиняется той же логике, которая наглядно просматривается в «задаче о двух паровозах»
Все существующее вполне описывается триадной логикой. Но триадная логика (хоть ваша, "неравноценная", хоть "треугольная") легко моделируется через двоичную и наоборот.
Но есть нюанс.
Есть вполне себе природные процессы, которые не очень красиво вписываются в вашу концепцию, в силу своей природной бинарности.
Например — преобразования нейтрон-протон и обратно.
Есть воздействие, преобразующее нейтрон в протон. Есть воздействие, преобразующее протон в нейтрон.
А промежуточного состояния нет. Придется создавать фиктивное состояние, которого на самом деле нет, чтобы вписать процесс в вашу триадную логику, или измысливать другой взгляд на процесс, вводя состояние, не связанное непосредственно с нашим процессом.
Или разрыв связи. Есть состояние, когда связь есть. Есть состояние, когда связь уже разорвана. Но нет промежуточного состояния, когда связь уже не существует, но еще не разорвана.
Например — преобразования нейтрон-протон и обратно
Я не специалист в ядерной физике, поэтом не могу доказать неверность ваших рассуждений.
Но триадная логика (хоть ваша, «неравноценная», хоть «треугольная») легко моделируется через двоичную и наоборот.
Логика «задачи о двух паровозах» не модулируется в двоичную.
Группа «свободных» вагонов является ПЛАВАЮЩЕЙ — она КОЛЕБЛЕТСЯ нивелируя попытки войти в резонанс, в первую очередь.
Ее поведение МОЖНО СРАВНИТЬ с нечеткой логикой, но это всего лишь СХОЖЕСТЬ, основанная на том факте, что ее колебания носят «нечеткий» характер.
На самом деле — это РЕАКЦИЯ на «внешние раздражители».
Группа «свободных» вагонов является ПЛАВАЮЩЕЙ — она КОЛЕБЛЕТСЯ нивелируя попытки войти в резонанс, в первую очередь.
В таком случае это не состояние, а целый континуум различных состояний, между которыми идёт непрерывное переключение. Иначе получается, что одно и то же состояние может реагировать на внешние раздражители разным образом (в зависимости от, условно говоря, фазы колебаний).
Природа (как нечто целое) вообще не использует логику. Вообще никак не использует. Она подчиняется некоторым закономерностям, которые могут быть описаны с использованием логики, но это совсем другая история, касающаяся описания природы в целом ее частью — человеком.
Некоторые части природы (обладающие интеллектом или его зачатками, в отличие от природы в целом) используют логику (по крайней мере ее базовые основы).
Некоторые даже (о ужас!) используют двоичную логику (доказано пока только про людей).
И осел не умирает с голоду в ситуации с двумя копнами сена совсем не от того, что не использует двоичную логику.
А некоторые люди иногда используют двоичную логику. И ничего, в ситуации выбора из двух равнозначных вариантов не всегда пасуют. А те, которые пасуют, делают это совсем не от того, что используют двоичную логику.
Но относительно самой двоичной логики это не имеет значения. Двоичная логика придумана не для разрешения парадокса про осла имени одного известного человека. Она придумана для построения математической модели логики.
А в компьютерной технике она была использована даже не в тех целях, в которых была изначально задумана, т.е. не для для описания логики вообще, а для проведения банальных математических вычислений в рамках булевой алгебры, что позволило производить уже нормальные арифметические вычисления за счет реализации приблизительной модели, описывающей обычную математику через булеву алгебру.
Уровень логики программиста как правило находится вообще вне бинарной логики компьютера, поскольку он как правило оперирует не булевой алгеброй, на которой базируется компьютер, а уровнем языка программирования (даже если это ассемблер).
Конечно, почти в каждом ЯП есть операции двоичной логики. Но используются они далеко не всегда и не являются основой ЯП. Это всего лишь операции булевой алгебры, которые программист может использовать наряду с другими средствами для описания своей модели.
Более того, как показывает практика, некоторые программисты даже не догадываются о наличии подобных операторов в своем любимом языке, а остальные почти не используют их.
Если программист допускает логическую ошибку, то он допускает ее в своей модели той предметной области, поведение которой он пытается описать своей программой, или в процессе перевода описания поведения модели в вид программы.
Если в голове программиста возникли парадоксы, которые он заложил с в своей модели и описал в программе, то это не парадоксы программы и компьютера. И они никак не связаны с самим процессом написания программы, с ЯП и с процессом исполнения программы на компьютере.
При этом на уровне исправного компьютера (любом его уровне) вообще никаких логических ошибок и парадоксов не имеется по определению. И если программист "сказал" компьютеру "какую-то чушь", то компьютеру не холодно и не жарко. Компьютер просто тупо выполнит то, что написал ему программист, произведя все действия, полагающиеся при выполнении программы. Если в ОС написано, что правильным действием при выполнении такой программы будет синий экран, то компьютер, исполняя строго код самой ОС, покажет синий экран. Если программист вольно или невольно описал бесконечный цикл, то будет исполняться бесконечный цикл.
Природа (как нечто целое) вообще не использует логику. Вообще никак не использует.
В качестве примера «природной логики» возьмите «задачу о двух паровозах».
Логика, которая там ИСПОЛЬЗУЕТСЯ присутствует во всем ЧТО СУЩЕСТВУЕТ.
Можно сказать, что логика присутствует в природе благодаря тому, что оно есть в описании природы человеком. Но "природа использует логику" — это перебор.
Ох уж мне это очеловечивание природы.
"Природа создала", "природа использует логику", "природа придумала".
логика присутствует в природе благодаря тому, что оно есть в описании природы человеком.
То есть вы утверждаете, что сначала человек создал логику и только потом Природа стала ее использовать?
А до того как Аристотель ее создал логики в Природе не было?
И все же как у нас дела с «задачей о двух паровозах»?
То есть вы утверждаете, что сначала человек создал логику и только потом Природа стала ее использовать?
Даже после того, как человек создал логику, природа не стала ее использовать. Логику стал использовать человек.
А природа продолжила существовать по законам, которые могут быть описаны при помощи человеческой логики.
А насчет паровозов, это что за задача такая? Гуглится только задача на тему паровозов, которые надо столкнуть, написав для них программу.
Ладно, есть достаточно длинный и тяжелый железнодорожный состав, который не под силу одному паровозу. Тогда к составу СЗАДИ прицепляют второй.
Но тут, с точки зрения двоичной логики, возникает логическая ошибка — один тянет — растягивает, а другой — толкает, сжимает.
И какое отношение это имеет к двоичной логике?
Есть два истинных утверждения, не противоречащих друг другу. Нет тут никакой логической ошибки.
Еще раз, «логический парадокс» появляется благодаря «логическим ошибкам».
Но не всякая логическая ошибка приводит к парадоксу.
Для всех «а» существуют такие «а» для которых верно высказывание «0 = 1».
Это же надо привести формулу и самом не уметь ее прочитать! Ваше выражение читается как «любое выражение является истинным в случае если оно ложно и наоборот».
Во-первых, это не верная запись, классически вместо квантора общности ꓯa нужно использовать квантор существования ∃. Т.е. существуют такие а, для которых и так далее…
Во-вторых, это все не имеет отношения к булевой алгебре. Грубо говоря, в булевой алгебре нет таких а! )) Поэтому выражение ложно.
Я уже говорил о них, ну да ладно — повторение мать учения.
Квантор существования обозначается ꓱa — можно озвучить как «существует хотя бы один».
Квантор всеобщности обозначается ꓯa — можно обозначить как двойное отрицание — «не существует ни одного».
Каким образом их можно употреблять вместе?
Далее, любое суждение не может быть «правильным» или «не правильным» — оно или истинно или ложно.
Выражение «я являюсь своей противоположностью» — это всего лишь ВЫРАЖЕНИЕ.
Приведенная вами запись является ложным утверждением с точки зрения булевой алгебры. Это отнюдь не парадокс.
Любое утверждение либо ИСТИННО, либо ЛОЖНО.
Парадокс лжеца — это ВСЕГДА ЛОЖНОЕ утверждение.
Что и отображает моя запись.
Может быть вы все таки почитаете учебник, чем городить ерунду?
Вот выше я описал в ее терминах именно парадокс лжеца.
Понять можете?
Знак <=> не имеет отношения к «является»(∈) и к равенству(=) тоже. Это взаимное следствие, эквивалентность. Можно сформулировать как «выражение является истинным в случае если оно ложно и наоборот». Этот знак подходит для парадокса лжеца, если конечно не впихнуть туда еще квантор общности ꓯa, что читается как «для любого а»! ;) Т.е. любое выражение является истинным в случае если оно ложно и наоборот! ))) Это уже не парадокс лжеца, а буддизм какой-то! Типа все в мире равнозначно и потому не имеет значения.
Т.е. можно записать так: ((a <=> 1) -> (a <=> 0)) & ((a <=> 0) -> (a <=> 1))?
В вашем случае нет никакого корректного вывода — есть просто некорректное тождество и все.
Вы могли бы просто записать true <=> false, и объявить это парадоксом — эффект был бы тем же.
И парадоксальность его в том, что ложью является любая его оценка хоть «истина» хоть «ложь».
Именно об этом и говорит квантор всеобщности.
Если квантор существования можно озвучить так — «существует хотя бы один».
То квантор всеобщности можно заменить двойным отрицанием — «не существует ни одного».
Возвращаясь к лжецу получаем — «Не существует ни одного истинного варианта для выражения 0 = 1».
Оценка, суждение, заключение в данном случае парадоксально тем, что ложна возможность сделать такое заключение.
Если рассматривать его с точки зрения булевой алгебры его оценка лежит ВНЕ множества возможных оценок.
Уважаемый, а вы вообще в курсе, что ЛПП непротиворечива, а значит, в ней невозможно вывести утверждение, которое будет ложно в какой-либо интерпретации?
Теорема Геделя утверждает, что невозможно непротиворечиво описать систему находясь внутри нее.
Нет, теорема Геделя этого не утверждает, она утверждает несколько иное (ну, совсем иное, если уж прямо говорить).
К слову, теорема, утверждающая непротиворечивость логики первого порядка — это тоже теорема Геделя. Просто другая. Та, про которую вы говорите (неправильно говорите) — это теорема Геделя о неполноте, а та, про которую говорю я — это теорема Геделя о полноте.
Вот такие вот дела ;)
К тем кто их прочитал еще тогда когда другие пешком под стол ходили.
Видимо, в этом и проблема. Давно читали. Вот и про теоремы Геделя забыли уже за давностью лет. Перемешалось в голове все.
Возможно, следует освежить память :)
В таком случае зачем нам обработка исключительных ситуаций, если ошибок не бывает?
А при чем тут обработка исключительных ситуаций?
Допустим. В этом контексте — при чем тут обработка исключительных ситуаций?
— Программный код — это логика?
— «Допустим».
— Ошибки в программном коде логические?
— «Это невнимательность прграммиста».
— Неработающая или криво работающая программ это логический парадокс?
— «Нет двоичная логика не допускает парадоксов».
==============
Блин! Пчелы не используют обработку искючительных ситуаций.
Так а обработка исключительных каким боком к разговору относится? И какое отношение логические парадоксы имеют к ошибкам в коде? Если я сделал в коде опечатку и прибавил вместо того, чтобы умножить — при чем тут логические парадоксы?
Если я сделал в коде опечатку
Значит существует возможность сделать ошибку — это само по себе уже является парадоксом.
А название этого парадокса — человеческий фактор.
Ее придумал Аристотель для борьбы с софистами.
А теперь с третьей, если бы он не был учителем Александра Македонского, то о нем бы вообще никто не знал.
И с четвертой, ни одно утверждение Аристотеля при проверке не оказалось истинным.
Почему же мы его Логику считаем правильной.
Зачем её вообще было сюда тащить
То есть вы не понимаете того факта, что она и есть именно та логика, на которой построены наши компьютеры?
Вы считаете, что у нас есть другая логика?
любой логике будет содержаться человеческий фактор
Совершенно неверное утверждение — Природа существует прекрасно без человека.
====================
Кстати, не все что создано человеком создано по законам двоичной логики.
Еще точнее, только все, что связано с вычислениями.
====================
Сегодня я привел пример «нечеловеческой» логики — «задача о двух паровозах».
«В центре состава возникает группа вагонов, которые и не сжаты и не растянуты. Отдельные вагоны этой группы присоединятся то к растянутым, то к сжатым».
=================
Мы имеем наглядный пример триадной логики:
— растянутые "+"
— нейтральные "~"
— сжатые "-"
Давайте для начала ОСОЗНАЕМ этот факт.
Отбросьте «конкретное» и перейдите на «абстрактный» уровень.
Вот здесь как раз «закон исключенного третьего».
Отбросьте конкретное — осла.
Парадоксы они тоже делятся на группы.
Почему?
Потому, что осел СТОИТ.
Причем это не статическая система — это вообще не система.
Все мгновенно бы поменялось начни осел двигаться — в движении практически невозможно достичь идеального равновесия.
===============
Перейдем к паровозам — пока состав неподвижен там тоже нет системы — набор ничем не связанных элементов.
А вот когда он начинает двигаться, то возникает система.
Причем не просто система, а САМОРЕГУЛИРУЮЩАЯСЯ СТАБИЛЬНАЯ система подчиняющаяся законам триадной НЕЧЕЛОВЕЧЕСКОЙ логики.
Ну что там человеческого?
Что главное в ней для нас?
САМОРЕГУЛИРУЕМОСТЬ — нет надобности в «обработке исключений».
в человеческой то есть в двоичной логике
Вопрос снят, спасибо. Для полноты картины остаётся понять принятое для Вашего родного мира определение «системы», но это уже мелочи и меня самого касаться, по идее, не должно, пусть этим занимаются те, кто в такие миры ходит как на прогулку — я хоть и «проводник», но сам лично всё же ограничен Землёй.
Компьютеры построены на двоичной логике, но используются в них она не по назначению.
Точнее, используется даже не сама двоичная логика, а двоичная алгебра — строгая математическая дисциплина, вводящая набор значений — 0 и 1 (истина и ложь) и набор операций над ними.
А используют ее в общем не для операций над отдельными значениями "истина" и "ложь", а для моделирования математических вычислений, которые в итоге и используются для выполнения любой программы.
Есть только два случая, когда в программах применяется булева алгебра непосредственно (не двоичная логика, а именно булева алгебра). Это условия ветвления и битовые операции.
Причем даже для организации ветвления в программах далеко не всегда используются средства булевой алгебры.
Компьютеры построены на двоичной логике, но используются в них она не по назначению.
В 1977 году в Ною-Йорке произошла авария городской энергосети.
Причиной послужил пик МИНИМУМА потребления — энергосеть, состоящая на тот момент почти из одних реле, сработала именно как логическая система, в которой возникла логическая ошибка, приведшая к логическому парадоксу — аварийному отключению.
===============
Любой ЯП в том числе и Ассемблер скрывает двоичную суть Компьютера.
Однако если вспомнить, что ЦП может только складывать и вычитать, то все возвращается на свои места.
Причиной послужил пик МИНИМУМА потребления — энергосеть, состоящая на тот момент почти из одних реле, сработала именно как логическая система, в которой возникла логическая ошибка, приведшая к логическому парадоксу — аварийному отключению.
Внезапно, все было совершенно правильно с точки зрения логики работы системы защиты.
И никакого логического парадокса.
Если посмотреть историю аварии, то первоначальные отключения производились из-за попадания молний, а в последствии из-за повышенной нагрузки на отдельные узлы энергосистемы.
Исходным толчком послужило попадание молний в одну из подстанций и две ЛЭП. Защита отключила их, что вызвало повышенную нагрузку на другие ЛЭП с превышением их возможностей и их последующее аварийное отключение. Отказ от выполнения отключения привел бы к еще более печальным последствиям (на одной ЛЭП так и произошло — перегрелась, чрезмерно провисла и замкнула).
Причины в виде «молний» были придуманы намного позднее как отмазки.
Все здания ЗАЗЕМЛЕНЫ.
И для энергосистем намного страшнее НЕ МАКСИМУМЫ, а МИНИМУМЫ.
Какое отношение отсутствие единой системы энергоснабжения имеет к срабатыванию систем защиты?
Какое отношение наличие заземления имеет к срабатыванию систем защиты при ударах молний? Внезапно, несмотря на все исправные заземления при ударе молнии часто что-то выходит из строя.
И для энергосистем намного страшнее НЕ МАКСИМУМЫ, а МИНИМУМЫ.
Для энергосистем опасны обе проблемы, поскольку невозможно просто взять и изменить мощность генерации. А несоответствие генерируемой и потребляемой мощности — всегда проблема.
Есть способы решения, но часто они неоправданно дороги и не позволяют достаточно оперативно реагировать при быстром изменении потребления.
При максимумах срабатывает недополучают потребители.
А вот резкий скачок равносилен разрушению плотины.
Молнии, даже при наличии громоотводов, вполне исхитряются попадать в здания.
Даже если они в здания не попадают, они устраивают наводки в электропроводящих материалах, из которых, внезапно, состоят электрические сети. Порой эти наводки получаются настолько значительными, что приводят к авариям.
При максимумах срабатывает недополучают потребители.
Не вполне понятное предложение.
Ну да ладно, отвечу, как понял.
И при максимумах, и при минимумах приходится принимать меры по выравниванию генерации и потребления, поскольку при дисбалансе изменяются частота тока и напряжение в сети в силу особенностей устройства электросетей (включая генерацию, транспорт и потребление).
При максимумах приходится увеличивать генерацию или ограничивать потребление, если генерация не справляется или сети не рассчитаны на текущий максимум.
При минимумах приходится ограничивать генерацию или перенаправлять ее часть на других потребителей (в регионы с дефицитом или на аккумулирующие системы вроде ГАЭС).
Любое изменение генерации — сложная процедура, поскольку невозможно мгновенно вывести генерирующие мощности из сети или ввести их в сеть.
Новомодные батарейки (вроде тесловских в Австралии) весьма сильно улучшают возможности по управлению генерацией и потреблением, но даже они не всесильны.
Молнии, даже при наличии громоотводов, вполне исхитряются попадать в здания.
Исходя из личного опыта никогда с таким не сталкивался. По-моему эта задача была решена еще Ломоносовым.
они устраивают наводки
На тот момент использовались в основном реле — электро-механические устройства, им по фигу «наводки».
При максимумах приходится увеличивать генерацию или ограничивать потребление,
То есть на поставщиках никак не сказывается.
При минимумах приходится ограничивать генерацию или перенаправлять ее часть на других потребителей
В том то и проблема — в США нет единой энергосистемы, а существующие являются частной собственностью.
Исходя из личного опыта никогда с таким не сталкивался. По-моему эта задача была решена еще Ломоносовым.
А я сталкивался. Например, вполне реальная ситуация, когда часть заряда молнии благополучно уходит в громоотвод, а другая часть бьет в находящееся рядом здание или сооружение (особенно если громоотвод смонтирован непосредственно на здании или сооружении).
На тот момент использовались в основном реле — электро-механические устройства, им по фигу «наводки».
Им не пофигу наводки, поскольку наводки в электрических сетях — это вполне реальные изменения в напряжении, токе и частоте, которые вполне могут заставить автоматику сработать.
То есть на поставщиках никак не сказывается.
Еще как сказывается. Поставщикам приходится увеличивать генерацию и маневрировать сетями поставки электричества потребителям. А это достаточно сложные процессы.
Даже простое отключение потребителя приводит к необходимости производить сложные процессы, компенсирующие это отключение. Ограничить потребление потребителя тоже не так просто, как кажется, поскольку надо удерживать параметры электросети (напряжение и частота).
В том то и проблема — в США нет единой энергосистемы, а существующие являются частной собственностью.
Отсутствие единой энергосистемы в США не влияет на логику защиты и аварийных отключений. Оно всего лишь ограничивает возможности по маневрированию мощностями.
А я сталкивался.
Это надуманная ситуация — в нашей стране миллионы километров ЛЭП под открытыми небом и сотни тысяч подстанций, но ничего подобного никогда не было.
это достаточно сложные процессы
Это был настолько быстротечный процесс, что даже автоматика не успела среагировать.
Это надуманная ситуация — в нашей стране миллионы километров ЛЭП под открытыми небом и сотни тысяч подстанций, но ничего подобного никогда не было.
Вы имеете срабатывание аварийной защиты после удара молнии? Было, очень даже было.
Например, 3 июля 2018 года микрорайон в Красноярске остался без света и воды после того, как разряд молнии ударил в опору линии электропередач.
Это был настолько быстротечный процесс, что даже автоматика не успела среагировать.
Проблема любой автоматики в том, что ей надо время на "распознавание ситуации" и срабатывание.
Естественно, она срабатывает после события а не до и не во время. Благо, обычно есть время на срабатывание до того, как событие приведет к непоправимым последствиям.
Одним и оригинальных было создание искусственного водоема, который закачивалась вода во время минимумов.
А использовалась во время уменьшения естественных осадков.
Вы имеете срабатывание аварийной защиты после удара молнии? Было, очень даже было.
Например, 3 июля 2018 года микрорайон в Красноярске остался без света и воды после того, как разряд молнии ударил в опору линии электропередач.
Очень интересный случай произошел во время моей службы в армии. Выехали мы тогда на танковое стрельбище. На следующий день пошел дождь, и разразилась сильная гроза. И вот сидим втроем как-то вечером в окопе под навесом, наблюдаем за грозой. И вдруг у меня в голове что-то «дернуло», и я говорю, что сейчас молния ударит вон в тот столб (показал рукой на опору ЛЭП в километре от нас, а то и дальше). И секунд через 10 как жахнет сильнейший разряд молнии, и именно в эту опору ЛЭП! В результате мы дня 3 сидели без света и без дела, ожидая, когда починят электричество, без которого не могло быть танковых стрельб (движение мишеней, подсветка, освещение и т.д.), да и все населенные пункты вокруг полигона остались без света.
как жахнет сильнейший разряд молнии, и именно в эту опору ЛЭП
Теперь смотрим — опора имеет громоотвод и заземление, провода висят на изоляторах. Все это рассчитано исходя из геофизических данных этого района.
Вывод — где-то было допущено НАРУШЕНИЕ проекта.
Короче, был банальный БРАК.
Но я говорю о другом — в 1977 аварийное отключение было по причине резкого ПАДЕНИЯ ПОТРЕБЛЕНИЯ.
В результате энергосеть сработала как логическая система.
Возник логический парадокс наподобии деления на нуль.
Вы глубоко заблуждаетесь.
Любая защита носит вероятностный характер и ограничивается балансом затрат и стоимости/значимости сохраненного имущества.
Никто не будет вкладывать в грозозащиту средства, превышающие стоимость защищаемого имущества или размер предполагаемого ущерба, поскольку дешевле будет устранить последствия воздействия молнии, превысившего возможности грозозащиты.
Более того, защита будет производиться только в рамках приемлемого риска, а не на все случаи жизни.
Сам процесс расчета грозозащиты носит вероятностный характер.
Согласно инструкции по устройству молниезащиты зданий, сооружений и промышленных коммуникаций, которая и используется при расчете грозозащиты (синоним молниезащиты) надежность оной для обычных объектов устанавливается от 0.8 до 0.98, а для специальных от 0.9 до 0.999. Т.е. вероятность повреждения объекта молнией не так уж и мала, чтобы это повреждение было чем-то исключительным.
Коэффициент запаса — величина, показывающая способность конструкции выдерживать прилагаемые к ней нагрузки выше расчётных. Наличие запаса прочности обеспечивает дополнительную надёжность конструкции, чтобы избежать катастрофы в случае возможных ошибок проектирования, изготовления или эксплуатации.
Общая формула для коэффициента запаса имеет вид:
n = S T {\displaystyle n={\frac {S}{T}}} {\displaystyle n={\frac {S}{T}}}
где S {\displaystyle S} S — предельно допустимое значение рассматриваемой величины (силы, напряжения, перемещения и т. д.); Величина получена при механических испытаниях материала.
T {\displaystyle T} T — расчетное значение этой величины.
Величина выбирается в соответствии с критерием работоспособности конструкции.
Критерий работоспособности выполняется, если
n > [ n ] {\displaystyle n>\left[n\right]} {\displaystyle n>\left[n\right]},
где [ n ] {\displaystyle \left[n\right]} {\displaystyle \left[n\right]} — минимально допустимый коэффициент запаса.
Строгих методов для выбора допустимых коэффициентов запаса не существует, поскольку коэффициент является мерой незнания всех факторов, влияющих на работу конструкции. Выбор производится на основе опыта эксплуатации аналогичных конструкций. В каждой отрасли промышленности существуют собственные нормативы, определяющие допустимые коэффициенты запаса. Наименьшие коэффициенты используются в аэрокосмической отрасли, в силу жестких требований к весу конструкции. Очень большие запасы (порядка 4...6) используются для грузоподъёмного оборудования, в особенности для перевозящего людей (для троса пассажирского лифта коэффициент достигает 10).
И с четвертой, ни одно утверждение Аристотеля при проверке не оказалось истинным.
:) Разве?
"Из ложных посылок можно вывести истинное заключение"
0|0=1
| в данном случае не оператор языка С, обозначающий "или", а операция булевой алгебры, именуемая "штрих Шеффера".
:) Разве?
Например, о том что большое тело падает быстрее.
"ни одно утверждение Аристотеля при проверке не оказалось истинным" не доказывается через "например..."
А я привел контрпример, т.е. утверждение все того же Аристотеля, которое в определенной ситуации оказывается вполне истинным.
Значит существует возможность сделать ошибку — это само по себе уже является парадоксом.
А, понял, у вас свое понимание понятия "парадокс", отличное от общепринятого. Ну так бы сразу и сказали.
Существует класс «логически неразрешимых» задач.
Но эти задачи НЕОДНОРОДНЫ и разделяются на подклассы.
Соответственно, каждый подкласс являет собой особенный тип «логического парадокса».
Логический парадокс — это НЕРАЗРЕШИМОСТЬ именно в двоичной логике и не более того.
Логический парадокс — это НЕРАЗРЕШИМОСТЬ именно в двоичной логике и не более того.
Неразрешимость чего?
Под решением имеется ввиду — единственный и однозначно определенный ответ на поставленный в задаче вопрос.
Ответ может быть либо «истина», либо «ложь».
Под решением имеется ввиду — единственный и однозначно определенный ответ на поставленный в задаче вопрос.
Ответ может быть либо «истина», либо «ложь».
А можно пример такого утверждения сформулировать, для которого нельзя сказать, ложно оно или истинно?
Я лжец.
Но это не высказывание ЛПП. Высказывание ЛПП — это, например, "WladWlad — лжец".
Еще одна попытка.
Вы не привели решения задачи «Я лжец».
Вы не привели задачи.
Еще попытка.
Напоминаю — вы хотели сформулировать утверждение, для которого не выходит сказать, ложно оно или истинно. Я утверждаю, что у вас не выйдет.
К счастью, товарищ Гедель математически доказал, что я прав, так что никакого риска с моей стороны тут нет.
Нужно оценить ложно или истинно высказывание «я лжец».
Вы пытаетесь подсунуть ДРУГУЮ задачу.
Нужно оценить ложно или истинно высказывание «я лжец».
Это не высказывание.
Это не высказывание.
С какой стороны?
Приведите доказательство того, что это «не высказывание».
Приведите доказательство того, что это «не высказывание».
В высказываниях ЛПП нету аналогов местоимений, в предложенном вами тексте — есть. С-но, предложенный вами текст — не высказывание ЛПП.
Пчелы не используют обработку искючительных ситуаций.
Совершенно верно, они просто продолжают писать в /dev/null и терять мёд через срезанную стенку сот.
Неработающая или криво работающая программ это логический парадокс?
Назовёте два противоречащих друг другу вывода, вытекающих при этих условиях из одних и тех же посылок, — будет парадокс, по Вами же приведённому определению.
Ошибки в программном коде логические?
Смешение понятий «ошибка в последовательности рассуждений» и «ошибка в реализации требований»?
Смешение понятий «ошибка в последовательности рассуждений» и «ошибка в реализации требований»?
Действительно, «умышленное убийство» и «нанесение тяжких телесных повреждений со смертельным исходом» нельзя считать синонимами.
Во втором случае уже как бы и не убийство.
===========
Любая ошибка в программном коде для начала ЛОГИЧЕСКАЯ.
А уже только потом — в каком месте логических построений она произошла.
Действительно, «умышленное убийство» и «нанесение тяжких телесных повреждений со смертельным исходом» нельзя считать синонимами.
Нельзя, разумеется, только не из-за того, что «как бы и не убийство», а из-за того, что второй случай — это убийство по неосторожности.
Любая ошибка в программном коде для начала ЛОГИЧЕСКАЯ.
А уже только потом — в каком месте логических построений она произошла.
Есть задача — да хотя бы и рассмотренная Вами: «создать массив, заполнить случайными величинами и отсортировать». Возможно ли привести непрерывную цепочку логических построений, которые приводят от этой формулировки к программному коду? А потом указать, к примеру, если программа сортировки зацикливается — где в этой цепочке произошла ошибка?
это убийство по неосторожности
Нет — это будет «неумышленное убийство», в том случае — НЕ СМОГ убить сразу, умер через час.
====================
где в этой цепочке произошла ошибка?
Это уже из другой оперы — отладка.
===================
В логических построениях есть два метода — анализ и синтез. Их не нужно смешивать.
Нет — это будет «неумышленное убийство», в том случае — НЕ СМОГ убить сразу, умер через час.
Признаю, мог промахнуться с терминологией, УК наизусть не знаю. В любом случае: убийство, но не «умышленное убийство».
Это уже из другой оперы — отладка.
А неважно, из какой «оперы». Вы утверждаете, что ошибка есть. Либо она находится в этой цепочке (и тогда её можно явно назвать), либо есть какие-то логические построения, которые приводят в итоге к программе, но не содержатся в этой цепочке.
В логических построениях есть два метода — анализ и синтез. Их не нужно смешивать.
Процитируйте фразу, в которой я их смешиваю.
======================
Процитируйте фразу, в которой я их смешиваю.
Вы их не различаете.
А неважно, из какой «оперы».
Действительно, «умышленное убийство» и «нанесение тяжких телесных повреждений со смертельным исходом» нельзя считать синонимами.
Однозначно нельзя.
"Умышленное убийство" — это когда есть умысел убить.
«нанесение тяжких телесных повреждений со смертельным исходом» — это более общая категория, включающая помимо собственно умышленного убийства случаи, когда умысел нанести телесные повреждения был, а умысла убить не было (как было сказано в каком-то фильме, "когда результат превзошел ожидания"), когда умысла не было ни убить, ни нанести телесные, а просто была неосторожность ("ловил ворон за рулем и задавил человека" и другие подобные случаи).
а умысла убить не было
Это называется — неумышленное убийство.
А вот когда умысел был, но убийца подумал, что жертва уже мертва, а она оказалась живой, да еще успела сказать кто ее убивал и вот только после этого умерла?
Умысел был, значит как минимум было покушение на убийство. Это раз.
Насколько я помню, срок, прошедший между нанесением телесных и последующей смертью не имеет принципиального значения для квалификации преступления как умышленного убийства. Главное — наличие умысла убить и успешная реализация. Это два.
покушение на убийство
Это когда жертва осталась жива.
не имеет принципиального значения
Имеет.
Это когда жертва осталась жива.
Или если не было доказано, что телесные стали непосредственной причиной смерти.
Имеет
Разве что в плане возможностей отмазаться: "я не хотел" или "телесные не явились непосредственной причиной смерти".
если не было доказано
В точку — это специально созданные лазейки для адвокатов. Они имеются в каждом законе.
Любое утверждение либо ИСТИННО, либо ЛОЖНО.
Парадокс лжеца — это ВСЕГДА ЛОЖНОЕ утверждение.
Парадокс лжеца к классическом виде это как раз утверждение, являющееся ложным и истинным одновременно. Именно это обстоятельство делает его парадоксом.
Однако такого рода парадоксы возможны в тех случаях, когда аксиомы могут быть заданы прямо: т.е. вы можете объявить любую «ересь» истиной либо ложью и умиляться потом целому зоопарку парадоксов.
В булевой алгебре вы такой возможности лишены: вся аксиоматика задана жестко и вы не можете задавать новые правила. Можете присваивать значения, но это никак не может привести к парадоксу.
Парадокс лжеца к классическом виде это как раз утверждение, являющееся ложным и истинным одновременно.
А вы для начала сформулировать это утверждение попробуйте. Так, чтобы оно было действительно утверждением :)
«Выражение А является истинным в случае если оно ложно и наоборот».
Или в виде вопроса: Является ли А истиной, если оно ложно?
В обоих случаях такие предположения имеют смысл в системах, где аксиомы могут быть дополнены/изменены. т.е. Где вы не просто присваиваете А значение, а задаете ПРАВИЛО, что конкретное А всегда ложно, когда оно истинно. Полагаю нечто такое возможно в каком-нибудь прологе. И как такое будет отрабатывать — зависит от реализации.
В языке с обычной булевой логикой это будет ложное утверждение безо всяких парадоксов.
«Выражение А является истинным в случае если оно ложно и наоборот».
Проблема в том, что это "утверждение" нельзя сформулировать в логике высказываний :)
В языке ЛВ есть переменные, символы логических операций и скобки. И все. Там нет равенство, с-но нельзя написать A = !A.
В логике предикатов вы можете объявить предикат = и потом дать определение утверждению А: A = !A но в итоге данное противоречие просто будет доказательством того, что такого А не существует.
То есть парадокс лжеца — это просто доказательство того, что лжецов (в том определении, в котором они задаются) не существует.
∃a a <=> ꓶa чем не вариант? )) нет равенства, но эквивалентность-то есть!
Не, тут опять же нужно определиться: мы имеем дело с описанием логики, и или работаем с уже сформулированной?
∃a a <=> ꓶa чем не вариант? ))
Во-первых, это логика предикатов. Во-вторых — да, такое утверждение сформулировать можно, оно будет ложным. Но можно сформулировать много ложных утверждений, 2*2=5, например :)
Надо же, чтобы его можно было еще и вывести.
Синтаксис — не моя сильная сторона, признаю. ;)
Напишите, как надо, если возможно.
Синтаксически неверно. a должно быть обёрнуто в предикат, нельзя к индивидным переменным применять логические связки.
Я так интерпретировал, что <=> и есть тут двуместный предикат. exists a: <=>(a, !a);
Любой «недосмотр» программиста или программный сбой — это и есть «логический парадокс», который нарушает логику.
И как ошибка нарушает логику?
В программе же ясно написано — бесконечный цикл. Вот он бесконечно и выполняется.
А если «так было задумано» — есть предусмотренный выход из бесконечного цикла.
Ага, физическое отключение питания от устройства.
Если что, штатный бесконечный цикл не только в ардуине используется и является весьма популярным решением.
Вот пример бесконечного цикла из OpenGL
glutMainLoop();
Но у него есть условия выхода из цикла.
А вот «физическое отключение питания от устройства» это и есть пример того, что программа создала логический парадокс.
Раньше даже деление на ноль приводило к краху программы, а сейчас всего навсего «выбрасывается исключение».
Вот пример бесконечного цикла из OpenGL
glutMainLoop();
Но у него есть условия выхода из цикла.
Если у цикла есть условие выхода, то он не бесконечный, а до момента выполпения условия.
”А вот «физическое отключение питания от устройства» это и есть пример того, что программа создала логический парадокс.
В чем парадокс? В программе написано, выполняться бесконечно, она и выполняется бесконечно. Все просто и логично.
Раньше даже деление на ноль приводило к краху программы, а сейчас всего навсего «выбрасывается исключение».
Деление на ноль может вызывать разные спецэффнкты.
Если мне не изменяет склероз, то при целочисленном делении возникает прерывание у процессора.
Как прерывание обработать, такое будет и поведение.
При делении чисел с плавающей точкой может просто вернуться специальное значение — NaN.
Никаких особенных проблем.
Исключение при делении на ноль — результат сответствующей обработки прерывания.
Если исключение не обработать самому, будет выполняться обоаботка, прописанная в программу по умолчанию (из стандартной библиотеки, компилятором при генерации кода, или та, что прописана в интерпретаторе.
Причем скорее всего необработанное исключение деления на ноль вызовет старый добрый крах программы с соответствующим предупреждением или без него.
А в других случаях программа "грязно выругается" и продолжит работу.
Есть дискретная (цифровая) технология, есть аналоговая (непрерывная). Будет, наверное, квантовая — там свои плюшки.
Троичная она, или семеричная — это НЕ ВАЖНО. Если присутствует дискретность, то проще взять по минимуму (два состояния) — тогда вероятность «перепутать» сигналы наименьшая.
Аналоговые системы имеют свои преимущества, дискретные — свои.
Да не в количестве дело! А в дискретности.
Что-то смутно припоминается, что в троичной логике ЭВМ использовались состояния -1, 0 и 1. Причем есть адепты, до сих пор полагающие, что для ЭВМ это наилучший вариант.
то проще взять по минимуму (два состояния)
Производители SSD с вами не полностью согласны.
Я думаю, что вы отучились абстрактно мыслить.
gtmarket.ru/concepts/7161
Постарайтесь внятнее излагать свои мысли.
Есть абстрактные понятия «логическая ошибка» и «логический парадокс».
И есть конкретные случаи этих ошибок и парадоксов.
В «конкретных» терминах «ошибка» при соединении проводов приводит к возникновению «парадокса» — короткому замыканию.
содержит два противоречащих друг другу вывода
Это неверно — вся проблема в ограниченности применения двоичной логики.
Парадоксы возникают за границей ее применения.
Совершенно так же как и выход за границы массива.
tertium non datur
Я его приводил, но вы не реагировали — я сделал вывод, что вы не знаете, что это такое.
==============
выход за границы массива тут по-прежнему никак не увязывается
Абстрактное понятие — «выход за границы применимости»
Конкретное — «выход за границы массива».
Логические парадоксы в голове, в не в логике.
С логикой все в порядке! ;)
Это все парадоксы формальной логики а не двоичной. Согласен с предыдущим оратором — двоичная логика отнюдь не парадоксальна. Внутри себя.
В настоящее время мы не используем никакую другую логику — только двоичную.
Различные названия не меняют сути — аристотелева, двоичная, математическая, формальная, логика доказательств и так далее.
Сравните — истина-ложь, true-false, 1-0.
Тут на мой взгляд два вопроса — первый, математика не является наукой поскольку не дает знаний об окружающем Мире.
Она всего лишь ИНСТРУМЕНТ для науки.
Второй, математика отвечает на вопрос СКОЛЬКО, а знания мы получаем при ответе на вопрос ПОЧЕМУ ИМЕННО ТАК, а на него может дать ответ только философия.
Какая область знания вас интересует конкретно?
— Логика доказательств
— Логика поведения — поведенческая логика.
================
Ну и бесплатный бонус — за все время своего существования Наука не дала Человечеству НИ ОДНОГО фундаментального Знания только технологии.
Электричеством пользовался еще Архимед, а мы до сих пор не знаем, что это такое.
=============
Наука делится на Фундаментальную и Прикладную.
Все что мы имеем — это заслуга Прикладной Науки, технологии полученные по методу «научного тыка».
порекомендовать литературу
Как вы себе это представляете?
Книг тысячи, если не десятки тысяч.
Во-первых, я из все просто физически не мог прочитать.
Во-вторых, то что нравится мне может не понравится другим
=============
Ну так и быть, вот только вчера мне попалась книга, которая мне понравилась — Кольман, Зих; Занимательная логика; «Наука», Москва, 1966.
Как вы себе это представляете?
Исходя из Вашего собственного опыта обучения, естественно. Или то, по чему учились Вы, сейчас уже толком нигде не найти? Или оно уже устарело (что вряд ли, основы должны были бы сохраниться)?
Кольман, Зих; Занимательная логика; «Наука», Москва, 1966.
ping 0xd34df00d — надеюсь, это то, о чём Вы спрашивали)
Вы считаете, что таблица умножения может устареть?
ping 0xd34df00d — надеюсь, это то, о чём Вы спрашивали)
Это вообще что?
template<typename G, typename… U>
static void SetParam(G&, U &&… );
template <typename G, typename… U>
void Figure::SetParam( G& g, U &&… u)
{
g = {std::forward(u)...};
}
И там у них была проблема — каждый вызов функции требовал затрат машинного времени.
И сколько я не пытался его переубедить что под виндовс таких проблем нет, он так и продолжал экономить на вызовах.
Это просто один из примеров как ЯП накладывает отпечаток на способ мышления.
Бывают ситуации, когда приходится экономить на вызовах и под виндовс (самому приходилось).
Для этого даже в С++ придумали "волшебное" слово inline, которое позволяет экономить на вызовах, не отказываясь от функций. Да и компилятор при оптимизации порой сам этим занимается.
В наше время компиляторы стали слишком умными, и скоро их можно будет только попросить что-то сделать, а он еще подумает, а надо ли это.
Причем во многих вопросах это уже так — напишешь кучу кода, а он его проигнорирует в процессе оптимизации.
Но попросить-то можно. И глядишь, где-то на вызовах сэкономится немножко.
— Некоторые компиляторы не генерируют встраиваемый код, если соответст-вующая функция содержит цикл, конструкцию switch или инструкцию goto.
— Чаще всего встраиваемыми не могут быть рекурсивные функции.
В Как правило, встраивание “не проходит” для функций, которые содержат статические (static) переменные.»
(Герберт Шилдт, С++ базовый курс, глава 11, Встраиваемые функци)
— Парадокс «Буриданов осел».
— «Задача о двух паровозах».
================
Все что пытаются делать современные программисты типа «эвристики» или ИИ — это по-сути попытка обойти ущербность двоичной логики.
Но при этом никто не понимает, что создание ИИ на основе двоичной логики невозможно.
И все отказываются понимать, что ИИ по круче Скайнета уже давно существует — это Деньги.
Не, ну если у кого-то ностальгия за олдскульными мониторами, 80*60 символов, вот это вот все, то им-то норм. Или увлекающимся восточными писменами, которые сверху вниз все пишут — тоже, наверное, кавай и все такое.
А остальным что делать?..
Я что, должен думать, почему здесь System.Console, а там windows.h?
CPP — язык кроссплатформенный. В данном конкретном случае ты пишешь под платформу Windows. C# — язык моноплатфоменный. То есть System это и есть Windows в данном случае — нет необходимости указывать название платформы
Новые языки программирования незаметно убивают нашу связь с реальностью