Безопасная типизация
Безопасная типизация предполагает использование системы типов языка для предотвращения некоторых типов ошибочного и неопределенного поведения программы. Язык программирования имеет безопасную типизацию, если над данными возможно производить только операции, позволенные типами этих данных, то есть те, которые имеют смысл для этих типов.
- ABAP
- Ada (диалекты: Ada 2005, Ada 83, Ada 95)
- Agda
- C# (диалекты: ECMA-334, ISO/IEC 23270:2003)
- Cyclone
- F#
- FP
- Go
- Lisp (диалекты: Clojure, Common Lisp, Scheme)
- Lua
- Oz (диалекты: Mozart)
-
Pascal
(диалекты:
Extended Pascal,
Object Pascal,
PASCAL-XSC,
Standard Pascal)
- Borland Delphi
- Borland Pascal
- Free Pascal
- GNU Pascal
- HP Pascal
- HiSoft Pascal
- IP Pascal
- Irie Pascal
-
Pascal ABC
- Pascal ABC 1.7
- Pascal ABC 1.8
- Pascal ABC 1.9
- Pascal ABC 2.0
- Pascal ABC 2.1
- Pascal ABC 2.2
- Pascal ABC 2.3
- Pascal ABC 2.4
- Pascal ABC 2.5
- Pascal ABC 2.5.3
- Pascal ABC 2.6
- Pascal ABC 2.6.2
- Pascal ABC 2.6.3
- Pascal ABC 2.6.4
- Pascal ABC 2.6.5
- Pascal ABC 2.7
- Pascal ABC 2.7.2
- Pascal ABC 2.7.3
- Pascal ABC 2.7.4
- Pascal ABC 3.0
- Pascal-XT
- PascalABC.NET
- Prospero Extended Pascal
- Turbo Pascal
- UCSD Pascal
- Virtual Pascal
- SQL
- Tcl
