summaryrefslogtreecommitdiff
path: root/content/digarden/pages/Типизация.org
diff options
context:
space:
mode:
Diffstat (limited to 'content/digarden/pages/Типизация.org')
-rw-r--r--content/digarden/pages/Типизация.org29
1 files changed, 0 insertions, 29 deletions
diff --git a/content/digarden/pages/Типизация.org b/content/digarden/pages/Типизация.org
deleted file mode 100644
index 1b066a2..0000000
--- a/content/digarden/pages/Типизация.org
+++ /dev/null
@@ -1,29 +0,0 @@
-:PROPERTIES:
-:id: 4134413b-5027-47d7-b929-d9902db61df5
-:title: Типизация
-:END:
-#+title: [[Типизация]]
-
-[[Типизация]] в языках программирования -- это метаданные, которые несут в
-себе значения, служащие для проверки возможности взаимодействия друг с
-другом, с функциями или иными частями [[Программы]].
-
-Различают несколько классификация типизации
-- [[id:cab0a6f2-6ccc-4537-a390-49797ac2efc5][Строгая типизация]]
-- [[id:1d26ab73-6877-4941-a6f9-5dbcd7b8044d][Слабая типизация]]
-
-- [[id:9a17a0db-1442-4aa7-935a-4108b39630ea][Статическая типизация]]
-- [[id:8c889f23-805c-493d-b86b-b134b024c68d][Динамическая типизация]]
-
-- [[id:06b862fe-ed33-470d-b264-4f484bfaba5c][Явная типизация]]
-- [[id:b728caec-08a4-40a7-973b-deba4f4433f8][Неявная типизация]]
-
-
-[[История типизации]]
-
-** Типизация концепт математический, подробнее можно прочитать здесь:
-https://ru.wikipedia.org/wiki/Теория_типов
-https://ru.wikipedia.org/wiki/Гомотопическая_теория_типов
-https://ru.wikipedia.org/wiki/Типобезопасность
-** Концепции
-- [[id:a314a700-3d2f-48cb-9e4f-df197b76d585][Параметр типа]] \ No newline at end of file