blob: 69f480a3f6ceb628403f9bf9c2b5417a3e9e1ceb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
:PROPERTIES:
:ID: 4134413b-5027-47d7-b929-d9902db61df5
: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][Параметр типа]]
|
