Мой мозг — нечто большее, чем просто смертная субстанция, я надеюсь, время покажет это .
. Для Вселенной хорошо, что мои устремления и честолюбие навсегда связаны с духовным миром
и что я не собираюсь иметь дела с саблями, ядом и интригами вместо X,Y и Z
А.А. Лавлейс
Как и почему появилось практическое программирование в его современном понимании? Как и все остальные великие изобретения – от лени. В 1946 году был создан первый электронный компьютер ЭНИАК. Чтобы изменить алгоритм его вычислений, приходилось пару дней бегать по комнате, подсоединяя и отсоединяя 6000 переключателей. Когда ученым надоело бегать, они занялись разработкой компьютеров, понимающих программы в машинных кодах, а затем придумали и языки программирования.
Между тем теоретические основы современного программирования были заложены за 100 лет до создания первого компьютера. И сделала это женщина.
Ада Августа Лавлейс родилась 10 декабря 1815 года. Она была единственной законной дочерью великого английского поэта Джорджа Гордона Байрона. Ее мать Аннабелла Байрон была незаурядной женщиной, поклонницей математики и философии, за страстное увлечение точными науками прозванной в свете “королевой параллелограммов”. Стоит ли удивляться, что две яркие личности со столь разными наклонностями не смогли ужиться вместе – вскоре после рождения дочери супруги расстались. Байрон посвятил своей дочери такие строки в поэме “Чайльд Гарольд”:
Ада — дочь лорда Байрона. Первый в истории программист Августа Ада Кинг, графиня Лавлейс.
«Дочь, птенчик, Ада милая! На мать
Похожа ль ты, единственно родная?
В день той разлуки мне могла сиять
В твоих глазах надежда голубая…”
Ада получила прекрасное воспитание и образование – играла на нескольких музыкальных инструментах, знала языки, историю, философию. Но благодаря стараниям матери самое важное место в ее образовании занимало изучение математики. Её учителем был известный английский математик и логик Август де Морган. В 1834 году ее познакомили с выдающимся математиком Чарльзом Бэббиджем, изобретателем первой цифровой вычислительной машины, названной им „аналитической“. Бэббидж, знакомый матери, поощрял занятия юной Ады математикой, вел с ней переписку, посылал ей научные статьи и книги для изучения.
Когда Ада Августа Байрон стала появляться в обществе, она произвела фурор – и изящной загадочной красотой, и блестящим логическим умом. “Ангельская внешность, дьявольский ум” – говорили о ней современники. В то время, кстати, в обществе разговоры на научные темы были в большой моде, и Ада в научных спорах не раз ставила в тупик ученых мужей.
Вопреки распространенному убеждению, что идеал любого мужчины – “прелесть, какая дурочка”, желающих покорить загадочную красавицу было хоть отбавляй. В 1835 году Ада Байрон вышла замуж за 29-летнего лорда Кинга, который впоследствии стал графом Лавлейс. Столь умная женщина, разумеется, выбрала себе супруга, который поощрял и всецело поддерживал ее научные занятия. По свидетельствам современников, их брак был счастливым. Супруги вели светский образ жизни, регулярно устраивали вечера и приемы в своем имении, у них было трое детей.
Что делала первая компьютерная программа? || История Ада Лавлейс
Однажды редактор журнала „Examinator“ описал её следующим образом: „Она была удивительна, и её гений был не поэтический, а математический и метафизический, её ум находился в постоянном движении, который соединился с большой требовательностью. Наряду с такими мужскими качествами, как твёрдость и решительность, леди Лавлейс присущи были деликатность и утонченность наиболее изысканного характера. Её манеры, вкусы, образование… были женскими в хорошем смысле этого слова, и поверхностный наблюдатель никогда не смог бы предположить силу и знание, которые лежали скрытыми под женской привлекательностью.”
В первые 5 лет брака Аде было не до науки – она родила одного за другим двух сыновей и дочь. Однако в 1841 году Ада Лавлейс возвратилась к занятиям с Бэббиджем и приступила к изучению его аналитической машины.
В октябре 1842 г. итальянский математик Л.Ф. Менабреа опубликовал статью «Очерк аналитической машины, изобретенной Ч. Беббиджем». Ада перевела эту статью на английский язык, и Бэббидж предложил сделать ей свои комментарии к переводу. Вот эти-то комментарии, по объему превосходящие исходный текст статьи, и вошли в историю.
В них Ада не только составила первое в мире описание работы вычислительной машины, но и написала три программы для нее, впервые введя множество понятий, без которых и ныне не обходится ни один язык программирования — рабочих переменных, присвоения, цикла, вложенных циклов. Это и позволяет сейчас говорить о том, что именно она заложила основы теоретического программирования.
Первая из них — программа решения системы двух линейных алгебраических уравнений с двумя неизвестными, вторая — для вычисления значений тригонометрической функции, третья – для вычисления чисел Бернулли. Сама Ада, не только гениальный ученый, но и поэтичная женщина, писала Бэббиджу о своей программе: “Я хочу ввести пример в одно из примечаний: вычисление чисел Бернулли в качестве примера вычисления машиной неопределенной функции без предварительного решения с помощью головы и рук человека. Я — дьявол или ангел. Я работаю подобно дьяволу для Вас, Чарльз Бэббидж; я просеиваю Вам числа Бернулли”.
К сожалению, леди Лавлейс отличалась слабым здоровьем и вскоре заболела раком, от которого и скончалась в 37 лет, в 1852 году. А аналитическая машина Бэббиджа так и осталась теорией – она опередила время и не могла быть достроена при его жизни, не позволили технологии того времени и необходимость огромных финансовых вложений. Например, тогда не умели быстро обрабатывать металл с необходимой степенью точности — а проекту требовались тысячи одних только зубчатых колес.
«Суть и назначение машины изменятся от того, какую информацию мы в нее вложим. Машина сможет писать музыку, рисовать картины и покажет науке такие пути, которые мы никогда и нигде не видели». Эти слова Ады Лавлейс оказались пророческими. Она смогла увидеть назначение компьютера за 100 лет до того, как он был создан.
В честь Ады Лавлейс был назван язык программирования “Ада”, разработанный в 1980 году Министерством обороны США.
спасибо! + 30 спасибо! 10 ноября 2013 г. 15:06 
16 Позитивная 
3
Источник: www.ufamama.ru
Мифы об аде. Как и зачем программировать на аде в современном мире
Язык, разработанный по заказу Министерства обороны США и названный в честь первой в мире программистки Ады Лавлейс, окружают много мифов и непонимания. Ты наверняка о нем слышал, но, скорее всего, это были мифы об устаревшем, сложном и медленном языке. Однако ада активно используется для управления самолетами, поездами, космическими аппаратами и прочими интересными штуками. Давай посмотрим на язык без призмы мифов и разберемся, какую пользу мы можем из него извлечь, даже если пока не собираемся в космос.
INFO
Несмотря на свое американское происхождение, в разгар холодной войны ада использовалась и в СССР. На нее даже существует ГОСТ, который стоит почитать ради одной только терминологии: например, исключения там «возбуждаются».
Мифы об аде
Миф об устаревшем языке опровергается одним запросом к поисковику: последняя редакция вышла в 2012 году. Если судить о сложности языка по внешним признакам, то все тоже не так страшно: спецификация ады содержит чуть менее тысячи страниц, тогда как спецификация C++ — около 1400 страниц.
Миф о низкой производительности пошел со времен первой редакции 1983 года, когда массовому пользователю были доступны разве что ZX Spectrum и IBM PC с i8086, на которых любой современный язык был бы медленным. Ада компилируется в машинный код, и любители успешно пишут на ней для Arduino с ATmega328 и прочих микроконтроллеров.
Распространенный миф о том, что по вине ады упала ракета Ariane 5 в 1996 году, нужно рассмотреть отдельно. Ракета действительно упала из-за ошибки, но проблема была в другом: компьютер, который управлял траекторией полета, был взят из Ariane 4 без изменений, несмотря на то что Ariane 5 поддерживала более широкий диапазон траекторий. Хуже того, проверка на выход значений за возможный диапазон была намеренно отключена, поэтому, когда навигационный компьютер выдал недопустимую с точки зрения Ariane 4 команду, закончилось все предсказуемо. От этой проблемы, увы, не смог бы защитить ни один язык или какое-либо программное решение вообще. Сама Ariane 4 совершила 113 успешных полетов из 116 за свою историю, а Ariane 5 уже 96 успешных из 101.
WWW
Языки и надежность программ
Ракеты — это предельный случай требований к надежности программ, но и в куда более приземленном коде ошибки могут обойтись пользователям очень дорого. В уязвимостях вроде Heartbleed можно винить разработчиков, но разве смысл компьютеров не в том, чтобы автоматизировать нудную работу и позволить людям сосредоточиться на творческих задачах?
Ада разрабатывалась именно для написания надежных и безопасных программ. Когда говорят о безопасности, прежде всего думают, какие ограничения язык или другой инструмент накладывает на пользователя. На мой взгляд, в первую очередь нужно говорить о том, какие выразительные средства инструмент дает разработчику, чтобы точно отразить объекты реального мира в коде и определить законы их взаимодействия. Наблюдение за выполнением этих законов лучше поручить компилятору — он не устает к концу рабочего дня.
В первую очередь, конечно, инструмент не должен делать работу человека сложнее, чем она и так есть. Когда Министерство обороны США разрабатывало требования к новому языку для конкурса, в котором победила ада, они в первую очередь упомянули об этом. Документ с требованиями известен как Steelman и содержит, например, такую фразу: «Одни и те же символы и ключевые слова не должны иметь разные значения в разном контексте». Почти вся первая часть рассказывает о необходимости однозначности синтаксиса, удобочитаемости кода, определенности семантики и поведения (вспомним i++ + ++i ).
Но и требования к выразительным средствам для своего времени там передовые. Любопытно, что обработка исключений и средства обобщенного программирования были еще в первой редакции, задолго до С++.
Давай напишем первую несложную программу, а потом рассмотрим, какие средства ада предоставляет, чтобы точнее выразить в коде свои намерения.
Реализации
Далеко идти за реализацией не придется: компилятор ады включен в GCC под названием GNAT (GNU New [York University] Ada Translator) и доступен на всех системах, где есть GCC.
Если у тебя Linux или FreeBSD, можешь ставить из стандартных репозиториев. В Debian/Ubuntu пиши apt-get install gnat , в Fedora — dnf install gnat .
Компания AdaCore предоставляет коммерческую поддержку для GNAT и занимается другими связанными проектами. Например, там работают над графической средой разработки GNAT Programming Studio (GPS). AdaCore является, по сути, основным разработчиком GNAT и распространяет две версии компилятора: сертифицированный GNAT Pro за деньги и GNAT Libre бесплатно, но с рантайм-библиотекой под лицензией GPLv3.
INFO
Использование GPLv3 не позволяет разрабатывать программы с любыми лицензиями, кроме GPL. Однако в дистрибутивы свободных ОС включена версия FSF GNAT, лицензия которой делает исключение для библиотек. Так что ее можно использовать для разработки программ с любой лицензией.
Есть еще проприетарные реализации ады вроде Irvine и Green Hills, но для пользователей вне аэрокосмической отрасли и ВПК они малодоступны и особого интереса не представляют.
Первая программа
Традиционный Hello world дает очень мало представления о языке, поэтому для первой программы мы возьмем что-нибудь более реалистичное, например алгоритм Пардо — Кнута. Дональд Кнут и Луис Трабб Пардо предложили его как раз для этой цели.
- Прочитать одиннадцать чисел со стандартного ввода.
- Применить к ним всем некоторую функцию и вывести результаты в обратном порядке.
- Если применение функции вызвало переполнение, вывести сообщение об ошибке.
С помощью такой программы уже можно показать, как определить и заполнить массив, как написать и вызвать функцию, как использовать циклы и условия и как использовать ввод-вывод. Опять же, если Hello world у любого программиста выглядит почти одинаково, то тут уже есть возможность применить разные способы и показать разные возможности языка.
Ее называли «волшебницей чисел»: удивительная жизнь Ады Лавлейс — первой женщины-программиста
Леди Ада Лавлейс, которую часто называли «волшебницей чисел», была британской светской львицей, но смогла стать одним из первых в мире программистов. Она любила учиться и по многим показателям была гением.
Спустя много лет после смерти ее переводы академической статьи станут самым неизгладимым вкладом в науку. Взгляд на жизнь Ады Лавлейс вплоть до ее безвременной кончины в возрасте 36 лет дает представление о том, как обычная женщина смогла оставить свой след в науке, в мире мужчин начала девятнадцатого века.
Увлекательная биография Ады Лавлейс начинается еще до ее зачатия
Отцом Ады был известный английский поэт Джордж Гордон Байрон, которого называли лордом Байроном, матерью — Аннабелла Байрон (в девичестве Милбенк), известная как леди Байрон. Несмотря на почести и привилегии, союз ее родителей был обречен с самого начала, так как был простой коммерческой сделкой.
Аннабелла охарактеризовала своего мужа как беспорядочного поэта и «благородного разбойника». В свою очередь, Байрон насмешливо говорил: «Я мог любить ее, если бы она не была такой совершенной». Даже свадьба родителей Ады была катастрофой. «Когда мы после бракосочетания сели в карету, — писала позже Аннабелла, — он стал злым и неуправляемым». Поскольку поэт женился в основном из-за наследства супруги, он постоянно ей изменял. Вскоре молодая женщина обнаружила, что у ее мужа были кровосмесительные отношения с его сводной сестрой Августой Ли.
К тому времени, когда 10 декабря 1815 года появилась на свет Августа Ада Байрон, ее мать уже решила расстаться с отцом. В самом начале 1816 года Аннабелла покинула лорда Байрона, взяв с собой пятинедельную Аду. При разводе она предъявила Байрону ряд обвинений, среди которых были обвинения в гомосексуализме и содомии, которые в то время были незаконными.
Трудное детство
После того как обвинения были сняты, лорд Байрон, чтобы избежать унижений, бежал из Англии. Маленькая Ада Байрон так никогда и не встретила своего отца. Он умер, когда девочке было восемь лет. Леди Байрон после развода пришлось нелегко. После того как связь ее бывшего мужа с его двоюродной сестрой стала известна публике, ей пришлось столкнуться с натиском клеветы.
Как и большинство матерей-одиночек, бывшая леди Байрон старалась дать своей дочери стабильность в жизни без присутствия отца. Она также хотела, чтобы Ада выросла непохожей на своего непутевого родителя. Для этого Аннабелла держала свою дочь в строгости и заставила ее сосредоточиться на математике, а не на литературе.
Первые научные исследования Ады
Ада с детства была умной, она легко усваивала все знания, которые получила от своих частных учителей. Хотя девочка и была склонна к болезням, она росла энергичным ребенком с большим воображением. Маленькая Ада с детства мечтала научиться летать. Одним из ее ранних научных исследований было изучение того, что потребуется ей, чтобы летать.
Она проанализировала крылья птиц и придумала соответствующее соотношение крыла к телу, определила, какие материалы, скорее всего, будут поддерживать полет, и решила, что пар должен идеально подойти. Девушка собрала свои выводы в книге под названием Flyology.
Источник: fb.ru