c# - What is typing discipline? -

wikipedia talks c# typing discipline:

static, dynamic, strong, safe, nominative, partially inferred

what typing discipline? terms mean , how related language?

the typing discipline on wikipedia refers type system used c# (just try clicking link, lead type system article).

as mean:

static - types determined @ compile-time (the compiler wants know type before runs)

dynamic - types determined @ runtime (in c#, facilitated dynamic keyword introduced in c# 4.0)

safe - language doesn't allow violate type rules has. can't put strings list of complex types instance without cast defined.

strong - rather poorly explain it, have @ eric lippert's article on topic here

nominative - name of type used determine type equivalence (what means 2 types same fields different names treated different types)

partially inferred - compiler can guess type referring during compile-time (this var keyword in c#, allows not specify type in code, although it's still determined @ compile-time in static , strong way)