Преглед изворни кода

SVI Исправления

SVI пре 6 месеци
родитељ
комит
69f6ad31b5
1 измењених фајлова са 7 додато и 1 уклоњено
  1. 7 1
      docs/prolet-dialect-typing.md

+ 7 - 1
docs/prolet-dialect-typing.md

@@ -157,7 +157,13 @@
 
 ### Функциональный стиль
 
-Схемная валидация `(привести х к Схема.Пользователь)` для сложных форматов
+Схемная валидация для сложных форматов:
+
+```list
+(если (проба-из дата к Схема.Пользователь)
+    тогда (фикс х (= привести-из дата к Пользователь)
+    иначе (ошибка "ожидалось число"))
+```
 
 Переход из динамики в статику — не автоматический, а требующий сознательного усилия, как переход от чувственного восприятия к рациональному пониманию.