Математика: что за зверь и нужен ли он

 
1 2 3 4 5 6 7 8

yacc

старожил
★★☆
V.Stepan> Но в Модуле "введен модуль Processes"
Это не синтаксис языка как таковой - это расширение. Ровной в той же степени как в стандарт языка C++ добавить boost и сделать его стандартным.
 

V.Stepan

аксакал
★★☆
yacc> Это не синтаксис языка как таковой - это расширение.

Это стандартная библиотека. Она обязана быть в поставке Модулы. И в этом отличие от того, что было раньше, где эти библиотеки были именно как расширение стандартной поставки, плюс несовместимые с собой.

Серия "МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ЭВМ", книга "Н.Вирт ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ МОДУЛА – 2". 127 страница в аттаче.

P.S. Случайно купил я её, ещё в школе учась. Потом затерялась :(
Прикреплённые файлы:
 
"Класс – это исключение случайностей"  52.952.9

yacc

старожил
★★☆
yacc>> Это не синтаксис языка как таковой - это расширение.
V.Stepan> Это стандартная библиотека. Она обязана быть в поставке Модулы.
Еще раз - понимаем разницу между "ключевым словом языка" и "методами в библиотеке" ?
Когда это ключевое слове - это синтаксис и уровень самого языка - именно так в Аде. А когда библиотека - это уровень расширений языка - таких языков вагон и маленькая тележка.
 
+
-
edit
 

Unix

опытный

AleksejLt> А он разве лингвист?
Ну по образованию то - точно...
 52.052.0
CA Unix #13.07.2018 02:45  @спокойный тип#12.07.2018 13:00
+
-
edit
 

Unix

опытный

с.т.> ага...а на питоне всякие многопоточные демоны и модули пишутся вполне в промышленных масштабах, не нишевых

"многопоточные" тля ... я щас тебя пошлю на 3 буквы ... - GIL! :D

Впрочем для большинства и так вполне хватает.
 52.052.0
RU спокойный тип #13.07.2018 10:37  @Unix#13.07.2018 02:45
+
-
edit
 

спокойный тип
Спокойный_Тип

старожил
★☆
Unix> "многопоточные" тля ... я щас тебя пошлю на 3 буквы ... - GIL! :D
Unix> Впрочем для большинства и так вполне хватает.

ну да, бывают интересные эффекты ))) но в целом как ты справделиво заметил - в реальной жизни хватает
эволюционируй или вымри  52.952.9

V.Stepan

аксакал
★★☆
yacc> Еще раз - понимаем разницу между "ключевым словом языка" и "методами в библиотеке" ?

"Методами в стандартной библиотеке". А то без них C, например, вообще ничего не умеет. Будешь уверять, что если пишешь на C, то у тебя нет стандартных средств ввода/вывода, управления памятью и прочего?

В общем, напоминаю историю — Паскаль критиковали за то, что он многое, включая даже ввод-вывод, включил в язык. Мол, надо было как в C делать — совсем чуть-чуть в язык, а остальное в стандартные библиотеки, мол, это упростит портирование на разные платформы и облегчит организацию совместимости на уровне исходных кодов. Вот по этому пути и пошёл Вирт с Модулой — непосредственно в языке оставил очень мало, а остальное, нужное для работы, вынес в стандартные библиотеки.

Так что из промышленных языков именно Модула-2 был первым, где явно была поддержка параллелизма. Да, простенькая, но была.
"Класс – это исключение случайностей"  52.952.9

yacc

старожил
★★☆
V.Stepan> "Методами в стандартной библиотеке". А то без них C, например, вообще ничего не умеет.
Не умеет. Он минималистичен.
Нет в С операторов ввода-вывода - это через функции делается.
С так и построен, чтобы расширяться через библиотеки.

V.Stepan> Так что из промышленных языков именно Модула-2 был первым, где явно была поддержка параллелизма. Да, простенькая, но была.
Строго говоря Модула-2 - не промышленный :) И в его принципах как раз и лежит модульное разделение, а параллелизм - сугубо второстепенный.
 64.0.3282.11964.0.3282.119
Это сообщение редактировалось 13.07.2018 в 11:40

V.Stepan

аксакал
★★☆
yacc> Нет в С операторов ввода-вывод - это через функции делается.

Которые стандартизованы и идут в стандартной поставке. Так что принципиальной разницы с операторами нет. А гибкости больше.

yacc> Строго говоря Модула-2 - не промышленный :)

Стандарт есть

В 1985 году была организована группа по стандартизации языка при Британском комитете по стандартизации. В 1987 году она стала группой при ISO. Стандартизация языка заняла 10 лет и завершилась только в 1996 году. Язык, описанный в стандарте (ISO Модула-2), существенно отличается от языка, разработанного Виртом. В языке появились такие конструкции, как исключительные ситуации, комплексные числа, конструкторы массивов, записей, множеств, многомерные открытые массивы и многое другое. Стандарт языка фиксирует набор стандартных библиотек.
 


Другое дело, что широкого применения не получил, это да. Тут я претензии к Кану выдвигаю. Был реальный шанс, но он его профукал.

yacc> а параллелизм - сугубо второстепенный.

Не спорю. Но есть.
"Класс – это исключение случайностей"  52.952.9

yacc

старожил
★★☆
V.Stepan> Которые стандартизованы и идут в стандартной поставке. Так что принципиальной разницы с операторами нет.
Есть.
Причем сильная - компиляторы совершенно разные.
Это пользователю может быть фиолетово, а вот для создателя компилятора разница есть и существенная.
 64.0.3282.11964.0.3282.119

V.Stepan

аксакал
★★☆
yacc> Причем сильная - компиляторы совершенно разные.

Согласен, но в твоём исходном сообщении про компилятор ни слова. В общем, я теперь понял, что мы немного про разное говорили.

yacc> Это пользователю может быть фиолетово

Ну, мы тут вроде как про разработку приложений речь вели, я с этой колокольни и рассуждал :) .
"Класс – это исключение случайностей"  52.952.9

yacc

старожил
★★☆
V.Stepan> Согласен, но в твоём исходном сообщении про компилятор ни слова.
Зато там про "уровень языка" - а это и есть компилятор :)

V.Stepan> В общем, я теперь понял, что мы немного про разное говорили.
ты просто как пользователь смотрел :) - тут да - особой разницы и нет
 64.0.3282.11964.0.3282.119

V.Stepan

аксакал
★★☆
yacc> Зато там про "уровень языка" - а это и есть компилятор :)

Для меня "уровень языка" включает и стандартные библиотеки. Потому что да, смотрю как пользователь :) .
"Класс – это исключение случайностей"  52.952.9

yacc

старожил
★★☆
V.Stepan> Для меня "уровень языка" включает и стандартные библиотеки. Потому что да, смотрю как пользователь :) .
А я и с уровнем компилятора возился - для меня разница большая :)
 64.0.3282.11964.0.3282.119
+
-
edit
 

AleksejLt

опытный

16-й> Бэйсик-то он выучит, а ремеслом программирования зарабатывать не сможет.

Может это тот тип людей, которых даже из дворников выгоняют за нерадивость :)
 62.062.0
LT AleksejLt #13.07.2018 15:33  @спокойный тип#12.07.2018 12:37
+
-
edit
 

AleksejLt

опытный

с.т.> ну вообще то питон распараллеливается только в путь )))

Терпеть эту змеюку ненавижу :) Так что поверю тебе на слово. Что в нем хорошо так это НумПи - работать с матрицами одно удовольствие.
 62.062.0
+
+1
-
edit
 

AleksejLt

опытный

yacc> Работодатель читает всякие умные книжки как у других внедряли ту же TDD и насколько повысилось качество. Просто грамотный PM понимает - что писать код и писать юнит-тесты к нему могут разные люди - как организуешь работу.

Объясни зачем тестеру лезть в твой код и писать тесты для твоих классов? Его задача это интеграционные тесты (как максимум) и обычные автотесты веб-морды или интерфейса. А юнит-тесты это для программера, чтобы не заморачиваться перепроверкой при изменении класса.

yacc> Что такое лямбда-функции тестеру знать неитересно и каким образом программер оформил повторное использование - тоже.

Интересно, это различие русской/скандинавской модели разработки или как? У нас тестировщики не лезут писать тесты для кода. Они занимаются ручной проверкой или написанием автотестов.
 62.062.0
+
-
edit
 

yacc

старожил
★★☆
AleksejLt> Объясни зачем тестеру лезть в твой код и писать тесты для твоих классов?
Он туда и не лезет. Читай применительно к какому случаю я это написал
 
+
-
edit
 

AleksejLt

опытный

Unix> Ну по образованию то - точно...

До структуральнейшего ему далеко :)
Стих [показать]
 62.062.0
+
-
edit
 

AleksejLt

опытный

yacc> Он туда и не лезет. Читай применительно к какому случаю я это написал

Ты отвечал на сообщение про работу тестеров, вот я и вытащил из контекста :)
 62.062.0
+
+1
-
edit
 

yacc

старожил
★★☆
yacc>> Он туда и не лезет. Читай применительно к какому случаю я это написал
AleksejLt> Ты отвечал на сообщение про работу тестеров, вот я и вытащил из контекста :)
А контекст был что сокращают тестеров и девелоперов заставляют писать юнит-тесты.
А тестеров заставляют тоже программировать.

Так вот - юнит-тест может писать и другой девелопер.
А программирует тестер не на таком высоком уровне, а для целей автоматизации рутины.
 64.0.3282.11964.0.3282.119

Mikey

втянувшийся

yacc> На уровне языка параллельные процессы из древних - у Ады ЕМНИП. Но это очень нишевый язык.


Который помог сделать много полезного (в т.ч. и для некоторых участников "соседного" Морского форума, ) Возможности типизации и ну и ,пожалуй, обработка исключений оказались кстати. В общем, вовремя первый транслятор АДы у нас оказался ))
 52.052.0

Fakir

BlueSkyDreamer
★★★★☆
Джентльмены, поимейте совесть - уж которую страницу про мать-и-мачеху ни полслова?
 51.051.0
+
+2
-
edit
 

Fakir

BlueSkyDreamer
★★★★☆

Великой теореме Эмми Нётер — 100 лет • Алексей Левин • Новости науки на «Элементах» • История науки, Математика, Физика

Ровно сто лет назад был представлен доклад о теореме, которая со временем стала важнейшим инструментом в математической и теоретической физике. Она связывает каждую непрерывную симметрию физической системы с некоторым законом сохранения. Доказала эту теорему Эмми Нётер — и этот результат, наряду с ее работами по абстрактной алгебре, заслуженно позволяет многим считать Нётер величайшей женщиной в истории математики. //  elementy.ru
 

ЖР
В Брин-Мар Эмми Нётер пригласила декан математического факультета Анна Пелл Уилер (Anna Johnson Pell Wheeler), которая в свое время училась в Геттингене. Об этой женщине стоит рассказать подробней, причем главная фишка будет в конце.

Урожденная Анна Джонсон, дочь шведских эмигрантов, принадлежала к тому же поколению ученых, что и Эмми Нётер, и практически была ее ровесницей. Она родилась в мае 1883 года в штате Айова. В 1899 году была принята в университет Южной Дакоты, где стала одной из лучших студенток. Анна училась на отлично по немецкому, французскому, латыни, химии, физике и математике, которая превратилась в ее главное увлечение. Девушкой заинтересовался профессор математики Александр Пелл (Alexander Pell), который угадал в ней замечательные способности к абстрактному мышлению и уговорил продолжить математическое образование. В 1903 году Анна перевелась в университет своего родного штата Айова и через год защитила там магистерскую диссертацию в области приложения теории групп к линейным дифференциальным уравнениям. За эту работу она получила стипендию в знаменитом женском колледже Радклифф (Radcliffe College), и в 1905 году заработала еще одну магистерскую степень. Уже тогда ее считали одной из наиболее перспективных женщин-математиков Америки. В 1906 году Анна выиграла конкурс на получение престижной стипендии имени Алисы Фримен Палмер, предназначенной для выпускниц американских колледжей, пожелавших продолжить образование за рубежом. Эта позволило провести год в Геттингенском университете, где она училась у тех же самых звезд немецкой науки, что и (двумя годами ранее) Эмми Нётер. Ее главным наставником стал Гильберт, который тогда занимался интегральными уравнениями и заразил этим увлечением свою американскую ученицу. Впоследствии она работала в этой области и в смежной сфере функционального анализа.

Александр Пелл постоянно переписывался с Анной, и в конце концов сделал ей предложение. Летом 1907 года он приехал в Геттинген, и они поженились. Там Пелл познакомился с университетскими светилами, в кругу которых вращалась его невеста. Супруги вернулись в университет Южной Дакоты, где Анна стала читать курсы дифференциальных уравнений и теории функций. Большую часть 1908 года она снова провела в Геттингене, после чего поступила в аспирантуру Чикагского университета. В 1910 году она получила докторскую степень и в 1911 году приступила к преподаванию математики в одном из местных колледжей.

К этому времени Пелл тоже оказался в Чикаго, где получил место в Институте Армора (сейчас — Технологический институт Иллинойса). В 1911 году после перенесенного инсульта он перестал преподавать и передал свои лекции Анне. Она замещала мужа вплоть до 1913 года, когда он формально вышел в отставку. Тем не менее, Пелл продолжал писать статьи и принимать участие в конференциях Американского математического общества (последний раз — в 1919 году), а во время учебного года 1915–16 годов даже прочел семестровый курс в Северо-Западном университете.

В 1918 году Анну Пелл пригласили в Брин-Мар, где она стала профессором, а впоследствии — и деканом математического отделения. К этому времени она прочно вошла в немногочисленную плеяду женщин-математиков с международной репутацией. Но Пелл до этого не дожил: он скончался 26 января 1921 года. В 1925 году Анна вышла замуж за своего коллегу профессора-латиниста Артура Уилера, но в 1932 году опять овдовела. В 1948 году она ушла на пенсию, однако не перестала следить за математической литературой и посещать семинары. Умерла она в марте 1966 года в возрасте 82 лет. Ее похоронили на баптистском кладбище рядом с могилой первого мужа. Еще при жизни из собственных средств Анна учредила стипендию имени Александра Пелла для математически одаренных студентов университета Южной Дакоты. Этот фонд существует и по сей день.

Но причем же здесь Россия? Дело в том, что Пелл не всегда был Пеллом. Он родился в 1857 году в Москве, и звали его тогда Сергеем Петровичем Дегаевым. Он вошел в историю русского революционного подполья как величайший предатель и провокатор, сдавший охранке Веру Фигнер и других членов «Народной воли». Позднее, чтобы избежать смерти от руки бывших товарищей, он помог им в убийстве своего куратора — жандармского подполковника Георгия Порфирьевича Судейкина (эта история подробно описана в романе Юрия Давыдова «Глухая пора листопада»). Оставшиеся на свободе народовольцы позволили Дегаеву уехать в Америку, где он и стал Пеллом. В Штатах он после многих злоключений получил математическое образование, закончил аспирантуру в Университете Джонса Хопкинса в Балтиморе и в конце концов получил кафедру в Южной Дакоте. Так что демону истории для устройства Эмми Нётер в США было нужно, чтобы злой гений «Народной воли» превратился в почтенного американского профессора, который заметил и продвинул одаренную студентку из глубокой провинции. Вот как оно бывает!
 
 51.051.0
Последние действия над темой
1 2 3 4 5 6 7 8

в начало страницы | новое
 
Поиск
Настройки
Твиттер сайта
Статистика
Рейтинг@Mail.ru