Я разрабатываю язык программирования, просто для забавы, и хочу добавить столько экспериментальных опций, сколько я могу, только для создания программирования в ней чем-то совершенно другим, и что не плохим способом как Brainf*ck или Malbolge.
Однако я, кажется, довольно плох при предложении новых вещей для него, но я уверен, что существуют тонны вещей там, о которых говорили, но никогда действительно испытали.
Например: Если бы я спросил это в, скажем, 1960, то ответом могло бы быть "Объектно-ориентированное программирование".
Я уверен, что существует много нереализованных программистов идей, (недавно) придумали, по крайней мере, мне сказали так.
Одной из текущих областей исследований являются зависимые типы. С ними можно сделать еще много того, что еще не сделано.
DWIMNWIS (Do What I Mean, Not What I Say).
Более серьезно, абсолютно отличной функцией (которую было бы очень трудно реализовать) была бы возможность для программы языка быть доказуемой, чтобы не содержать проблем с параллелизмом.
Что касается функций MUST-HAVE, я бы сказал lambdas и Первоклассные функции. Не совсем новый или теоретический (сколько лет Lisp в этом году), но мощный и отсутствующий во многих языках.