|
|
@@ -118,13 +118,13 @@
|
|
|
Он не может участвовать в вычислениях напрямую. Чтобы использовать — нужно привести к статическому типу.
|
|
|
|
|
|
```lisp
|
|
|
-(фикс x ()= получить-из-API()
|
|
|
+(фикс x (= получить-из-API
|
|
|
`@шлюз-вход`)
|
|
|
|
|
|
(// Ошибка: (x + 1) — запрещено)
|
|
|
-(если (x тип-число?)
|
|
|
- тогда (обработать-число (как-число x))
|
|
|
- иначе (ошибка "ожидалось число"))
|
|
|
+(если (x как Целое)
|
|
|
+ тогда (обработать-число (тип Целое в x))
|
|
|
+ иначе (ошибка "ожидалось число"))
|
|
|
```
|
|
|
|
|
|
Это — материалистическое требование: чтобы работать с реальностью, нужно понять её структуру.
|
SVI