Программирование данных DataType

Question

Я знаю о «императивном» и «функциональном» программировании, но я мало что мог найти в программировании «Датат». Есть ли такая вещь и как это связано с другими парадигмами?

Answer 1

Я никогда не слышал об этом термине. Google тоже нет. (Единственный удар - это самый вопрос.)

Самое близкое, о чем я могу думать, это Типичное программирование, которая представляет собой парадигму программирования, представленная Лукой Карделли в 1989 году. бумага по тому же названию.

Идея типичного программирования заключается в том, что вы широко и в первую очередь используете типы для моделирования своего домена, стимулировать свой дизайн, структурировать свою программу и в целом решать свою проблему, так же, как вы используете объекты в объектно-ориентированном программировании, процедуры в процедурном программировании, функции В функциональном программировании положения в логическом программировании, процессы в Erlang и так далее. Это типичный стиль в Хаскелле.

Редактировать: я не видел ваших комментариев по вопросу, когда я написал этот ответ. Думаю, этот второй - то, что вы ищете.

Еще один термин, на который я наткнулся, выполняя вышеупомянутый поиск в Google,-это термин. Программирование генерации данных. Анкет Это исследовательский проект Это было с 2003 по 2006 год, которое направлено на создание нового механизма для написания программ, который параметризует над типами гораздо дальше, как это возможно, с, скажем, параметрическим полиморфизмом в Haskell или шаблонах в C ++.