OCaml from the Very Beginning

Author: John Whitington
Publisher: Coherent Press
ISBN: 0957671105
Category : OCaml (Computer program language)
Languages : en
Pages : 204

Book Description
In OCaml from the Very Beginning John Whitington takes a no-prerequisites approach to teaching a modern general-purpose programming language. Each small, self-contained chapter introduces a new topic, building until the reader can write quite substantial programs. There are plenty of questions and, crucially, worked answers and hints. OCaml from the Very Beginning will appeal both to new programmers, and experienced programmers eager to explore functional languages such as OCaml. It is suitable both for formal use within an undergraduate or graduate curriculum, and for the interested amateur.

Real World OCaml

Author: Yaron Minsky
Publisher: "O'Reilly Media, Inc."
ISBN: 1449324754
Category : Computers
Languages : en
Pages : 618

Book Description
This fast-moving tutorial introduces you to OCaml, an industrial-strength programming language designed for expressiveness, safety, and speed. Through the book’s many examples, you’ll quickly learn how OCaml stands out as a tool for writing fast, succinct, and readable systems code. Real World OCaml takes you through the concepts of the language at a brisk pace, and then helps you explore the tools and techniques that make OCaml an effective and practical tool. In the book’s third section, you’ll delve deep into the details of the compiler toolchain and OCaml’s simple and efficient runtime system. Learn the foundations of the language, such as higher-order functions, algebraic data types, and modules Explore advanced features such as functors, first-class modules, and objects Leverage Core, a comprehensive general-purpose standard library for OCaml Design effective and reusable libraries, making the most of OCaml’s approach to abstraction and modularity Tackle practical programming problems from command-line parsing to asynchronous network programming Examine profiling and interactive debugging techniques with tools such as GNU gdb

More OCaml

Author: John Whitington
Publisher: Coherent Press
ISBN: 0957671113
Category : Computers
Languages : en
Pages : 218

Book Description
In More OCaml John Whitington takes a meandering tour of functional programming with OCaml, introducing various language features and describing some classic algorithms. The book ends with a large worked example dealing with the production of PDF files. There are questions for each chapter together with worked answers and hints. More OCaml will appeal both to existing OCaml programmers who wish to brush up their skills, and to experienced programmers eager to explore functional languages such as OCaml. It is hoped that each reader will find something new, or see an old thing in a new light. For the more casual reader, or those who are used to a different functional language, a summary of basic OCaml is provided at the front of the book.

Haskell from the Very Beginning

Author: John Whitington
Publisher: Coherent Press
ISBN: 095767113X
Category : Computers
Languages : en
Pages : 214

Book Description
In Haskell from the Very Beginning John Whitington takes a no-prerequisites approach to teaching the basics of a modern general-purpose programming language. Each small, self-contained chapter introduces a new topic, building until the reader can write quite substantial programs. There are plenty of questions and, crucially, worked answers and hints. Haskell from the Very Beginning will appeal both to new programmers, and to experienced programmers eager to explore functional languages such as Haskell. It is suitable both for formal use within an undergraduate or graduate curriculum, and for the interested amateur.

Python from the Very Beginning

Author: John Whitington
Publisher: Coherent Press
ISBN: 0957671156
Category : Computers
Languages : en
Pages : 240

Book Description
In Python from the Very Beginning John Whitington takes a no-prerequisites approach to teaching the basics of a modern general-purpose programming language. Each small, self-contained chapter introduces a new topic, building until the reader can write quite substantial programs. There are plenty of questions and, crucially, worked answers and hints. Python from the Very Beginning will appeal both to new programmers, and to experienced programmers eager to explore functional languages such as Haskell. It is suitable both for formal use within an undergraduate or graduate curriculum, and for the interested amateur.

Purely Functional Data Structures

Author: Chris Okasaki
Publisher: Cambridge University Press
ISBN: 9780521663502
Category : Computers
Languages : en
Pages : 236

Book Description
This book describes data structures and data structure design techniques for functional languages.

PDF Explained

Author: John Whitington
Publisher: "O'Reilly Media, Inc."
ISBN: 1449321607
Category : Computers
Languages : en
Pages : 143

Book Description
At last, here’s an approachable introduction to the widely used Portable Document Format. PDFs are everywhere, both online and in printed form, but few people take advantage of the useful features or grasp the nuances of this format. This concise book provides a hands-on tour of the world’s leading page-description language for programmers, power users, and professionals in the search, electronic publishing, and printing industries. Illustrated with lots of examples, this book is the documentation you need to fully understand PDF. Build a simple PDF file from scratch in a text editor Learn the layout and content of a PDF file, as well as the syntax of its objects Examine the logical structure of PDF objects, and learn how pages and their resources are arranged into a document Create vector graphics and raster images in PDF, and deal with transparency, color spaces, and patterns Explore PDF operators for building and showing text strings Get up to speed on bookmarks, metadata, hyperlinks, annotations, and file attachments Learn how encryption and document permissions work in PDF Use the pdftk program to process PDF files from the command line

Types and Programming Languages

Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 9780262162098
Category : Computers
Languages : en
Pages : 656

Book Description
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

An Introduction to Functional Programming Through Lambda Calculus

Author: Greg Michaelson
Publisher: Courier Corporation
ISBN: 0486280292
Category : Mathematics
Languages : en
Pages : 338

Book Description
Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.

Expert F# 4.0

Author: Don Syme
Publisher: Apress
ISBN: 1484207408
Category : Computers
Languages : en
Pages : 599

Book Description
Learn from F#'s inventor to become an expert in the latest version of this powerful programming language so you can seamlessly integrate functional, imperative, object-oriented, and query programming style flexibly and elegantly to solve any programming problem. Expert F# 4.0 will help you achieve unrivaled levels of programmer productivity and program clarity across multiple platforms including Windows, Linux, Android, OSX, and iOS as well as HTML5 and GPUs. F# 4.0 is a mature, open source, cross-platform, functional-first programming language which empowers users and organizations to tackle complex computing problems with simple, maintainable, and robust code. Expert F# 4.0 is: A comprehensive guide to the latest version of F# by the inventor of the language A treasury of F# techniques for practical problem-solving An in-depth case book of F# applications and F# 4.0 concepts, syntax, and features Written by F#'s inventor and two major F# community members, Expert F# 4.0 is a comprehensive and in-depth guide to the language and its use. Designed to help others become experts, the book quickly yet carefully describes the paradigms supported by F# language, and then shows how to use F# elegantly for a practical web, data, parallel and analytical programming tasks. The world's experts in F# show you how to program in F# the way they do!