深入探索F#：Expert F# 第2版

需积分: 0 103 浏览量更新于2024-07-29 收藏 5.21MB PDF 举报

"Expert F#（第2版）是一本由Don Syme、Adam Granicz和Antonio Cisternino合著的专业F#语言指南，旨在帮助程序员将函数式编程提升到新的高度，并利用F#这门基于.NET Framework的语言优势。这本书详细探讨了F#的特性和应用，适合Windows平台上对函数式编程感兴趣的开发者学习。" 本书深入介绍了F#的核心概念，包括： 1. **函数式编程基础**：讲解了函数式编程的基本理念，如纯函数、不可变数据和高阶函数，以及如何在F#中实现这些概念。 2. **类型系统**：详述了F#的静态类型系统，包括模式匹配、类型推断、联合类型和记录类型，这些都是F#强类型和灵活性的体现。 3. **面向对象编程支持**：虽然F#主要强调函数式编程，但书中也涵盖了如何使用接口、类和继承等面向对象特性，展示了F#的多范式编程能力。 4. **序列和并行计算**：F#提供了强大的序列处理能力，如列表、数组和序列表达式，同时，通过F#的异步工作流（async workflow）支持高效的并发和并行编程。 5. **与.NET Framework集成**：作为.NET的一部分，F#可以无缝集成其他.NET语言编写的库和框架，书中有专门章节讨论如何利用.NET生态系统中的资源。 6. **Domain-Specific Languages (DSLs)**：F#的强大语法和元编程能力使得创建领域特定语言变得简单，书中会介绍如何构建和使用DSL来提高代码的可读性和效率。 7. **实用案例**：作者们提供了多个实际项目案例，展示F#在解决实际问题时的应用，如科学计算、金融建模和数据分析等。 8. **高级主题**：涵盖如递归、monads（管理副作用的方式）、函数组合器和高级类型构造等进阶主题，帮助读者进一步掌握F#的深度。 9. **技术审阅**：由André van Meulebrouck进行技术审阅，确保了内容的专业性和准确性。通过阅读《Expert F# 2.0》，读者不仅可以深入理解函数式编程的精髓，还能掌握在.NET环境中使用F#开发高效、可维护软件的方法。无论是初学者还是经验丰富的开发者，都能从中受益，提升自己的编程技能。

■ CONTENTS

xiv

Combining Workflows and Resources................................................................................................238

Recursive Workflow Expressions .......................................................................................................238

Using F# Reflection......................................................................................................239

Reflecting on Types ............................................................................................................................239

Schema Compilation by Reflecting on Types .....................................................................................239

Using the F# Dynamic Reflection Operators.......................................................................................243

Using F# Quotations.....................................................................................................244

Example: Using F# Quotations for Error Estimation............................................................................245

Resolving Top Definitions ...................................................................................................................247

Summary .....................................................................................................................248

■ Chapter 10: Using the F# and .NET Libraries....................................................249

A High-Level Overview.................................................................................................249

Namespaces from the .NET Framework.............................................................................................250

Namespaces from the F# Libraries ....................................................................................................252

Using the System Types ..............................................................................................253

Using Regular Expressions and Formatting.................................................................255

Matching with System.Text.RegularExpressions ...............................................................................255

Formatting Strings Using .NET Formatting .........................................................................................260

Encoding and Decoding Unicode Strings............................................................................................261

Encoding and Decoding Binary Data ..................................................................................................262

Using Further F# and .NET Data Structures.................................................................262

System.Collections.Generic and Other .NET Collections ....................................................................262

Introducing Microsoft.FSharp.Math .............................................................................263

Using Matrices and Vectors................................................................................................................263

Using Operator Overloads on Matrices and Vectors ...........................................................................265

Supervising and Isolating Execution............................................................................265

Further Libraries for Reflective Techniques ................................................................266

Using General Types...........................................................................................................................266

Using Microsoft.FSharp.Reflection .....................................................................................................267

Some Other .NET Types You May Encounter ...............................................................267

Some Other .NET Libraries...........................................................................................268

Summary .....................................................................................................................269

■ CONTENTS

■ Chapter 11: Building Graphical User Interfaces...............................................271

Writing “Hello, World!” in a Click.................................................................................271

Understanding the Anatomy of a Graphical Application ..............................................272

Composing User Interfaces..........................................................................................273

Drawing Applications...................................................................................................278

Writing Your Own Controls...........................................................................................282

Developing a Custom Control .............................................................................................................282

Anatomy of a Control ..........................................................................................................................285

Displaying Samples from Sensors...............................................................................286

Building the GraphControl: The Model................................................................................................288

Building the GraphControl: Style Properties and Controller................................................................290

Building the GraphControl: The View..................................................................................................293

Putting It Together..............................................................................................................................297

Creating a Mandelbrot Viewer .....................................................................................298

Computing Mandelbrot .......................................................................................................................299

Setting Colors .....................................................................................................................................300

Creating the Visualization Application ................................................................................................303

Creating the Application Plumbing .....................................................................................................305

Windows Presentation Foundation ..............................................................................309

When GUIs Meet the Web ...................................................................................................................311

Drawing ..............................................................................................................................................312

Controls ..............................................................................................................................................315

Bitmaps and Images...........................................................................................................................318

Final Considerations ...........................................................................................................................320

Summary .....................................................................................................................320

■ Chapter 12: Working with Symbolic Representations .....................................321

Symbolic Differentiation and Expression Rendering....................................................322

Modeling Simple Algebraic Expressions ............................................................................................322

Implementing Local Simplifications ...................................................................................................324

A Richer Language of Algebraic Expressions .....................................................................................325

Parsing Algebraic Expressions ...........................................................................................................327

■ CONTENTS

xvi

Simplifying Algebraic Expressions .....................................................................................................329

Symbolic Differentiation of Algebraic Expressions.............................................................................331

Rendering Expressions.......................................................................................................................332

Building the User Interface.................................................................................................................338

Verifying Circuits with Propositional Logic ..................................................................340

Representing Propositional Logic.......................................................................................................341

Evaluating Propositional Logic Naively...............................................................................................342

From Circuits to Propositional Logic...................................................................................................344

Checking Simple Properties of Circuits ..............................................................................................347

Representing Propositional Formulae Efficiently Using BDDs ............................................................348

Circuit Verification with BDDs.............................................................................................................352

Summary .....................................................................................................................354

■ Chapter 13: Reactive, Asynchronous, and Parallel Programming...................355

Introducing Some Terminology....................................................................................356

Using and Designing Background Workers .................................................................357

Building a Simpler Iterative Worker....................................................................................................359

Raising Additional Events from Background Workers ........................................................................362

Connecting a Background Worker to a GUI ........................................................................................363

Introducing Asynchronous and Parallel Computations ................................................365

Fetching Multiple Web Pages in Parallel, Asynchronously .................................................................365

Understanding Thread Hopping..........................................................................................................367

Under the Hood: What Are Asynchronous Computations?..................................................................368

Parallel File Processing Using Asynchronous Workflows...................................................................370

Running Asynchronous Computations................................................................................................374

Common I/O Operations in Asynchronous Workflows ........................................................................374

Under the Hood: Implementing Async.Parallel ...................................................................................375

Using async for CPU Parallelism with Fixed Tasks.............................................................................376

Understanding Exceptions and Cancellation ......................................................................................376

Passing and Processing Messages..............................................................................377

Introducing Message Processing .......................................................................................................378

Creating Objects That React to Messages..........................................................................................379

Scanning Mailboxes for Relevant Messages ......................................................................................382

■ CONTENTS

xvii

Example: Asynchronous Web Crawling ..............................................................................................383

Using Shared-Memory Concurrency............................................................................385

Creating Threads Explicitly.................................................................................................................386

Shared Memory, Race Conditions, and the .NET Memory Model .......................................................386

Using Locks to Avoid Race Conditions................................................................................................387

Using ReaderWriterLock.....................................................................................................................388

Some Other Concurrency Primitives...................................................................................................389

Summary .....................................................................................................................389

■ Chapter 14: Building Smart Web Applications.................................................391

Serving Static Web Content.........................................................................................391

Serving Dynamic Web Content with ASP.NET..............................................................395

Understanding the Languages Used in ASP.NET ................................................................................397

A Simple ASP.NET Web Application....................................................................................................399

Deploying and Running the Application..............................................................................................402

Using Code-Behind Files ....................................................................................................................404

Using ASP.NET Input Controls......................................................................................405

Displaying Data from Databases..................................................................................408

Going Further with ASP.NET ........................................................................................412

ASP.NET Directives.............................................................................................................................412

Server Controls...................................................................................................................................413

Debugging, Profiling, and Tracing ......................................................................................................415

Understanding the ASP.NET Event Model...........................................................................................416

Maintaining the View State.................................................................................................................418

Understanding the Provider Model .....................................................................................................419

Creating Custom ASP.NET Server Controls.........................................................................................420

Building Ajax Rich Client Applications .........................................................................422

More on the WebSharper Platform .....................................................................................................422

Using WSDL Web Services...........................................................................................430

Consuming Web Services ...................................................................................................................430

Calling Web Services Asynchronously................................................................................................433

Summary .....................................................................................................................434

■ CONTENTS

xviii

■ Chapter 15: Working with Data........................................................................435

Querying In-Memory Data Structures..........................................................................435

Select/Where/From Queries Using Aggregate Operators ...................................................................436

Using Aggregate Operators in Queries ...............................................................................................436

Accumulating Using Folding Operators ..............................................................................................437

Expressing Some Queries Using Sequence Expressions....................................................................438

Using Databases to Manage Data................................................................................439

Choosing Your Database Engine.........................................................................................................441

Understanding ADO.NET .....................................................................................................................442

Establishing Connections to a Database Engine.................................................................................443

Creating a Database ...........................................................................................................................443

Creating Tables and Inserting and Fetching Records.........................................................................445

Using Untyped Datasets .....................................................................................................................447

Generating Typed Datasets Using xsd.exe .........................................................................................449

Using Stored Procedures....................................................................................................................451

Using Data Grids.................................................................................................................................452

Working with Databases in Visual Studio ....................................................................452

Creating a Database ...........................................................................................................................452

Visual Data Modeling: Adding Relationships ......................................................................................453

Accessing Relational Data with Linq Queries ..............................................................455

Generating the Object/Relational Mapping.........................................................................................455

Building the DataContext Instance .....................................................................................................456

Using LINQ from F#.............................................................................................................................456

Working with XML as a Generic Data Format ..............................................................458

Constructing XML via LINQ .................................................................................................................459

Storing, Loading, and Traversing LinqToXml Documents...................................................................460

Querying XML .....................................................................................................................................461

Summary .....................................................................................................................461

■ Chapter 16: Lexing and Parsing.......................................................................463

Processing Line-Based Input.......................................................................................464

On-Demand Reading of Files..............................................................................................................465

Using Regular Expressions .................................................................................................................465

剩余624页未读，继续阅读

fowlersong

粉丝: 7
资源: 78

深入探索F#：Expert F# 第2版

《Expert F#》英文原版

Expert F#PDF书籍及实例源码

Expert F#编程：权威指南

FuzzyAdvisor-F＃中的简单模糊逻辑专家系统

精通F# 3.0：数据驱动的函数式编程实践指南

新手变身Python expert：common库文件进阶使用技巧大公开

基于JAVA+SpringBoot+MySQL的校园台球厅人员与设备管理系统设计与实现.docx

基于Matlab的CNN神经网络算法实现MNIST手写字体识别项目源码+文档说明（毕业设计）

(完整数据)全国各省、地级市城镇登记失业率面板数据

【java毕业设计】学习交流平台源码（ssm+mysql+说明文档+LW）.zip

最新资源