TAILIEUCHUNG - Lecture Programming languages (2/e): Chapter 5b - Tucker, Noonan

A language's types denote the kinds of values that programs can manipulate: simple types, structured types, and more complex types. This chapter presents the following content: Recursive data types, functions as types, type equivalence, subtypes, polymorphism and generics, programmer-defined types. | Programming Languages 2nd edition Tucker and Noonan Chapter 5 Types Types are the leaven of computer programming; they make it digestible. Robin Milner Contents Type Errors Static and Dynamic Typing Basic Types NonBasic Types Recursive Data Types Functions as Types Type Equivalence Subtypes Polymorphism and Generics Programmer-Defined Types Strings Now so fundamental, directly supported. In C, a string is a 1D array with the string value terminated by a NUL character (value = 0). In Java, Perl, Python, a string variable can hold an unbounded number of characters. Libraries of string operations and functions. Structures Analogous to a tuple in mathematics Collection of elements of different types Used first in Cobol, PL/I Absent from Fortran, Algol 60 Common to Pascal-like, C-like languages Omitted from Java as redundant struct employeeType { int id; char name[25]; int age; float salary; char dept; }; struct employeeType employee; . = 45; Unions C: union Pascal: case-variant record Logically: multiple views of same storage Useful in some systems applications type union = record case b : boolean of true : (i : integer); false : (r : real); end; var tagged : union; begin tagged := (b => false, r => ); put(); -- error // simulated union type class Value extends Expression { // Value = int intValue

• Kỹ thuật lập trình
• Programming languages
• Lecture Programming languages
• Ngôn ngữ lập trình
• Programmer defined types
• Recursive data types
• Type equivalence
• experience in programming
• software engineering
• programming languages​​
• computer programming
• programming tips
• programming experience
• code programming
• design tips
• programming documentation
• programming skills
• the Ruby programming document
• methods Ruby programming language
• Imperative programming
• Imperative languages
• Dynamic allocation
• Discovering Computers
• Program Development
• Low Level Languages
• Procedural Languages
• Object Oriented Programming Languages
• java programming language C + +
• C programming
• computer software
• computer engineering
• computer programming language PHP
• Functional programming
• Functional programming models
• Lambda calculus
• Logic programming
• Logic programming in prolog
• Prolog program elements
• Scripting languages
• Lecture Introduction to computing
• Bài giảng Nhập môn máy tính
• Introduction to computing
• Role of programming languages
• Android Programming
• Java
• programming code
• Procedural abstraction
• Data structures
• Matrix multiplication
• Object oriented programming
• Abstract data types
• The object model
• Object oriented language
• Represent polynomials
• Symbolic differentiation
• Mixed language
• Scripting language
• Semantics of clite
• List comprehensions
• Practical aspects of prolog
• Natural language processing
• Event driven programming
• Event driven control
• Event handling
• Java applet
• Tic Tac Toe