Конечно, когда нужен образец Бейсика/Фортрана образца 70-х, то это курсовая работа студента. Попробуйте ввести в такой язык классы например . А потом ввести структуры данных, не отражаемых в типах целевого процессора. Введите туда строки.

Отредактировано utkin (2017-08-23 06:23:12)

Есть определенное количество часов, которые должен получить студент по спецпредметам.

Просто это не наш уровень. Задача ведь приготовить специалиста, годного к работе в российских условиях. Если он будет уметь это то в рамках курса придется выкинуть что-то иное. А как часто программистам требуется писать ЯП с классами для бизнеса? Для науки? И потом на первом-втором курсе как пользователи (то есть как программисты) это проходят. Но вот с точки зрения реализации на ассемблере - человек как минимум должен хорошо рубить ассемблер, то есть это тоже минимум к диплому тянет.
Потом существует еще проблема самих кадров. Вот например: https://ru.wikibooks.org/wiki/Языки_про … ия_в_школе Бейсик до сих пор есть школьному курсе и эта программа утверждается не хухры-мухры, а в Москве в Минобре. Пока там не вымрет поколение мастодонтов пришедших в 90-е школа будет мучиться консервативным бейсиком. Справедливости ради стоит отметить, что растет количество Питона в школе (из-за линукса в основном - была идея в свое время экономить на винде). Есть Бейсик и в различных колледжах (среднее образование) в основном в непрофильных специальностях - его дают поварам, электрикам и т.д. С другой стороны в СПО вариативная часть более выражена (то есть там у колледжа/ПТУ есть возможность править программу под себя в некоторых пределах). К чему я это? К тому, что нужно учить обучателей и тех кто придумывает правила для обучателей сначала, а потом уже насиловать студентов.

Сборка мусора это тема диплома, а не курсовой. Представляете объем знаний? Вывод типов это вообще полуисследовательская работа (то есть работа не ниже аспиранта). Это уже близко к международному уровню (исторически впервые реализовано во Франции, то есть даже не в США - как в двигателе прогресса и не в Швейцарии, как академической школе). Не забываем что бакалавры не могут вести самостоятельное изучение в курсовой работе. Они обязаны опираться на преподанный курс. Магистр наоборот в диссертации предварительно должен опереться на объем литературы (1 глава), провести исследование (2 глава), подтвердить результаты и представить выводы, представляющие новизну и актуальность (3 глава).

Отредактировано utkin (2017-08-23 13:09:49)

Нужно кому? Такие разработчики штучный товар, дешевле встроить какой-нибудь скрипт на lua, javascript или лисп и не парится. Какой паровоз без таких деталей? Яндекс? Майл? 1с? Не смешите мои крылья. Они и так отлично пилят бабло на имеющихся технологиях.

Написать компилятор с выводом типов это сложная задача. Ну если только Вы каждый день это делаете, то проблем нет. Вопрос-то опять в целепологании. Кому это нужно, чтобы на небе зажглась новая звезда? Эльбрусам? Ну это же смешно, им и линукса на десятилетия вперед хватит. Потом вопрос нужды плавно перетекает в философию - как много в стране проблем, которые нельзя решить без вывода типов? На космодроме Восточный? На Керченском мосту? На олимпиаде в Сочи? Где поле битвы? У буржуев рынок просто гораздо шире - там ниш больше, поэтому и возникают все эти ml и ocaml. В чем Ваша проблема? Вы рассматриваете знания просто сами по себе. Когда Вы одиночка проблем нет. Но государство не может выпускать таких специалистов, которые будут не нужны, просто потому что оно и так выпускает специалистов которые не нужны (просто в одной стране больше, в другой меньше). Ему нужна нехватка специалистов, чтобы это делать. Вот когда я поступал не хватало нормальных бухгалтеров, прошло 4 года и когда я выпустился, то стал не нужен, потому что их стало пруд пруди. Потом пришла очередь юристов, потом не хватало менеджеров. Сейчас не хватает узких рабочих специальностей (типа геодезиста какого-нибудь или программиста конкретной марки станка ЧПУ). Стране нужны программисты? Нет, не нужны. ПО можно купить-украсть, а остальное допилят свои специалисты. Раз техника транзисторная, будет клепать ДРАКОНовцев, нормальные специалисты выучатся сами или их заточит работодатель (как это делает например Яндекс). Отсюда низкая производительность и все проблемы и перекосы в которых мы живем каждый день.
Чтобы пилить специалистов самим - нужно создать школу - набор инструментов, учебников и литературы. Это минимум 5 лет и куча бабок. Так получите систему и фундаменталку. Затем нужно обязательное прикладное применение - доказать, что предприятиям это надо. Что это эффективно, что это приносит деньги.
Ну а штучный товар - киньте клич фрилансерам, они Вам настрогают . Отдельные заплатки поставить не проблема, узкие специалисты не нужны, потому что нет такого потока проблем, где требуется вывод типов.

Общую мысль Вы уловили верно - на текущий момент это работа более чем одного человека из-за имеющихся современных представлений. Потому что тот же yacc когда вышла первая версия? В 1970-м году. Для ИТ 40 лет это огромный срок, тут несколько эпох прошло. И сколько много новых инструментов вышло, годных для подобной работы? Чуть больше чем ничего, если не считать всяких вариаций типа бизона. То есть эффективных инструментов в этой области нет, поэтому человек вынужден по старинке пилить все ручками. Где автоматические конструкторы компиляторов с выводом типов? Нет их, нет потока научных работ в этом направлении.

Отредактировано utkin (2017-08-24 08:50:52)

Средств автоматизации нет. Компилятор (нормальный, а не учебный) все равно надо пилить вручную. Это требует туеву хучу специальных знаний, которых потом очень трудно применить где-то еще. Поэтому специалисты такого рода редкость. С другой стороны, имей такие инструменты (то есть не застывшие представления 70-80-х на процесс компиляции) компиляторы не клепал бы только самый ленивый и мы имели бы буйство красок - хочешь сборка мусора, хочешь вывод типов, хочешь параллельные потоки автоматом. Пока это доступно только очень ограниченной группе - типа Хаскела (у которого например высокий порог вхождения и отсутствие внятных учебников на русском).

И нафига здесь нужна сборка мусора?

Да? Это детские игрушки в песочнице. Где генераторы компиляторов по заданному описанию? Нет их.

Они развиваются туда где есть спрос. Термин "неправильно" здесь некорректен.

Об этом я и говорю - нужны фундаментальные исследования, которых с гулькин нос в этом направлении. Все на матане 30-60-х годов. Экспериментальных работ не слышно. Они может и есть, но наверно не у нас.

Будден специалист и одиночка. Он не система. Также как и Вы и я не система. Нам нужны статьи определенной тематики, я об этом говорил, когда обсуждался манифест. У нас нет культурного влияния на процесс.

Деньги сейчас не дают и по плану. Деньги дают под откат. Что касается частных инвесторов, то нужен прототип, а он в свою очередь очень маловероятен без фундаментальных исследований. Нет можно конечно попытаться и за рубежом пытаться получить грант. Только изначальный смысл после этого теряется .

Отредактировано utkin (2017-08-24 12:22:07)

Да, но это ведь не цель. Цель сделать разумное, доброе, вечное.

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

Отредактировано utkin (2017-08-24 12:25:58)

Это политика на уровне гигантов рынка. Вы то пойдете к конкретному чиновнику, местному администратору, а не в Кремль. А на местах котируется ватниковый патриотизм, чтобы на эмблеме компилятора был Крым нарисован, чтобы программировали-косплеили его казаки, чтобы во время компиляции гимн РФ звучал и т.д. Кстати, обрабатывать надо уже сейчас - денег в этом году Вам никто не даст, но откат на следующий заложить вполне могут.

В РФ специалистов острая нехватка в основном из-за действий монополистов и государства. Основная проблема в том, что специалист стоит дорого. Хороший специалист стоит дороже менеджер-сити или губернатора, а этого они допустить никак не могут. Поэтому реальных прав рабочих никто не защищает. В тоже время специалисты высокого уровня могут не рискуя вполне мигрировать в другую страну и жить без приключений (типа неадекватного вышестоящего руководителя). Почитайте что сейчас происходит с пилотами - им искусственно установили низкую стоимость зп (ниже чем в других странах, в том же Китае платят дороже + уважение как к специалистам). Профсоюзы давно уже заняты сбором денег на дни рождения и корпоративы. Соответственно люди в массовом порядке пакуют вещички и валят (международные рейсы предполагают обязательное знание пилотами английского языка). Чтобы этого не происходило сейчас пытаются лишить лицензий несколько тысяч пилотов. Аэрофлот + государство это наше все. С одной стороны понятно, что в них деньги вложили (обучение там тоже не копеечное, просто если даже прикинуть практические учебные вылеты - сколько топливо например только стоит), с другой стороны работать за половину стоимости это явное не уважение к людям как к специалистам (у которых требования отличаются от требований разнорабочего). К 2020 году не то что пилотов хватать не будет, хорошо если самолеты на голову падать не начнут. Тоже самое касается всяческих Роскосмосов и Газпромов. Старые опытный конструктор это хорошо, но вот проектирование на чертежных досках это плохо. Отсюда драма, грусть, печаль и беда.

Отредактировано utkin (2017-08-24 13:34:29)

Затем, что если Вы не укажете достаточных данных, Вас рассматривать не будут. А если укажите переадресуют на соответствующую территорию. И это я считаю правильно. Если президент будет каждый вопрос сам рассматривать (ну, кроме пиара на прямой линии, где традиционно защищают обиженных и показательно разоблачают особенно оборзевших), то у него от напряжения и количества проблем последние волосы выпадут причем во всех местах и окончательно. Поэтому готовьтесь к проекту добавить березку, балалайку и шапку-ушанку, потому что иначе будет не тренд, а чиновникам проект пох (им и на патриотизм давно пох), им чтобы тренд звенел надо. И еще, по своему опыту знаю - когда с Москвы спускают (любой вопрос) - обязательно надо отчитываться, да еще в срок. Короче Вы изначально заставите шевелиться чиновника чуть больше чем ему хочется и тем самым на стартовых позициях у Вас будет немного минус, чем если напрямую подойдете к нужному человеку. Нарушение субординации нигде не приветствуется.

Отредактировано utkin (2017-08-24 15:01:51)

Я тоже чего-то не сильно понял вопрос. Давайте на конкретном примере. Вот есть какой фрагмент текста, типа

if (x=0) x=1;

Программист исправил на

if (x=0) {

И все там блок, там надо полдерева пересобирать.

Эта идея будет работать, если текст не содержит ошибок. То есть если программист допустил корректное исправление. А если нет? Тогда будет переразбор в обе стороны, то есть затрачено в два раза больше времени напрасно.

Два цикла верхнего уровня, один цикл с тремя вложенными это сильно. Говорить о эффективности методики без доказательств производительности ну не знаю.

Отредактировано utkin (2017-08-25 09:21:11)