编程与类型系统

这是一本从点、线、面、体4个维度深度解读分布式系统性能优化方法的专业工具书，更是一套全栈性能优化解决方案。全书融合了5位长期（最长有近30年工作经验）从事软件开发及优化工作的一线专家的实践经验和深刻理解，不仅从理论层面深入解读了性能优化的本质，还从软件开发整体流程的角度构建性能优化体系和评估策略。本书共分为17章。第1~4章主要介绍作者对性能优化的理解以及性能优化体系及评测方法。第5~9章对网络、

本书讲述了如何从Java过渡到Kotlin，主要关注代码，每章都阐述了从Java过渡到Kotlin的一个方面，考察了典型Java项目在这个过程中可以改进的方面。比如，从Optional到nullable，从Bean到值，从开放类到密封类。每章首先解释关键概念，然后展示如何在保持互操作性的前提下，逐步且安全地将生产型Java代码重构为惯用的Kotlin代码，由此产生的代码更简单、更有表现力，也更容易

本书内容分为差分进化算法（以下简称算法）的设计及应用。本书从差分进化算法基本原理、单目标差分进化算法、面向约束优化的差分进化算法、面向多目标差分进化算法、面向离散问题的差分进化算法等五个方面进行了介绍。对提出的10个算法进行了详细介绍和讨论，并给给出了实验（仿真）结果。

Go语言是近年来非常流行的新兴编程语言，它不仅是以太坊客户端和HyperledgerFabric区块链平台的开发语言，而且广泛应用于区块链应用的开发。本书介绍使用Go语言开发的经典联盟链项目HyperledgerFabric，它由Linux基金会管理。国外的微软、摩根大通、世界银行和国内的华为、阿里巴巴、百度、腾讯等企业都参与了Hyperledger社区的建设。本书涵盖Hyperledger

本书从零开始，介绍了Python编程语言的基础知识。全书共17章，第1-9章介绍了Python的语言基础；第10-13章介绍了与Python编程相关的拓展知识；第14-16章介绍了3个实战项目；第17章介绍了初学者如何利用当下最热门的AI工具ChatGPT学习Python编程。

本书共有10章内容，以认识Unity引擎开始，从0到1突破，介绍了Unity游戏开发的方方面面。

本书从网页开发的基础知识HTML5、CSS、JavaScript开始，以项目实战的方式介绍如何构建自适应网页，并通过工具免费发布自己的网站。在后面的章节中，以主流的3D框架ThreeJS为技术支撑，在网页中编写JavaScript代码，让读者构建完整的3D应用场景。

本书全面深入地介绍Elasticsearch的核心功能及其工作机制。本书由浅入深，从Elasticsearch的基本用法和架构原理，以及倒排索引、分片、节点角色和相关性等核心概念讲起；然后深入探讨数据处理和索引管理，涵盖映射模式、数据类型、文本分析、索引模板；接着详细介绍词项级搜索、全文搜索、复合查询和高级搜索等Elasticsearch的搜索功能，并深入讲解聚合；最后聚焦生产环境中的Elasti

PHP是一种运行于服务器端并完全跨平台的嵌入式脚本编程语言，是目前开发各类Web应用的主流语言之一。本书站在初学者的角度，以通俗易懂的语言、丰富的图表、实用的案例详细介绍了PHP语言。全书共分11章：第1～7章主要介绍了Web开发概念和PHP入门、PHP基本语法、PHP流程控制和数组、PHP函数及应用、PHP与网页交互、PHP访问MySQL数据库、会话控制；第8～11章则围绕PHP进阶、PHP中的