diff options
Diffstat (limited to 'content/digarden/pages/Типизация.org')
| -rw-r--r-- | content/digarden/pages/Типизация.org | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/content/digarden/pages/Типизация.org b/content/digarden/pages/Типизация.org new file mode 100644 index 0000000..1b066a2 --- /dev/null +++ b/content/digarden/pages/Типизация.org @@ -0,0 +1,29 @@ +: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 |