Data Types & Type Checking - Ace

More documents

Recommendations

Info

Strong Typing: Language Examples• C and C++ less strongly typed than Pascal or Ada:– parameter type checking can be avoided;– unions are not type checked.• Ada is strongly typed:– only exception: the UNCHECKED_CONVERSION generic functionextracts the value of a variable of one type and uses it as if it wereof a different type.– Java and C# are strongly typed in the same sense as Ada:• types can be explicitely cast ⇒ may get type errors at run time.• ML is strongly typed, so are Lisp, Python and RubyLecture 0548
Strong Typing & <strong>Type</strong> Coercion• Coercion rules can weaken the strong typing considerablyi.e. loss in error detection capability:– C++’s strong typing less effective compared to Ada’s.• Although Java has just half the assignment coercions ofC++:– its strong typing is more effective than that of C++.– its strong typing is still far less effective than that of Ada.Lecture 0549
Page 1 and 2: Organization of Programming Languag
Page 3 and 4: Primitive Data Types• Integers -
Page 5 and 6: Scalar Types• Scalar types (also
Page 7 and 8: Array Types• An array is an aggre
Page 9 and 10: Array Categories• Conformant Arra
Page 11 and 12: Implementation of Stack Dynamic Arr
Page 13 and 14: Array Categories• Heap-dynamic: b
Page 15 and 16: Array Initialization• Some langua
Page 17 and 18: Slices• A slice is some substruct
Page 19 and 20: Slices Examples in Fortran 95Lectur
Page 21 and 22: Row vs. Column major orderLecture 0
Page 23 and 24: Contiguous vs. Row Pointer layout i
Page 25 and 26: Access Function for a Multi-Dimensi
Page 27 and 28: Character String Types• Character
Page 29 and 30: Strings in Programming Languages•
Page 31 and 32: Ada Strings• Static Length:X: Str
Page 33 and 34: Record Types• C, C++, C#: support
Page 35 and 36: Unions: Free (Fortran, C/C++)union
Page 37 and 38: Unions: Discriminated (Algol 68, Ad
Page 39 and 40: Pointer Operations• Two fundament
Page 41 and 42: Problems with Pointers• Dangling
Page 43 and 44: Pointer Arithmetic in C/C++float st
Page 45 and 46: Evaluation of Pointers & References
Page 47: Type Checking• A type error resul

Data Types & Type Checking - Ace

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?