О реализации ввода-вывода с именами

1. Это нафиг никому не нужно.
2. Это легко повторить на любом современном языке.

Ну таки вообще говоря, да по обоим пунктам. :) Но аргументы будут.

Почему не нужно? Потому что современные языки для ввода или вывода данных стараются использовать форматы стандартные, типа JSON скажем, если мы говорим именно об обмене данными — т.е. вы в одном месте вывели, а в другом прочитали. И вывели на одном языке, а прочитали на другом. Поэтому ввод/вывод в проприетарном формате put data, пусть и документированном — если не прям совсем никому не нужен, то скорее всего будет мало популярен. Тут очевидная проблема — насколько я помню, в PL/1 не было структуры данных, которую часто называют хешмап, а также вероятно других структур данных. Соответственно, ваш формат вывода просто не может предусмотреть все возможные виды данных, которые есть в других языках — то есть, он либо ограничен одним языком, либо будут те или иные проблемы (эти проблемы есть и в случае JSON тоже).

Что же до легко повторить… ну конечно, не так чтобы прямо легко, сильно зависит от языка. В языках динамических, типа javascript — думается вообще раз плюнуть (потому что это прямой аналог того же JSON, вывод и ввод для которого уже имеется). Прямо в виде библиотеки. В языках с рефлексией, типа Java — тоже в общем не видно особых проблем (не считая наличия приватных полей, которые вообще говоря выводить не нужно, и что с ними делать — непонятно). Ну и во множестве языков есть специальные API для сериализации, которые нужны для того, чтобы передавать данные по разного рода каналам связи, сокетам и пр. — в этих случаях обычно есть нужный метод, который позволяет получить доступ к метаданным о переменных.

На языке D это будет выглядеть так:

void dump(vars...)()
{
    import std.stdio;

    static foreach (i, v; vars)
    {
        write(vars[i].stringof, "=", v, "\t");
    }
}

void main()
{
    auto x = 123;
    auto y = [1, 2];
    dump!(x, y); // x=123   y=[1, 2]    
}

https://run.dlang.io/is/xly7jl

В последних версиях python-а есть в чем-то схожая с put data штатная возможность:

x = 3
l = [2, 4, 10]
s = 'Example'
print(f'{x=}, {x+2=}, {l=}, {s=}')

напечатает:
x=3, x+2=5, l=[2, 4, 10], s='Example'
Хотя например для печати индексов для каждого элемента массива нужно свой метод __repr__ определить или еще другими доп. средствами воспользоваться

В Julia удобно сделан вывод массивов

julia> mat1 = [1 2 3; 4 5 6]
2×3 Array{Int64,2}:
 1  2  3
 4  5  6

А также для длинных массивов

template haskell:

main = do
  let x   :: Int = 1
      xs  :: [Int] = [1, 2, 3]
      arr :: Array Int String = listArray (0, 2) ["a", "b", "c"]
  $(traceData 'x)
  $(traceData 'xs)
  $(traceData 'arr)

Вывод:

x = 1
xs = [1,2,3]
arr = array (0,2) [(0,"a"),(1,"b"),(2,"c")]

Сразу скажу, что можно любой формат вывода сделать, здесь используется стандартный Show.

Если есть вариант реализовать подобное не каким-то магическим способом, а средствами языка — то почему нет? Но встраивать подобную конструкцию в язык точно не стоит.