Вариант 1: традиционный

Ключевые слова: перем или пер для var, знач или пусть для let.

Чем не нравится: длинно, не очевидно, не привычно.

Длинно: можно справится с помощью макросов в редакторе.

Вариант 2: привычные англоязычные иероглифы: var и let.

Чем не нравится:  переключение регистра, так как имена (особенно функций) я хочу называть по русски и с пробелами.

Переключение регистров: тоже макросы

Вариант 3: расширить Go short variable declarations

Go: x := 1 заменяет var x = 1

Делаем 3 значка:

• присваивание  существующей переменной, например :=
• описание переменной, например ::= (с возможностью явно задать тип) x: цел := 1
• описание значения, например :-

Чем не нравится: чем больше я писал на Го, тем меньше использовал короткую форму, так как понимаемость текста var x = 1 заметно выше, чем x := 1

Вариант 4: перейти к правому присваиванию (следом за ЯРМО), снова в стиле короткого присваивания

Например (значки условные):

• 1 -> x
• 1 => x (с явным типом 1 => x: цел)
• 1 =:> x

Чем не нравится: тем же, что и вариант 3 — не очевидность понимания. Все же мы читаем слева направо.

Вариант 5: использовать какие-то «иероглифы», например, греческую букву в качестве ключевого слова

Заглянем в греческий словарь:

• переменный => μεταβλητή  — μ
• постоянный => σταθερή  — σ

Вот только эти буквы не бросаются в глаза, но можно не привязываться к переводу слов и использовать, например:

• Ψ — var
• Ω — let

То есть писать Ψ счетчик: цел = 1

Ну или другие буквы или знаки Unicode, благо есть из чего выбрать.

Конечно, придется делать макросы для вставки, но все остальное, на мой взгляд, здорово — коротко и наглядно.

Для кого-то может быть проблемой переход от ASCII к Unicode, но это только программисты застряли в прошлом веке…

Вывод: я склоняюсь к варианту 5 или 1. В обоих случаях надо еще покрутить, какие символы/слова использовать.