Назовите это (2-D, логически-табличный, визуальный) язык программирования / парадигма (Subtext/Example Centric Programming)
Я помню, как наткнулся на видеоклип, представляющий новый "язык" программирования и парадигму. "Язык" был двумерным и визуальным по своей природе, и поэтому тесно связан со своей IDE и интерпретатором в видео.
Это началось как таблица правды, но стало более сложным. Условные обозначения были представлены на оси X, а поток - на оси Y программы.
Например, чтобы построить функцию "абсолютного значения", определив входы и выходы, назовем их целыми числами I и целое число O, Нажав на I позволил определить подслучае, скажем I < (const), Затем вошел 0 как константа и I столбец разделен на две части: I < 0 а также I >= 0, Один связан как с Oодин из них через neg функция и получил функцию абсолютного значения.
Дело в том, что пропущенные случаи были сразу и визуально идентифицируемы; определяя два случая x < 0 а также x > 0 немедленно разделить x столбец на три, и если вы забыли подключить x = 0 Дело в выводе, это было бы очевидно.
Это настолько кратко, насколько это возможно, пока я предоставляю достаточно информации, чтобы люди могли идентифицировать и / или заинтересоваться языком, поэтому я остановлюсь здесь. Может показаться, что это решает только некоторые специфические проблемы, связанные с условными обозначениями и логикой, но я помню, что "язык" достаточно силен, чтобы быть самостоятельной парадигмой.
В видео также были отмечены некоторые хорошие моменты о том, что современное программирование мало чем отличается от того, что было 50 с лишним лет назад, то есть ввод текста, который по сути является 1-D, на телетайпе.
Вопрос: Как называется язык / парадигма /IDE/ переводчик?
В основном я ищу [имя], чтобы найти и посмотреть видео снова, чтобы обсудить его с моими нынешними коллегами. Если у вас есть что сказать об этом, мы можем превратить этот вопрос в вики сообщества и начать обсуждение.
