This is more or less like the traditional use of parentheses, square brackets and curly brackets in English texts, where they had the same meaning but they were used for different levels of nested brackets.
IIRC, I have seen once an experimental language which worked exactly like in your proposal, but it was long ago and I do not remember which was it.
One LISP system that I have used long ago had a different approach. In it, one closing square bracket could be used to close all non-closed parentheses preceding it.
IIRC, I have seen once an experimental language which worked exactly like in your proposal, but it was long ago and I do not remember which was it.
One LISP system that I have used long ago had a different approach. In it, one closing square bracket could be used to close all non-closed parentheses preceding it.