Back
قالب:نظام التنويع
Arabic
الگو:سیستم نوع
Persian
Template:型システム
Japanese
ഫലകം:Type systems
Malayalam
Шаблон:Типизация данных
Russian
Mall:Typsystem
Swedish
Template:Type systems
Chinese
Template:Type systems
Type systems
General concepts
Type safety
Strong vs. weak typing
Major categories
Static
vs.
dynamic
Manifest
vs.
inferred
Nominal
vs.
structural
Duck typing
Minor categories
Abstract
Dependent
Flow-sensitive
Gradual
Intersection
Latent
Refinement
Substructural
Unique
Session
v
t
e
From
Wikipedia
, the free encyclopedia · View on
Wikipedia
Developed by
Nelliwinne