机读格式显示(MARC)

• 000 01232nam0 2200277 450

• 001 0000555986

• 005 20210616141500.0

• 010 __ |a 978-7-111-67051-3 |d CNY119.00

• 092 __ |a CN |b 人天964-2397

• 100 __ |a 20210128d2021 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 编程与类型系统 |A Bian Cheng Yu Lei Xing Xi Tong |f (美)弗拉德·里斯库迪亚著 |g 赵利通译

• 210 __ |a 北京 |c 机械工业出版社 |d 2021.01

• 215 __ |a 313页 |d 26cm

• 225 2_ |a 华章程序员书库 |A Hua Zhang Cheng Xu Yuan Shu Ku

• 330 __ |a 本书旨在告诉读者如何使用类型系统编写更好、更安全的代码，全面介绍类型系统的特性，主要内容包括类型和类型系统简介、基本类型、类型组合、类型安全、函数类型及其高级应用、子类型和类型兼容、面向对象编程的关键元素、泛型数据结构、泛型算法和迭代器、高阶类型等。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性，说明如何以及何时使用每种特性来改进代码。

• 333 __ |a 本书适合具备一定面向对象编程经验的读者阅读

• 606 0_ |a 程序设计 |A Cheng Xu She Ji

• 690 __ |a TP311.1 |v 5

• 701 _0 |c (美) |a 弗拉德·里斯库迪亚 |A Fu La De·Li Si Ku Di Ya |4 著

• 702 _0 |a 赵利通 |A Zhao Li Tong |4 译

• 801 _0 |a CN |b 人天书店 |c 20210203

• 905 __ |a WXCSXY |d TP311.1/329