Безопасная типизация
Безопасная типизация предполагает использование системы типов языка для предотвращения некоторых типов ошибочного и неопределенного поведения программы. Язык программирования имеет безопасную типизацию, если над данными возможно производить только операции, позволенные типами этих данных, то есть те, которые имеют смысл для этих типов.
- ABAP
- Ada (диалекты: Ada 2005, Ada 2012, Ada 83, Ada 95, SPARK)
- Agda
- C# (диалекты: Cω, ECMA-334, ISO/IEC 23270:2003, Polyphonic C#)
- Cyclone
- F#
- FP
- Go
- Lisp (диалекты: Clojure, Common Lisp, Lisp Machine 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
- PowerShell
- Sparkel
- SQL (диалекты: T-SQL)
- Tcl
- X10
