Следует ли использовать :: в качестве разделителя namespace? about lens HOT 4 CLOSED

Открываю грамматику и вижу:

namespace           = identifier { "::" identifier }

Однако,

type                = [ namespace "." ] identifier [ ( { "[]" } | type_params ) ]

Получается, сейчас мы используем такой синтаксис:

System::Console.WriteLine("shit")

Действительно, это мне кажется неконсистентным. Например, в PowerShell это будет выглядеть с точностью до наоборот:

[System.Console]::WriteLine('shit')

Предлагаю следующее.

1. Позиции внутри неймспейса разделять символом . - это соответствует стандартной нотации .NET. В любом другом случае парсер будет вынужден парсить неймспейс, а затем заменять разделители на . (чтобы такой неймспейс мог быть использован компилятором).
2. Неймспейс от остальной части выражения отделять символами :: - это позволит устранить проблемы, перечисленные тобой.

Получается такая грамматика:

namespace           = identifier { "." identifier }
type                = [ namespace "::" ] identifier [ ( { "[]" } | type_params ) ]

Получается такой синтаксис:

alpha.beta.gamma::delta.eps = 1

Мне, как любителю PowerShell, нравится.

Однако, предложенный тобой вариант тоже пригоден к использованию.

from lens.

А мне показалось, как раз-таки очень консистентно. :: разделяет части неймспейса, а . обращается к членам объекта или класса. В случае с System::Console.WriteLine("shit") довольно наглядно видно, что слева от точки стоит полное имя класса, справа - имя метода.

Вариант с alpha.beta.gamma::delta.eps = 1, впринципе, решает вопрос с разруливанием того, где неймспейс, а где класс - дойдя до ::, парсер сделает backtrack и переинтерпретирует alpha.beta.gamma как неймспейс. Но мне он не нравится тем, что разделения имени класса и неймспейса, для которого используется оператор ::, ни в одном другом языке я еще не видел.

В PowerShell, :: используется для статического вызова, а . для динамического? То есть, если расширить пример, получится так?

[System.Console]::ReadLine().Substring(1)

Такой вариант, впринципе, тоже логичен. Тогда будет тоже довольно понятно:

alpha.beta.gamma::delta = 1    // alpha.beta.gamma - полное имя класса, delta - статическое поле
alpha.beta.gamma.delta = 1     // alpha - объект, все остальное - доступ к полям по цепочке

from lens.

В PowerShell, :: используется для статического вызова, а . для динамического?

Да, именно так.

from lens.

Тогда давай сделаем именно так. Я поправлю грамматику чуть позже.
Тикет закрываю.

from lens.