Что такое концептуальное программирование?

Концептуальное программирование - это стиль компьютерного программирования, также известный как парадигма программирования, целью которого является воссоздание концепций в уме программиста как можно ближе к самой программе. Идея, лежащая в основе концептуального программирования, заключается в том, что каждый фрагмент кода должен что-то значить и четко представлять, какое действие программист хочет выполнить в этом фрагменте кода. Все, от необходимости отображения изображения на экране до отображения сообщения об ошибке при возникновении события, считается концепцией. Части компьютерного кода, такие как точка с запятой, которые указывают строку кода, где заканчиваться, не являются понятиями, потому что они предназначены только для того, чтобы помочь компьютеру функционировать, и не представляют идеи из головы программиста.

Парадигма концептуального программирования не является самим языком программирования. Скорее, это метод оценки других языков программирования для выявления их недостатков. Конечная цель - сделать физическую компьютерную программу максимально идентичной оригинальной, абстрактной идее программиста.

В концептуальном программировании программист фокусируется на семантике и синтаксисе. Семантика - это то, как программа должна вести себя, а синтаксис - то, как программист воображает, что она должна быть написана. Например, в Java-программе код A + B может показывать сложение между A и B. Эта программа имеет хороший синтаксис, поскольку она очень похожа на первоначальную концепцию сложения программиста. Однако, если при выполнении программа создает ошибку при попытке добавить A и B, то программа имеет плохую семантику, потому что она не дает ожидаемого результата.

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

После того, как программист заканчивает составлять карту своих понятий, она находит лучший способ представить эти понятия в компьютерном коде. Она стремится написать код, который близко соответствует ее идее с точки зрения семантики и синтаксиса. Она может использовать фрагменты ранее существовавшего кода, такие как A + B, или создать свой собственный код, чтобы лучше представлять ее концепции.

На середину 2011 года XL является единственным языком программирования, созданным на основе концептуальной парадигмы программирования. Он направлен на создание гибких правил программирования и синтаксиса, которые соответствуют тому, что думает программист. Это позволяет программистам сосредоточиться на том, что они хотят создать, вместо того, чтобы беспокоиться о не-концептуальных элементах, таких как конец строки кода точкой с запятой.