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)
Comments
Post a Comment