Real World OCaml Functional programming for the masses 13631

Паперова книга
13631
Real World OCaml Functional programming for the masses - фото 1
Real World OCaml Functional programming for the masses - фото 2
600
3 людини
Купити

Все про “Real World OCaml Functional programming for the masses”

Від видавця

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 learn how quickly 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, алгебраїчна data types, and modules Explore advanced features such as функторів, 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 programming network Examine profiling and interactive debugging techniques with tools such as GNU gdb

Зміст

Language Concepts
Chapter 1 : A Guided Tour
OCaml as a Calculator
Functions and Type Inference
Tuples, Lists, Options, and Pattern Matching
Records and Variants
Imperative Programming
A Complete Program
Where to Go from Here
Chapter 2 : Variables and Functions
Variables
Functions
Chapter 3 : Lists and Patterns
List Basics
Using Patterns to Extract Data from a List
Limitations (and Blessings) of Pattern Matching
Using the List Module Effectively
Tail Recursion
Terser Faster and Patterns
Chapter 4 : Files, Modules, and Programs
Single File-Programs
Multifile Programs and Modules
Signatures and Abstract Types
Concrete Types in Signatures
Nested Modules
Opening Modules
Including Modules
Common Errors with Modules
Designing with Modules
Chapter 5 : Records
Patterns and Exhaustiveness
Field Punning
Reusing Field Names
Functional Updates
Mutable Fields
First-Class Fields
Chapter 6 : Variants
Catch-All Cases and Refactoring
Combining Records and Variants
Variants and Recursive Data Structures
Polymorphic Variants
Chapter 7 : Error Handling
Error-Aware Return Types
Exceptions
Choosing an Error-Handling Strategy
Chapter 8 : Imperative Programming
Example: Imperative Dictionaries
Primitive Mutable Data
for and while Loops
Example: Doubly Linked Lists
Laziness and Other Benign Effects
Input and Output
Order of Evaluation
Side Effects and Weak Polymorphіsm
Summary
Chapter 9 : Функторів
A Trivial Example
A Bigger Example: Computing with Intervals
Extending Modules
Chapter 10 : First-Class Modules
Working with First-Class Modules
Example: A Query-Handling Framework
Living Without First-Class Modules
Chapter 11 : Objects
OCaml Objects
Object Polymorphіsm
Immutable Objects
When to Use Objects
Subtyping
Chapter 12 : Classes
OCaml Classes
Class Parameters and Polymorphіsm
Object Types as Interfaces
Inheritance
Class Types
Open Recursion
Private Methods
Binary Methods
Virtual Classes and Methods
Initializers
Multiple Inheritance
Tools and Techniques
Chapter 13 : Maps and Hash Tables
Maps
Hash Tables
Choosing Between Maps and Hash Tables
Chapter 14 : Command-Line Parsing
Basic Command-Line Parsing
Argument Types
Adding Labeled Flags to the Command Line
Grouping Subcommands Together
Advanced Control over Parsing
Command-Line Autocompletion with bash
Alternative Command-Line Parsers
Chapter 15 : Handling JSON Data
JSON Basics
Parsing JSON with Yojson
Selecting Values from JSON Structures
Constructing JSON Values
Using Nonstandard JSON Extensions
Automatically Mapping JSON to OCaml Types
Chapter 16 : Parsing with OCamllex and Menhir
Lexing and Parsing
Defining a Parser
Defining a Lexer
Bringing It All Together
Chapter 17 : Data Serialization with S-Expressions
Basic Usage
The Sexp Format
Preserving Інваріанти
Getting Good Error Messages
Sexp-Conversion Directives
Chapter 18 : Concurrent Programming with Async
Async Basics
Examples: An Echo Server
Example: Searching Definitions with DuckDuckGo
Exception Handling
Timeouts, Cancellation, and Choices
Working with System Threads
The Runtime System
Chapter 19 : Foreign Function Interface
Example: A Terminal Interface
Basic Scalar C Types
Pointers and Arrays
Structs Unions and
Passing Functions to C
Learning More About C Bindings
Chapter 20 : Memory Representation of Values
OCaml Blocks and Values
Blocks and Values
Tuples, Records, and Arrays
Variants Lists and
Polymorphic Variants
String Values
Custom Heap Blocks
Глава 21 : Understanding the Garbage Collector
Mark and Sweep Garbage Collection
Generational Garbage Collection
The Fast Minor Heap
The Long-Lived Major Heap
Attaching Finalizer Functions to Values
Chapter 22 : The Compiler Frontend: Parsing Checking and Type
An Overview of the Toolchain
Parsing Source Code
Preprocessing Source Code
Static Type Checking
Typed The Syntax Tree
Chapter 23 : The Compiler Backend: Bytecode and Native code
The Untyped Lambda Form
Generating Portable Bytecode
Compiling Fast Native Code
Summarizing the File Extensions
Colophon

Анотація

Real World OCaml Functional programming for the masses

Рецензії

0

Всі характеристики

  • Видавництво
  • Автор
  • Категорія
  • Рік
    2013
  • Сторінок
    510
  • Формат
    170х240 мм
  • Обкладинка
    М'яка
  • Оформлення
    Лакування
  • Тип паперу
    Офсетний
  • Мова
    Англійська
  • Ілюстрації
    Чорно-білі
  • Термін поставки
    7-10 дней

Товар входить до категорії

  • Самовивіз з відділень поштових операторів від 45 ₴ - 80 ₴
  • Доставка поштовими сервісами - тарифи перевізника
Схожі товари
Программирование на алгоритмическом языке КуМир
194833
Людмила АнеликоваГусева О.
150 ₴
Coding4Fun: программируем для удовольствия
190164
Дэн ФернандесБрайан Пик
400 ₴
Grails. Гибкость Groovy и надежность Java
190990
Глен СмитПитер Ледбрук
550 ₴
Справочник по языку Haskell
191997
Р. Душкин
580 ₴
Програмування мовою LUA
12786
Роберто Иерузалимски
620 ₴
Язык программирования Go
197268
Брайан У. КерниганАлан А. А. Донован
605 ₴650 ₴
Kotlin в дії
57241
Дмитрий ЖемеровСветлана Исакова
627 ₴660 ₴
Kotlin. Программирование на примерах
128461
Ияну Аделекан
680 ₴
Kotlin. Программирование для профессионалов. 2-е издание
239558
Эндрю БэйлиДжош СкинДэвид Гринхол
690 ₴
Kafka в действии
202312
Дилан СкоттВиктор ГамовДейв Клейн
665 ₴700 ₴
Програмування на OСAML
14254
Ярон Мински
714 ₴
Опановуємо мову Julia
38793
Шерингтон М.
726 ₴
Rust Atomics and Locks: Low-Level Concurrency in Practice
253818
Mara Bos
640 ₴800 ₴
Чари Kotlin
116013
Пьер-Ив Симон
764 ₴840 ₴
Julia в качестве второго языка
246760
Эрик Энгхейм
850 ₴