То, что вы условных двух-трех человек в одном совмещаете - другой вопрос. Вы сначала сделали при помощи науки некий математический аппарат, но это не программирование. Потом его выразили на языке - это программирование.
Да, утрирую работу, но нынче очень много где именно так код и хреначат как "продукт"

Задачу открыли, по тз и блрк-схемам как-то наговнили, тесты прошло - готово

Программисты? Да. Понимают и научный подход? Нет.

Есть. Просто те, кто сам пишет, а не по готовому ТЗ с чокаккуда это параллельно делают. Но это разные задачи походу - есть же целый класс программистов, которые тупо говнякают именно так, как я выше описал.

Ну с помощью такого механизма ты можешь всю математику заэнкодить в типах и таким образом её описать на подобном языке.

Этот язык в отличие от наивной теории множеств - без парадоксов, а в отличие от всяких ZFC, ты можешь проверку доказательства целиком оставить на тайпчекере.

Проблема в том, что обычно эти системы типов хорошо описывают именно конструктивную математику, а это требует чуть изворачиваться в некоторых доказательствах.

Но кучу всего полезного так всё равно можно доказывать.

На самом деле это даже круто. Не "программирование - фигня, а не наука", а вы - крутой и многопрофильный специалист в нескольких областях

если в схеме ошибка, то программист не найдет ее потом при таком подходе.

ValueError: Invalid isoformat string: '2019-10-01T10:13:57.554Z'

Как в питоне парсить дату? СХерали он говорит что инвалид исо формат?

без теории типов тут не обойтись

кто это говорит?

вот этим можно парсить https://pypi.org/project/iso8601/

ну или подставить шаблон

сделаю реплейс z на +00:00 пожалуй

лол

это сторонняя либа, а это сразу пип и прочее

без нее только тут и обойтись!

Z значит утц а +00:00 это говно не факт что не распарсит как локалтайм