|
|
@@ -108,18 +108,17 @@ int len = name.length();
|
|
|
|
|
|
(// Переход к сущему — только через практику)
|
|
|
(ЕслиНечто нечто как Пользователь
|
|
|
- (// нечто — теперь сущее)
|
|
|
- тогда (
|
|
|
- (Привести нечто к Пользователь))
|
|
|
- (Пользователь Обработать)
|
|
|
- (// нет сущего — альтернатива)
|
|
|
- иначе (Пользователь ПоУмолчанию))
|
|
|
+ (// нечто — теперь сущее)
|
|
|
+ тогда ((Привести нечто к Пользователь))
|
|
|
+ (Пользователь Обработать))
|
|
|
+ (// нет сущего — альтернатива)
|
|
|
+ иначе (Пользователь ПоУмолчанию))
|
|
|
```
|
|
|
|
|
|
Ключевые особенности:
|
|
|
|
|
|
- `нечто` — тип для определения пространства возможного,
|
|
|
-- Переменная `нечто` имеет значение до проверки, но не имеет определённого типа,
|
|
|
+- Переменная `нечто` имеет значение до проверки, но имеет тип `срез байт`,
|
|
|
- После контекста `ЕслиНечто` — в ветке `тогда` переменная становится сущей,
|
|
|
- В ветке `иначе` — альтернативное действие.
|
|
|
|
|
|
@@ -168,11 +167,9 @@ let s: Option<String> = None;
|
|
|
(НайтиПоНомеру 123 125)(уст нечто)
|
|
|
|
|
|
(ЕслиНечто нечто как Пользователь
|
|
|
- тогда (
|
|
|
- (Привести нечто к Пользователь)
|
|
|
- (уст пользователь))
|
|
|
- иначе (Пользователь Валюта))
|
|
|
- (напечатать "Здравствуй, " пользователь имя))
|
|
|
+ тогда ((Привести нечто к Пользователь)
|
|
|
+ (уст пользователь)
|
|
|
+ (напечатать "Здравствуй, " пользователь.имя))
|
|
|
иначе (напечатать "Пользователь не найден"))
|
|
|
```
|
|
|
|
|
|
@@ -185,9 +182,8 @@ let s: Option<String> = None;
|
|
|
|
|
|
(ГарантНечто нечто как Пользователь
|
|
|
@_док "данные обязательны, иначе сбой конфигурации"
|
|
|
- иначе (
|
|
|
- (Пользователь Новый)
|
|
|
- (уст пользователь))
|
|
|
+ иначе ((Пользователь Новый)
|
|
|
+ (уст пользователь))
|
|
|
)
|
|
|
```
|
|
|
|
|
|
@@ -238,6 +234,6 @@ let s: Option<String> = None;
|
|
|
- В нём нет места `nil`, потому что *ничего не есть*.
|
|
|
- В нём есть место практике, потому что сущее рождается в труде.
|
|
|
- В нём есть место неопределённости, но не как значению, а как пространству поиска.
|
|
|
-- В нём программист — не маг, а труженик, добывающий сущее из потенциально сущего.
|
|
|
+- В нём программист — не маг, а труженик, добывающий сущее из бесформенного нечто.
|
|
|
|
|
|
> ✅ Это — не просто безопасность, это — материалистическая честность, это — диалектика бытия, воплощённая в синтаксисе.
|