edn 🌝

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

Проблем с восприятием не было, разумеется. С плюсами проблемы "зацикливания концепций", плюсы очень сложно учить постепенно

Во что в некоторых вузах изучают. Свеженькое https://youtu.be/W8ejSZlkQIk

Жесть https://youtu.be/p3QZjcFNzyk Расписки...

вот, строго типизованный лисп, настолько строго, что тип списка повторяет его структуру
https://ideone.com/e4XYcX

Зачем? Есть же Карп

ну, просто так, конечно

далеко не везде.

> Проблем с восприятием не было, разумеется. С плюсами проблемы "зацикливания концепций", плюсы очень сложно учить постепенно

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

Там есть концепции?

Я стал довольно уверенным пользователем S-выражений когда решаю простые общеалгебраические упражнения.  И мне это помогает не запутаться в схожих типах объектов.

http://lettingthedaysgoby.altervista.org/software-and-anarchy.2021-01-10.pdf

Авторы netfarm недавно такой манифестик выкатили, может кому интересно будет (как можно догадаться, воодушевлено лиспом)

A liberatory technology provides an improvement in the work which can be done with some amount of effort and time. A community which utilises such a technology well can perform much more work independently. We believe a liberatory technology for programmers takes the form of a dynamic environment, which is a property of some programming languages and implementations that allows for many forms of modification and inspection at any time while a program is running.

We hold the belief that software peer production while rejecting the potential of dynamic environments is, at best, incoherent, and that a user of dynamic environments outside peer production may well have problems applying the environment as much as they could have. We try to achieve a few aims with this book: to introduce the reader to an idea of software anarchy, to investigate some common opposition to it, and to provide a wide selection of resources that a reader (whom can produce enough free time) can read to help develop their own approaches.

Только содержание всех списков должно быть известно в компайл-тайм. :) Такую программу можно и не запускать, компилятор сразу ответ говорит.

хм, интересно, насколько эффективен C++ компилятор в качестве интерпретатора?

совершенно непонятно, что здесь называется "мусором"

что такое netfarm?

а вот про зацикливание концепций - существует "симметрия" между ссылками и категориями значений, то есть ссылки на самом деле соответствуют категориям значений, при этом определение категории значения явно оперирует ссылками - и проблемы при изучении очень серьёзные

int x = 0;
static_assert(std::is_same_v<decltype(x), int>); //тип x это int
static_assert(std::is_same_v<decltype((x)), int&>); //тип (x) это int&

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