机读格式显示(MARC)

• 000 01391nam 2200301 450

• 001 0000379869

• 005 20210906101600.0

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

• 100 __ |a 20210305d2021 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 编程与类型系统 |A bian cheng yu lei xing xi tong |f (美) 弗拉德·里斯库迪亚著 |d = Programming with types |f Vlad Riscutia |g 赵利通译 |z eng

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

• 215 __ |a XV, 298页 |c 图 |d 24cm

• 225 2_ |a 华章程序员书库 |A hua zhang cheng xu yuan shu ku

• 300 __ |a 华章IT

• 314 __ |a 弗拉德·里斯库迪亚, Microsoft的首席软件架构师。

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

• 410 _0 |1 2001 |a 华章程序员书库

• 500 10 |a Programming with types |A Programming With Types |m Chinese

• 606 0_ |a 程序设计 |A cheng xu she ji

• 690 __ |a TP311.1 |v 5

• 701 _1 |a 里斯库迪亚 |A li si ku di ya |g (Riscutia, Vlad) |4 著

• 702 _0 |a 赵利通 |A zhao li tong |4 译

• 801 _0 |a CN |b 安徽时代 |c 20210709

• 905 __ |a AUSTL |d TP311.1/L722