Oberon space

Если четко следоваеть EBNF из сообщения о языке, то возможна следующая конструкция:
PROCEDURE foo();
CONST
    c* = 42;
TYPE
    p* = POINTER TO MyRecord;
VAR
    a* : INTEGER;
BEGIN
    a := 0;
END foo
То есть возможны метки экспорта в блоке деклараций у процедуры.

То ли Вирт просто зевнул, то ли намерянно эту пакость заложил ради экономии 40ка строчек описания грамматики...

Вот это вот: http://habrahabr.ru/post/159657/ по сути ставит большой и жирный крест на всяких совсем уж новых и не стандартных осях вроде Оберон ОС, бутылки и так далее. И, особенно, самопальные оси которые пишутся для (само)образовательных целей. Таким товарищам остается одно - эмулятор.

А Linux (по крайней мере основные дистрибутивы) конечно же выкрутится.

Внезапно обнаружился, на первый взгляд, весьма годный ЯП о котором я не знал: Monkey.
Статья про него на хабре: http://habrahabr.ru/post/159377/

Это модульный статически типизированный язык с симула-подобной объектной моделью (ну, то есть с моделью схожей с java/c++/c#/delphi). Внимание! Модуль и класс в этом языке не одно и то же!

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

Дока по языку: http://blitz-wiki.appspot.com/Language_reference
Доки по стандартным модулям: http://blitz-wiki.appspot.com/Module_reference

Ну и самое, для меня, вкусное: оно компилируется под кучу платформ: и в js компилируется, и в java и в c++ и в c#, что открывает большие возможности для написания алгоритмов - один раз написал, используешь везде (алгоритм). А не как в жабах всяких, которые не кроссплатформенны нифига.

Язык и компилятор под лицензией public domain, так что свободней (и бесплатней) некуда.

Вообще, автором этот язык преподносится как штука для игроделов (у него и коммерческая версия с тонной игро-заточенных либ имеется). Но я вижу где я мог бы его применять вне игр :-) (у меня постепенно разрабатывается пачка алгоритмов, которые мне, волею судеб, приходится постоянно таскать между сервером/йфоном/браузером/десктопом(причем разными десктопами). И меня несколько достало постоянно переписывать с C/ObjC на Java, а затем на js. Руками. А тут еще и C# нарисовался. Тьху.)

http://habrahabr.ru/post/157727/

Как сильно вы ненавидите математические задачи? А деление в столбик? Дроби? Мат.анализ?
 
У множества людей одно лишь упоминание подобных вычислений вызывает ужас и даже, в некотором роде, боль. Исследование психологов Иана Лайона (Ian Lyon) и Шона Билока (Sian Beilock) показало, что это вовсе не преувеличение: нелюбовь к математике у некоторых людей обусловлена тем, что ощущения от необходимости работы с числами сопоставимы с физической болью. Людям, обладающим высокой степенью математической тревоги (high levels of mathematics-anxiety — HMAs), она причиняет физические страдания.
 
Вышеупомянутых ученых из Чикагского и Западного университетов, соответственно, заинтересовали схожие исследования, доказавшие, что ощущения, похожие на физическую боль у социально изолированных людей, пропорциональны степени испытываемых ими страха и подавленности. Математика, по мнению ученых, также вызывает у человека порядочную степень тревоги: «Это идеальный полигон для исследования того, как физически безопасные ситуации вызывают нейронный отклик, схожий с реальными болевыми ощущениями».

 Изначально гипотеза состояла в том, что именно мысль о необходимости заниматься математическими расчетами, а не задача, как таковая, и есть пусковой механизм для страха перед этой процедурой, который, в свою очередь, и вызывает болезненные ощущения.
 
Ученые попросили участников эксперимента ответить на ряд вопросов о том, как они чувствуют себя перед предстоящими занятиями математикой, разделив их на две группы по 14 человек (с высокой (HMAs) и низкой (LMAs) степенью математической тревоги, соответственно). Критерии для определения ее степени основаны на разработанной специально для этих целей еще в 1972 году простой шкале SMARS (Short Math Anxiety Rating-Scale). Надо отметить, что сам факт существования шкалы SMARS не первое десятилетие уже говорит о том, насколько остро стоит эта проблема в мире психологии.
 
Итак, для проверки гипотезы 28 участников эксперимента получили ряд лингвистических и математических головоломок, во время решения которых их мозг подвергался МРТ-сканированию. Перед каждой последующей серией вопросов участники видели световой сигнал, свидетельствующий о степени сложности задачи и ее принадлежности (язык или математика).
 Перед более легкими языковыми и математическими заданиями разницы в нейронном отклике у обеих групп (HMAs/LMAs) выявлено не было, тогда как в решении сложных задач люди менее тревожные в отношении математики показали результаты значительно лучше более тревожных испытуемых. Это вполне логично: в состоянии стресса человек склонен проявлять меньшую результативность в разрешении ситуаций, требующих серьезной умственной деятельности.
 
Исследуя различия в мозговой деятельности у людей с противоположными полюсами тревоги, Лайон обратил внимание на то, что перед решением сложных математических задач у участников с высоким уровнем тревоги повышалась активность в области островковой доли больших полушарий и среднепоясной коры, после чего решить задачу им было значительно сложнее. В то же время, менее «математически тревожные» участники практически никакой нейронной реакции не показали и легко справлялись с заданием. Важен тот факт, что именно эти участки мозга отвечают за болевые ощущения. Результаты эксперимента показали, что, когда участники с высоким уровнем математической тревоги видели световой сигнал, свидетельствующий о том, что за ним следует сложная математическая задача, мозг, фигурально, предупреждал их о том, что сейчас будет больно.
 
В заключение, Лайон пишет: «Мы получили первые доказательства, указывающие на нейронную природу математической тревоги. Предыдущие подобные исследования касались в основном социальной изоляции и утверждали, что именно изолированное состояние заставляет человека испытывать боль. Однако, данные нашего эксперимента идут значительно дальше и показывают, что само ожидание грядущего неприятного события влечет за собой нейронную реакцию, отвечающую за болевые ощущения».
 
Есть мнение, что боль такого рода – неотъемлемая часть человеческой природы, обусловленная определенными эволюционными процессами. Лайон, тем не менее, считает маловероятным тот факт, что «чисто эволюционный механизм вызывает нейронный ответ мозга на перспективу занятий математикой, которая, по сути, является довольно современным культурным явлением». Такой вывод может пролить свет и на другие психологические феномены, в частности, природу фобий.
 
Поскольку стресс от ожидания, как выяснилось, влияет на работоспособность и эффективность больше, чем сама задача, имеет смысл исследовать альтернативные подходы к преподаванию математики в школе. Возможно, стоит также предусмотреть более простые процессы налоговой отчетности. Зачастую органы власти бьют тревогу, видя статистику математической безграмотности среди взрослого населения, но, возможно, люди не виноваты в том, что не могли сконцентрироваться на школьных уроках математики. Возможно, их просто пугали сами цифры.

http://www.linux.org.ru/news/opensource/8377234 :

После полутора лет разработки вышел мажорный релиз открытой кроссплатформенной реализации .NET Framework Mono 3.0.

Что нового:

• Компилятор C# 5.0 с поддержкой асинхронного программирования.
• Поддержка ASP.NET MVC 4, Razor.
• Поддержка Entity Framework.
• Новый высокопроизводительный сборщик мусора SGen.
• Начальная поддержка CodeContracts.
• Множественные улучшения производительности.

Поддержка и обновления mono 2.10 будут продолжаться еще в течение полугода.

А между тем, тихо и незаметно вышла новая версия убийцы С++ от мозиллы.

Что нового:

• Реализация точного сборщика мусора.
• Причесали и стабилизировали синтаксис. В частности - для идентификаторов типов теперь обязательно использование Camel case (мой опыт показывает что такие правила в языке хороши на практике).
• Выкинули классы. Теперь вместо них структуры. Это упростило синтаксис и семантику. При этом ничего (из функциональности) не потеряли. Скажем деструкторы никуда не делись.
• Выкинули интерфейсы (interface) теперь там "характерыне черты", в общем traits там теперь. Насколько я понимаю, эта штука столь же крута (если не круче) чем интерфейсы в Go. Вот что про них пишут в Rust-доке:
  
  Цитировать

  they can be mixed in any order, can be declared independent from the type they affect, and are compiled independently for each type that implements them (indeed, will inline and specialize exactly as any other function will
  
• Поскольку изменяемость - это уязвимость, а Rust позиционируется как язык безопасный, ключевое слово mut (mutable) теперь является квалификатром типа памяти (аналог всяких там static в сях) и применяется к конкретной переменной. Например:
  
  let mut a = 42; // это изменяемая штука
  let b = 42; // а это нет, хотя тип у них один и тот же (int)
  
  При этом этот самый mut рекурсивно распространяется на все что внутри переменной находится. Если бы 'a' была структурой, то и все её поля стали бы mut. Естественно в функцию ожидающую не mut-переменную передать таковую нельзя.
• Также там расширили и углубили систему многозадачности и взаимодействие задач.

Кроме того, с февраля этого года силами Мозиллы развивается новый асинхронно-параллельний движок для браузера - Servo который пишется, естественно, полностью на Rust'e.

Ссылки по теме:

• Подробное описание новшеств: https://github.com/mozilla/rust/wiki/Doc-detailed-release-notes
• Новость на opennet'e с описанием что такое Rust вообще: http://www.opennet.ru/opennews/art.shtml?num=35097

МВК-2 это Мобильный Вычислительный Комплекс - основной защищенный компьютер Вооруженных Сил России.

Подробности тут: http://www.securitylab.ru/contest/430512.php (букв много, но оно вроде бы того стоит).

Единственный нюанс: эти все закладки будут работать только при подключении к интернету. А основная защита от хакерских атак на объектах - это либо закрытая сеть либо отсутствие сети вообще.