1. Типизированные
    1. Примеры
      1. C
      2. Python
      3. Scala
      4. PHP
      5. Lua
    2. Типизация
      1. Статическая
        1. Примеры
          1. C
          2. Java
          3. C#
        2. Проверка типов на этапе компиляции
        3. Преимущества
          1. Проверка типов проводится только один раз
          2. Скорость выполнения
          3. Обнаружение некоторых потенциальных ошибок
          4. Ускорение разработки при поддержке IDE
        4. Дополнительные возможности
          1. Обобщенное программирование
          2. C++
          3. Полиморфизм
          4. Перегрузка функций
          5. Макросы
        5. Динамика в статике
          1. C#
          2. псевдо-тип dynamic
          3. F#
          4. оператор ?
          5. C++
          6. boost::any
          7. boost::variant
          8. Haskell
          9. модуль Data.Dynamic
          10. Delphi
          11. тип Variant
      2. Динамическая
        1. Примеры
          1. Python
          2. JavaScript
          3. Ruby
        2. Проверка типов на этапе выполнения
        3. Преимущества
          1. Простота создания универсальных коллекций
          2. Удобство описания обобщенных алгоритмов
          3. Python
          4. Легкость в освоении
        4. Статика в динамике
          1. Common Lisp
          2. декларации типов
          3. Perl 5.6+
      3. Сильная
        1. Примеры
          1. Java
          2. Python
          3. Haskell
          4. Lisp
        2. Неявные преобразования типов запрещены
        3. Преимущества
          1. Надежность
          2. исключение или ошибка компиляции
          3. Скорость
          4. участки кода с преобразованиями видны
          5. Понимание работы программы
          6. Определенность
        4. Слабая в сильной
          1. Haskell
          2. Полиморфные конструкторы
      4. Слабая
        1. Примеры
          1. C
          2. JavaScript
          3. Visual Basic
          4. PHP
        2. Неявные преобразования типов разрешены
        3. Преимущества
          1. Удобство использования смешанных выражений
          2. Абстрагирование от типизации
          3. сосредоточение на задаче
          4. Краткость записи
      5. Явная
        1. Примеры
          1. C++
          2. D
          3. C#
        2. Тип объектов необходимо задавать явно
        3. Преимущества
          1. Сигнатура функции
          2. понятность назначения
          3. Тип переменной
          4. не надо запоминать
        4. Неявная по выбору
          1. С++ 11
          2. ключевое слово auto
          3. Явная
          4. Неявная
          5. ключевое слово decltype
          6. Явная
          7. Неявная
          8. C#
          9. псевдо-типы dynamic и var
      6. Неявная
        1. Примеры
          1. PHP
          2. Lua
          3. JavaScript
        2. Тип объектов определяет компилятор/интерпретатор
        3. Преимущества
          1. Лаконичность
          2. Устойчивость к изменения
        4. Явная по выбору
          1. Haskell
          2. Явная
          3. Неявная
  2. Нетипизированные
    1. Примеры
      1. Assembler
      2. Forth
      3. Brainfuck
      4. HQ9
      5. Piet
    2. Любая сущность
      1. последовательность бит определенной длины
    3. Преимущества
      1. Возможны любые операции над любыми типа данных
      2. Получаемый код, обычно, более эффективен
      3. Прозрачность инструкций кода
    4. Недостатки
      1. Сложность
      2. Отсутствие проверок
      3. Низкий уровень абстракции
    5. Сильная безтиповая типизация