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

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

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

+ 3 - 3
docs/prolet-dialect-typing.md

@@ -144,15 +144,15 @@
 
 Проверка типа:
 
-`(если (= тип-структура? Пользователь))` Булево, безопасно
+`(если (тип х как Пользователь))` Булево, безопасно
 
 Приведение с проверкой `(фикс х (= тип Пользователь из дата)` Падает, если не подходит
 
-Безопасное извлечение типа `(если-тип как Пользователь х) тогда обработать)`
+Безопасное извлечение типа `если (тип х как Пользователь) тогда обработать)`
 
 Функциональный стиль
 
-Схемная валидация (привести к Схема.Пользователь х) для сложных форматов
+Схемная валидация `(привести х к Схема.Пользователь)` для сложных форматов
 
 Переход из динамики в статику — не автоматический, а требующий сознательного усилия, как переход от чувственного восприятия к рациональному пониманию.