PL2 — подход 0.01. Единицы измерения

[palexisru]

Может быть, и физика. Уверяю, эту ошибку увидят все :-) Вопрос — глубжее: там даже намек на математику есть.
Философия, биология, психология, общество предполагаются в следующих релизах…

[ad_Wolf]

matematics -> mathematics

[palexisru]

А задача matematics -> physics и дальше.
Если есть идеи — прошу высказать.
Если нет — прошу оценить следующие тезисы (через несколько месяцев)

[palexisru]

Про буковки — спасибо, устраняю очередную ошибку.

[retran]

1. Это не статья.
2. Не понял. Вы DSL какой-то изобретаете? Для решения какой задачи?

[palexisru]

1. Естественно, это первая из 9 частей статьи. Обобщение намного непонятнее.
2. это часть описания языка программирования PL2 для использования в школьном курсе, начиная с 1-го класса.

Это попытка связать информатику с общим курсом миропонимания.

[Yoschi]

Не сложновато для первого класса то? :о)
А информатика сейчас в первом классе и так представляет из себя курс миропонимания. Учат детей классифицировать предметы, сопоставлять друг с другом и т.п.

[palexisru]

Не сложновато для первого класса то?

Не знаю, мне проще придумать не удалось.

А информатика сейчас в первом классе и так представляет из себя курс миропонимания. Учат детей классифицировать предметы, сопоставлять друг с другом и т.п.

Я и не предлагаю все заменить на предлагаемое. Предлагается добавление, а не замена.

[anjensan]

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

[palexisru]

Все сразу — слишком сложно для деления. Следующая предполагаемая часть — попытка нового описания BNF.
Данный фрагмент — достаточно самостоятельное описание одного из направлений.

Возможно, главный недостаток — отсутствие ссылок на существующие реализации единиц измерения (из которых я читал только про F#).
При этом в F# — единица измерения порождает новый тип.

Однако конкретных описаний реализаций в других языках и предложений по улучшенным единицам измерения в объектной модели в комментариях пока не встретилось :-(

Либо не читают те, кто знает, либо отсутствуют удачные спецификации, которые можно противопоставить предлагаемому варианту.

Спасибо.

[amarao]

Что-то со скалярами не понятно.

Если я хочу вектор скорости умножить на два, то два это скаляр. Почему он должен обязательно иметь размерность?

ЗЫ Раз уж вводите величины, вводите с самого начала консервативные и неконсервативные силы. Потому что если мы к расстоянию сначала добавим, а потом уберём 2км, то мы получим то же расстояние, а если мы к пути добавим 2км, а потом «уберём», то мы получим расстояние +4км.

[palexisru]

умножим 100 м на 100 м. Получим скаляр 1 га.

1литр — не менее скаляр.

Про консервы:
На мой взгляд, путаются скаляр (интеграл движения) и вектор

[palexisru]

Если я хочу вектор скорости умножить на два, то два это скаляр. Почему он должен обязательно иметь размерность?

Так в векторе скорости: умножить на 2 можно только величину. А «чего» 2 и зачем — зависит от области использования.

Применение 1: колонка, строка, файл в исходниках программы

[amarao]

«Два раза» не величина? А проценты?

[palexisru]

Что меряете — тех и проценты.
Или у Вас за экономию бумаги золотом дают?

[amarao]

Мы прошли два раза по полтора километра.

a=1.5км
c=a*b

b=?

[palexisru]

c — км
b — безразмерные «разы»

[palexisru]

«Два раза» можно считать и масштабным коэффициентом. В статистике аналогичные отношения нового к старому называются индексом.

[palexisru]

Про консервативные и неконсервативные силы — так и не понял, каким образом можно ввести разделение гравитации и трения на уровне языка программирования. Это должно описываться на уровне конструкций. Хотя язык программирования должен содержать в библиотеках методы для дифференциального, интегрального, операционного исчисления на уровне числовых лямбд (вот тут деление на скаляры и векторы уже начинает играть роль).

Да и энергия не зависит от вида сил — гравитация, электростатика, трение — все равно в Джоулях.