机读格式显示(MARC)

• 000 01348nam0 2200313 450

• 001 0000392329

• 005 20210617121400.0

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

• 021 __ |a CN |b 01-2020-2431

• 049 __ |a O440105GDY |b UCS01010367502 |c 3004241790

• 100 __ |a 20210312d2021 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 000yy

• 106 __ |a r

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

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

• 215 __ |a 15,298页 |d 24cm

• 300 __ |a 华章程序员书库

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

• 510 1_ |a Programming with types |e examples in typescript |z eng

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

• 690 __ |a TP311.1 |v 5

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

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

• 801 _2 |a CN |b OLCC |c 20210528

• 801 _2 |a CN |b O440105GDY |c 20210323

• 905 __ |a XATU |d TP311.1/359

• 920 __ |a 261060 |z 1