Явная типизация

Явная типизация требует явного объявления типа для каждой используемой переменной. Этот вид типизации является частным случаем статической типизации, т.к. тип каждой переменной определен на этапе компиляции.

Явная типизация является противоположностью неявной типизации.

Языки программирования, использующие данную типизацию:

Свернуть все | Развернуть все

C (диалекты: ANSI C, C11, C99, K&R C)
- C2J
  - C2J v1.0
- LCC-Win32
- Tiny C Compiler
  - TCC 0.9.25
- gcc
  - GCC 3
  - GCC 4
  - MinGW
  - gcc 3.4.5
  - gcc 4.4.3
- vbcc
C++ (диалекты: C++03, C++11, C++98)
D
- Digital Mars D
  - D 1.0
  - D 1.001
  - D 1.002
  - D 1.003
  - D 1.004
  - D 1.005
  - D 1.006
  - D 1.007
  - D 1.009
  - D 1.010
  - D 1.011
  - D 1.012
  - D 1.013
  - D 1.014
  - D 1.015
  - D 1.016
  - D 1.017
  - D 1.018
  - D 1.019
  - D 1.020
  - D 1.021
  - D 1.022
  - D 1.023
  - D 2.000
  - D 2.001
  - D 2.002
  - D 2.003
  - D 2.004
  - D 2.005
  - D 2.006
  - D 2.007
  - D 2.008
  - D 2.009
- GDC
  - GDC 0.11
  - GDC 0.12
  - GDC 0.12.1
  - GDC 0.13
  - GDC 0.14
  - GDC 0.15
  - GDC 0.16
  - GDC 0.17
  - GDC 0.18
  - GDC 0.19
  - GDC 0.20
  - GDC 0.21
  - GDC 0.22
  - GDC 0.23
  - GDC 0.24
Java
- Sun Java
  - Sun Java 6
- gcj
  - gcj 3.4.5
LabVIEW
Nimrod
- Nimrod
  - Nimrod 0.8.8
Objeck
- Objeck
  - Objeck 2.0.3
Objective-C
Pascal (диалекты: Extended Pascal, Object Pascal, PASCAL-XSC, Standard Pascal)
Pike
- Pike
  - Pike 7.6
  - Pike 7.8
PL/B
POP-11
- Poplog (POP-11)
  - Poplog 15.5 (POP-11)
Seed7
- Seed7
SQL (диалекты: T-SQL)