Сейчас как раз над этим думаю. Написал геометрическую программу (на C++), которая хорошо рисует всякую геометрию. Теперь хочу написать к ней пруфчекер. И вот нужен язык, позволяющий функциональное программирование, но также вычислять с кватернионами и быстро рисовать. Scala сразу забраковал, интуитивно, попробую на Факторе (есть ещё OCaml, но не видел, чтобы на нём рисовали).
Андрей Ланьков (известный специалист по Корее) рассказывал о возможных проблемах, если Корея всё-таки объединится (на youtube есть). Вот представьте, говорил, северокорейского инженера. Он работает на японской установке 1930-х годов выпуска. Он прекрасный инженер, знает в ней каждый винтик и она у него до сих пор работает. Но кому он будет нужен с этими знаниями в объединённой Корее?
Это не парадокс Рассела, а приспособленный к теории типов парадокс Бурали-Форти (не существует множества всех ординалов), он технически существенно сложней.
Чуть-чуть пояснений про инерциальную навигацию. Допустим, мы плывём в подводной лодке и хотим узнать свои координаты. Можно измерять скорость относительно воды, брать интеграл и вычисленный путь наносить на карту. Но вода сама течёт, это не годится. Можно измерять ускорение, вычислять второй интеграл и наносить путь на карту. Но как измерить ускорение? Допустим, есть прибор с пружинками. Пока лодка идёт горизонтально, он измеряет ускорение. Но как только она наклонилась, он измеряет силу тяжести. Или, допустим, маятник. Вот он отклонился назад — это лодка ускорилась или наклонилась носом вверх? Можно определять горизонтальную плоскость с помощью гироскопа, он вращается в одной плоскости. Но тут другая проблема — Земля круглая. Когда лодка плывёт, горизонтальная плоскость поворачивается, а гироскоп нет! И вот решение. Возьмём математический маятник (тяжёлая точка на невесомой нити) с длиной нити, равной радиусу Земли (называется «маятник Шулера»). Для него эти два эффекта (отклонение назад при ускорении и поворот горизонтальной плоскости) полностью уравновешивают друг друга и он качается всегда вертикально (с периодом 84 минуты с копейками). И вот мы можем определить вертикаль, горизонталь и измерить настоящее ускорение! Дальше уже инженерная задача — сделать устройство, работающее как маятник Шулера, но поменьше размером.
Вообще, лучшие научно-популярный книги — те, где сам учёный (не журналист) рассказывает о том, как делается наука. Из тех, что я читал — «Следы трав индейских» Мейена (палеоботаника) и «Рыбы открытого океана» Парина (ихтиология). Но это книги, мягко говоря, не весёлые, для развлечения не годятся. Если же хочется узнать, как что устроено, то лучше почитать хороший учебник (а как его найти — надо скачать несколько учебников и попробовать).
Трудно сказать, но вообще всего четыре страны достоверно сделали обогащение урана сами (США, СССР, Бразилия и Северная Корея). Англия, Франция, Израиль, Китай, Индия и Пакистан получили в подарок. Ирану, по слухам, сильно помогали северные корейцы.
mega.nz/file/igo0zDBC#JgIYMtie3UmKXgDgtWBKzXE25xPA-qvZuKMKQ3y8fFk
Может, кому-нибудь понравится. Математические подробности здесь
dxdy.ru/topic135617.html
там есть немножко и про кватернионы.
andreaferretti.github.io/factor-tutorial
rosettacode.org/wiki/Category:Factor
algorithmicbotany.org/virtual_laboratory
algorithmicbotany.org/lstudio
Вот здесь в начале пара книжек про системы Линденмайера
algorithmicbotany.org/papers
Мертвеца достать хотя.
То как зверь она завоет!
То заплачет как дитя!
Мировую атмосферу?
Вот мы покажем крупный кукиш
США и СССРу
andreaferretti.github.io/factor-tutorial
rosettacode.org/wiki/Category:Factor
dxdy.ru/topic138111.html