Development of applications with


Emmanuel CHAILLOUX - Pascal MANOURY - Bruno PAGANO

Forewords

• Preamble

Introduction

• Objectives
• Description of the language
  • Structuration of a program
  • Safety and effectiveness of the execution
• Plan of the work

Chapter 1   How to obtain CAML Objective

• Free software
• Description of Cédérom
• Téléchargement
• Installation
  • Installation under Windows
  • Installation under Linux
  • Installation under MacOS
  • Installation under Unix from the sources
  • Installation of the HTML documentation
• Test of the installation

Left i
Kernel of the language

• Presentation on the part I'S

Chapter 2   functional Programmation

• Introduction
• Plan of the chapter
• Functional kernel of CAML d'Objective
  • Values, functions and basic types
  • Structure conditional check
  • Declarations of values
  • Functional expressions, functions
  • Polymorphisme and constrained of type
  • Examples
• Declaration of types and motive filtrage
  • Motive Filtrage (matching pattern)
  • Declaration of types
  • Recordings
  • Sum types
  • Récursifs types
  • Paramétrés types
  • Reach of declarations
  • Functional types
  • Example: representation of trees
  • Values functional non récursives
• Typage, definition and exceptions domain
  • Partial functions and exceptions
  • Definition of an exception
  • Déclenchement of an exception
  • Recuperation of an exception
• Polymorphisme and values back of the functions
• Adding office machine
• Exercises
  • Fusion of two lists
  • Lexicaux trees
  • Traverse graphes
• Summarized
• For some to know more

Chapter 3   imperative Programmation

• Introduction
• Plan of the chapter
• Structure modifiables data physiquement
  • Vectors
  • Chains of characters
  • Modifiables fields of recordings
  • References
  • Polymorphisme and modifiables values
• Entries-gone out
  • Canals
  • Reading and writing
  • Example: C + /C-
• Structure check
  • Séquence
  • Curl
  • Example: establishment of batteries
  • Example: calculation on the matrices
• Evaluation arguments order
• Adding machine to memory
• Exercises
  • List chaînées doublement
  • Resolution of linear systems
• Summarized
• For some to know more

Chapter 4   functional and imperative Styles

• Introduction
• Plan of the chapter
• Comparison between functional and imperative
  • Side of the functional one
  • Imperative side
  • Récursif or itératif
• Which style to choose?
  • Séquence or composition of functions
  • Divide or copy values
  • Choice Elements
• Mix styles
  • Closings and edge effects
  • Physical modifications and exceptions
  • Structure functional data modifiables
  • Lazy structures modifiables
• Waves of data
  • Construction
  • Destruction and filtrage of waves
• Exercises
  • Binaires trees
  • Correcteur orthographique
  • Together first numbers
• Summarized
• For some to know more

Chapter 5   graphic Interface

• Introduction
• Plan of the chapter
• Put in work of the module Graphics
• Basic notions
• Graphic Affichage
  • Indicator and graphic context
  • Colors
  • Traced and remplissage
  • Text
  • Bitmaps
  • Example: traced cans in relief
• Animation
• Events
  • Types and functions on the events
  • Program skeleton
  • Example: the télécran
• Graphic adding machine
• Exercises
  • Polar Coordonnées
  • Bitmaps Editor
  • Earth worm
• Summarized
• For some to know more

Chapter 6   Applications

• Introduction
• Requêtes on a basis of data
  • Format of data
  • Reading of a basis since a file
  • General principles of the treatments
  • Selection criteria
  • Treatments and calculations
  • An example
  • For some to do more
• Interpret BASIC
  • Abstracted syntax
  • Affichage of programs
  • Analyze lexicale
  • Analyze syntaxique
  • Evaluation
  • Put in work
  • For some to do more
• Démineur
  • The field of abstracted mines
  • Affichage of the Démineur game
  • Interaction between the program and the player
  • For some to do more

Left II
Development tools

• Presentation on the part II

Chapter 7   compilation and portabilité Methods

• Introduction
• Plan of the chapter
• Compilation Steps
  • The CAML compilers d'Objective
  • Description of the code-8-bit byte compiler
• Compilation methods
  • Names of orders
  • Compilation unity
  • Nommage of extensions of files
  • Code-8-bit byte compiler
  • Native compiler
  • Curl d'interaction
  • Construction again d'interaction buckles
• Workable autonomous
• Portabilité and effectiveness
  • Autonomie and portabilité
  • Execution effectiveness
• Exercises
  • Toplevels creation and of workable autonomous ones
  • Performances comparison
• Summarized
• For some to know more

Chapter 8   Libraries

• Introduction
• Plan of the chapter
• Découpage and usage of libraries
• Préchargée library
• Standard library
  • Utilitaires
  • Structure linear data
  • Entries-gone out
  • Persistence
  • Interface with the system
• Other libraries of the distribution
  • Exact arithmetic
  • Dynamic Chargement of code
• Exercises
  • Resolution of linear systems
  • Look for first numbers
  • Bitmaps Affichage
• Summarized
• For some to know more

Chapter 9   automatic Récupérateur of memory

• Introduction
• Plan of the chapter
• Memory and program
• Allocation and memory recuperation
  • Explicit Allocation
  • Explicit recuperation
  • Implicit recuperation
• Automatic recuperation
  • Compteurs of references
  • Algorithmes explorateurs
  • Mark& Sweep
  • Stop& Copy
  • Other GC
• Memory management in CAML Objective
• Module Gc
• Module Weak
• Exercises
  • Followed evolution of the pile
  • Memory Allocation and programmation styles
• Summarized
• For some to know more

Chapter 10   analysis programs Tools

• Introduction
• Plan of the chapter
• Calculation of dependances
• Tools have just had to perfect
  • Trace
  • Debug
  • Followed execution check
• Profiling
  • Order compilation
  • Execution of a program
  • Presentation of results
• Exercises
  • Trace applications
  • Evaluation of the performances
• Summarized
• For some to know more

Chapter 11   Tools of lexicale analyses and syntaxique

• Introduction
• Plan of the chapter
• Lexique
  • The module Genlex
  • Usage of waves
  • Rational expressions
  • The library Str
  • The tool ocamllex
• Syntax
  • Grammar
  • Production and recognition
  • Analyze descending
  • Rising analysis
  • The tool ocamlyacc
  • Contextuelles grammars
• Basic revisité
  • The file basic_parser. mly
  • The file basic_lexer. mll
  • Compilation, integration
• Exercises
  • Suppression of commentaries
  • Évaluateur
• Summarized
• For some to know more

Chapter 12   Interopérabilité with C

• Introduction
• Plan of the chapter
• Communication between C and CAML Objective
  • External declarations
  • Declaration of C functions
  • Edition of links with C
  • Entries gone out of the two worlds
• Exploration of CAML values Objective in C
  • Classification of type values been worth
  • Accesses to the immediate values
  • Discrimination of structured values
• Create and modify CAML values Objective in C
  • Modification of CAML values Objective
  • Allocation again pads
  • C values in the CAML Objective pile
  • Parameters, variable local C functions and GC
  • Call of a CAML closing Objective since C
• Management of exceptions in C and in CAML Objective
  • Release a prédéfinie exception
  • Release an exception any
  • Recover an exception
• Principal program in C
  • Include CAML code Objective in C
• Exercises
  • Affichage polymorphe
  • Produces matrices : divide or copy
  • Count the words : principal program in C
• Summarized
• For some to know more

Chapter 13   Applications

• Introduction
• Construction of a graphic interface
  • Graphic context, events and options
  • Components and conteneurs
  • Management of events
  • Definition of components
  • Enrichment of components
  • Creation of the library Upi
  • Example: a Frank/Euros convertisseur
  • For some to do more
• Look for ways of least cost
  • Representation of the graphes
  • Algorithme of Dijkstra
  • Usage of a mask
  • Graphic Interface
  • Autonomous application
  • For some to do more

Left III
Organization of applications

• Presentation on the part III

Chapter 14   modulaire Programmation

• Introduction
• Plan of the chapter
• Simple Modules
  • Interface and establishment
  • Relation between interface and establishment
  • Separated compilation
• Language of the simple modules
  • Two modules for the batteries
  • Modules and lexicale reach
  • Divide types between modules
  • Simple Modules and extension
• Modules paramétrés
  • Foncteurs and réutilisabilité
  • Local declarations of modules
• Example: management of bank accounts
  • Organization of the application
  • Signatures of the parameters modules
  • General Module management paramétré
  • Definition of parameters
• Exercises
  • List association
  • Paramétrés vectors
  • Lexicaux trees
• Summarized
• For some to know more

Chapter 15   Programmation by objects

• Introduction
• Plan of the chapter
• Classify, objects and methods
  • Object terminology
  • Declaration of a class
  • Creation of an instance
  • Sending of a message
• Relations between classify
  • D'agrégation relation
  • Inheritance relation
• Other object traits
  • Référencements : coil and super
  • Delayed liaison
  • Memory representation and sending of messages
  • Initialisation
  • Private methods
• Types and généricité
  • Classify and abstracted methods
  • Classify, types and objects
  • Multiple inheritance
  • Classify paramétrées
• Under-typage and d'inclusion polymorphisme
  • Example
  • Under-typage is not inheritance
  • D'inclusion Polymorphisme
  • Equality between objects
• Functional Style
• Other elements of the object extension
  • Interface
  • Local declarations in the classes
• Exercises
  • Batteries in object
  • Delayed liaison
  • Classify abstracted and évaluateur of expressions
  • Game of the life in object
• Summarized
• For some to know more

Chapter 16   Comparison of organization models

• Introduction
• Plan of the chapter
• Modules comparison and objects
  • Modules translation some classify
  • Inheritance Simulation with modules
  • Limitations of each model
• Spread the components
  • In functional
  • In object
  • Extension of data and treatments
• Mixed organizations
• Exercises
  • Classify and modules for structure data
  • Types abstract
• Summarized
• For some to know more

Chapter 17   Applications

• Introduction
• Games to two players
  • Problématique of games to 2 players
  • Minimax hasb
  • Organization of a program of games
  • Power 4
  • Stone Henge
  • For some to do more
• Robots in goguette
  • Robots << ; éthérés >>
  • Pure world
  • Robots textuels
  • Textuel world
  • Graphic Robots
  • Graphic world
  • For some to do more

Left IV
Competition and distribution

• Presentation on the part IV

Chapter 18   Communication and processes

• Introduction
• Plan of the chapter
• Module Unix
  • Management of errors
  • Portabilité of system calls
• File Descripteurs
  • Manipulation of files
  • Entries-gone out on a file
• Processes
  • Execution of a program
  • Processes launch
  • Creation of a process by duplication
  • Order and execution moment
  • Filiation, dead and funérailles of a process
• Communication between processes
  • Communication tubes
  • Communication canals
  • Signals under Unix
• Exercises
  • Count the words: the order wc
  • Pipeline for orthographique correcteur
  • Trace interactive
• Summarized
• For some to know more

Chapter 19   concurrente Programmation

• Introduction
• Plan of the chapter
• Competitors processes
  • Compilation with light processes
  • Module Thread
• Synchronisation of processes
  • Section criticizes and mutual exclusion
  • Module Mutex
  • Waiting and synchronisation
  • Module Condition
• Synchrone communication
  • Synchronisation on communication events
  • Transmitted values
  • Module Event
• Example : post office
  • Equipment
  • Customers and guichetiers
  • The body
• Exercises
  • The débloqués philosophers
  • The post some does more
  • Producers and object consumers
• Summarized
• For some to know more

Chapter 20   divided up Programmation

• Introduction
• Plan of the chapter
• Internet network
  • Module Unix and IP adressage
• Taken of communication
  • Description and creation
  • Address and connections
• Customer-waiter
  • Schéma of actions of a customer-waiter
  • Programmation of a customer-waiter
  • Code of the waiter
  • Test with telnet
  • Code of the customer
  • Customer-waiter with light processes
  • Customer-waiter to several levels
  • Notice on the realized customer-waiter
• Communication protocols
  • Text protocol
  • Protocols with acquittal and limit times
  • Transmission of values in internal representation
  • Interopérer with other languages
• Exercises
  • Service: clock
  • A machine to coffee in network
• Summarized
• For some to know more

Chapter 21   Applications

• Introduction
• Can to customer-waiter tools
  • Protocols
  • Communication
  • Waiter
  • Customer
  • For some to do more
• The robots of the dawn
  • World-Waiter
  • Customer-Observer
  • Customer-Robot
  • For some to do more
• Servlets HTTP
  • HTTP formats and CGI
  • HTML Interface for a servlet
  • Dynamic orderlies for the management of associations
  • Analyze requêtes and response
  • Principal program and application
  • For some to do more

Chapter 22   Development of applications in CAML Objective

• Introduction
• Evaluation Elements
  • Language
  • Libraries and tools
  • Documentation
• Other development tools
  • Edition tools
  • Syntax extension
  • Interopérabilité with other languages
  • Graphic Interfaces
  • Parallel Programmation and distribution
• Realized applications in CAML Objective
• Near functional languages
  • ML family
  • Scheme
  • Languages to delayed evaluation
  • Communication languages
• Languages to Object: comparison with Java
  • Principal characteristic
  • Differences with CAML Objective
• Future of developments in CAML Objective

Conclusion

• Text

Left V
Annexes

Annex has   Typical cyclic

• Introduction
• Cyclic types
• Option -rectypes

B   Objective CAML annex 2.99

• Introduction
• Extensions of the language
  • Modern or Classical
  • Labels
  • Optionnels parameters
  • Labels and objects
  • Polymorphes builders
• Library LablTk
• OCamlBrowser navigator

References

• Bibliographie

Index

• Index of concepts

• Index of elements language

Parutions O'Reilly

• Contacts

This document was translated L^HasT_EX's by H^E V^E Has and H^Has C^H Has.