Я помню, как наткнулся на видеоклип, представляющий новый «язык» программирования и парадигму. «Язык» был двумерным и визуальным по своей природе, и поэтому тесно связан со своей 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 / переводчик?
В основном я ищу [имя], чтобы снова найти и посмотреть видео, чтобы обсудить его с моими нынешними коллегами. Если у вас есть что сказать об этом, мы можем превратить этот вопрос в вики сообщества и начать обсуждение.