Functional, generic
and object-oriented programming
An
introduction with OCaml
Philippe Narbel
Here are the
main points covered by this book :
- An
introduction to the mecanisms and basic concepts of functional programming.
- An
illustrated list of the main functional programming techniques (incremental
programming, generalizations, polytypism, data-driven
programming, functional representation-driven programming, lazyness
emulations, lazy structures, continuation passing
programming).
- A
comparison between functional and
imperative programming.
- An
extensive explanation of strongly typed modular
and generic
modular programming (ML functors), some of its
associated techniques and basic design patterns, its possibilities to
comply with information hiding constraints, and more generally its role
in software engineering.
- An
introduction to the OCaml strongly
typed object system, its peculiarities, its
differences with Java and C++, and its place within a rich module system
like the ML one.
Besides, an
underlying and recurrent idea of the book is to show how and why functional,
imperative, modular-functorial and object-oriented programming
styles can live together...
back
to main page