Перейти к содержанию

Типизированные и нетипизированные языки программирования

Языки программирования по признакам типизации делятся на две категории - нетипизированные (untyped) и типизированные (typed).

К нетипизированным можно отнести например Assembler или Forth, а к типизированным Java, C#, JavaScript или Python.

Нетипизированные языки

Нетипизированные или бестиповые языки, как правило — очень старые низкоуровневые языки, на которых программы являются набором машинных команд и пишутся, в основном, для взаимодействия с аппаратным обеспечением. Бестиповые языки позволяют производить любые операции над любыми данными, которые представлены в них как цепочки бит произвольной длины.

Типизированные языки

Типизированные языки сделали разработку программ более осмысленной и эффективной. Этот факт оказался настолько весомым, что в основу всех современных языков легло такое фундаментальное понятие, как система типов. По причине того, что авторы пытались решить разные задачи, создаваемые ими языки стали различаться по видам типизации.

Типизированные языки делятся на:

  • статически и динамически типизированные;
  • сильно и слабо типизированные;
  • явно и неявно типизированные.