Чи може мова програмування за допомогою дизайну застосовувати «чистий код»? [зачинено]

Тому я кодую свої перші проекти в C ++ і, здається, потрібно більше зусиль, щоб зробити код "чистим", а не просто працювати. Тобто здається, ніби C ++ "дозволяє" писати некрасивий, але робочий код.

Що змусило мене задуматися,

Чи може мова програмування застосовувати чистий код за допомогою дизайну? Чи вже є такі мови?

Крім того, як це включено як принципи проектування в розробку / теорію мови програмування? Які заходи застосовуються?

Основний ефект, який має мовна конструкція на "чистий код", є на синтаксичному рівні. Мови з великою кількістю скорочених і незрозумілих операторів (Perl / APL) піддаються "брудному" коду, тоді як мови з меншим набором елементів (скажімо, Python) піддаються більш чистому коду.

Однак семантика - це зовсім інша тварина. Немає можливості переконатись у тому, що семантика мови використовується чисто, особливо тому, що ви не можете як компілятор знати, чого намагається виконати користувач цієї мови. Потужний інструмент просто це - потужний інструмент, для добра чи хворого.

Зрештою, семантика важливіша за синтаксис. Це також та частина, яку найскладніше зрозуміти як розробник технічного обслуговування (наприклад, "що насправді означає цей код? Я бачу, що він робить ...").

Отже, я б сказав, що не існує дизайну для забезпечення чистого коду, але ви можете написати простий синтаксис із чистою семантикою, що полегшує його. На краще чи гірше, чистий код - це насамперед питання знань, мотивації, дисципліни та вміння розробника.

Мови можуть змусити або спонукати програмістів звертатися до певних класів помилок, що є частиною визначення чистого коду. Наприклад, різні мови займаються відносно гідною роботою щодо вирішення:

• Винятки нульових покажчиків.
• Спільні помилки стану
• Емісійні питання.
• Неперевірені винятки.

Це лише перетворює вас на частину шляху, оскільки чистий код стосується передусім людського спілкування. Мови програмування дійсно мають лише один важіль, який допомагає у цьому, і це їх виражальна сила . Це визначити дійсно важкий термін, але в принципі хорошим програмістам простіше писати чистіший код на виразніших мовах. У них є більше інструментів для легкого вираження алгоритму в термінах, які добре спілкуються з іншими людьми. Не зрозумійте мене неправильно, ви можете написати чистий код майже ( будь-якою) мовою програмування. Просто деякі мови полегшують та мають кращий відносний результат.

Однак ви не можете просто набрати експресивність і магічно люди почнуть писати кращий код. У більшості програмістів ви даєте їм більше ручок, щоб перетворити їх мову, і вони не знають, як правильно ними користуватися, тому їх код закінчується гірше. Для підвищення якості коду потрібна дисципліна та хороше наставництво. Срібних куль немає.

Певною мірою. Багато мов свідомо розроблені для заохочення деяких форм чистого коду відповідно до ідеалів мовних дизайнерів. Звичайно, можна писати некрасивий і незрозумілий код будь-якою мовою, але деякі мови докладають більше зусиль, щоб відбити їх.

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

Якщо ви зможете його кількісно оцінити, ви можете створити мову, яка може оптимізувати її.

Хоча я не знаю жодної конкретної мови, яка насправді застосовує політику "чистого коду", стильні копи, які працюють на складанні, є досить поширеними.

Основна причина того, що це окремий крок від того, щоб випекти мову, багато в чому залежить від пріоритетів. Мова інтересів програмування полягає в інтересах, щоб дозволити програмістам максимальну гнучкість отримати найширший рівень прийняття. Існує так багато різних мов програмування та DSL, що штучне обмеження користувальницької бази шляхом вибагливості та сумніву щодо того, який вхід дозволений, швидше за все, може перешкодити більш широкому застосуванню.

Наприклад, не в інтересах C # змушувати людей писати

if (condition)
{

замість

if (condition) {

Але шашки стилів можна вважати вибагливими, адже саме так вони і розроблені.

Отже, щоб відповісти на запитання

Чи може мова програмування застосовувати чистий код за допомогою дизайну?

_{акцент мій}

Абсолютно, якщо ви надаєте чітке визначення того, що означає "чистий код".

Наприклад, я можу визначити "чистий код", щоб означати:

• довжина рядка не більше 80 символів
• функції, що складаються не більше 100 рядків
• відступ повинен бути двома пробілами
• відкриті фігурні дужки повинні проходити в кінці рядка, якому передує рівно один пробіл
• не більше двох операторів на рядок

і ви можете не погодитися з деякими або всіма цими умовами, але наприкінці дня їх можна оцінити кількісно і їх можна запровадити програмно.

Ні, не в тому сенсі, який ви описуєте. Виявлення "потворності" неможливо зробити автоматично!

Однак мовні дизайнери можуть робити щось задля заохочення хорошого коду (я не хочу говорити "чистим", оскільки іноді хороший, безпечний код також довгий і "потворний"). Наприклад, дизайнери мови Rust розглядали те, до чого схильні дисципліновані програмісти C ++ (як, наприклад, давання значень, що виділяються в купу, єдиного "власника"), і полегшували робити деякі з цих речей. Сюди входить надання перевірки набору тексту, за допомогою якого ви можете перевірити, чи не допустили певних поширених помилок.

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