|
000
|
01373nam 2200301 450
|
|
001
|
202021193324
|
|
005
|
20211025120136.0
|
|
010
|
|
@a978-7-111-67051-3@dCNY119.00
|
|
100
|
|
@a20210927d2021 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aak z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a编程与类型系统@Abian cheng yu lei xing xi tong@f(美) 弗拉德·里斯库迪亚著@d= Programming with types@fVlad Riscutia@g赵利通译@zeng
|
|
210
|
|
@a北京@c机械工业出版社@d2021.01
|
|
215
|
|
@aXV, 298页@c图@d24cm
|
|
225
|
2
|
@a华章程序员书库@Ahua zhang cheng xu yuan shu ku
|
|
300
|
|
@a华章IT
|
|
314
|
|
@a弗拉德·里斯库迪亚, Microsoft的首席软件架构师。
|
|
330
|
|
@a本书旨在告诉读者如何使用类型系统编写更好、更安全的代码, 全面介绍类型系统的特性, 主要内容包括类型和类型系统简介、基本类型、类型组合、类型安全、函数类型及其高级应用、子类型和类型兼容、面向对象编程的关键元素、泛型数据结构、泛型算法和迭代器、高阶类型等。本书没有关注这些特性背后的理论, 而是通过实际应用的方式来解释每种特性, 说明如何以及何时使用每种特性来改进代码。
|
|
410
|
0
|
@12001 @a华章程序员书库
|
|
500
|
10
|
@aProgramming with types@mChinese
|
|
606
|
0
|
@a程序设计@Acheng xu she ji
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
1
|
@a里斯库迪亚@Ali si ku di ya@g(Riscutia, Vlad)@4著
|
|
702
|
0
|
@a赵利通@Azhao li tong@4译
|
|
801
|
0
|
@aCN@c20210909
|
|
905
|
|
@a河南城建学院图书馆@dTP311.1@eL352
|
|
|
|
|
| |
| 编程与类型系统/(美) 弗拉德·里斯库迪亚著= Programming with types/Vlad Riscutia/赵利通译.-北京：机械工业出版社，2021.01 |
| XV, 298页：图；24cm.-(华章程序员书库) |
| 华章IT |
| |
| ISBN 978-7-111-67051-3：CNY119.00 |
| 本书旨在告诉读者如何使用类型系统编写更好、更安全的代码, 全面介绍类型系统的特性, 主要内容包括类型和类型系统简介、基本类型、类型组合、类型安全、函数类型及其高级应用、子类型和类型兼容、面向对象编程的关键元素、泛型数据结构、泛型算法和迭代器、高阶类型等。本书没有关注这些特性背后的理论, 而是通过实际应用的方式来解释每种特性, 说明如何以及何时使用每种特性来改进代码。 |
| ● |
正题名：编程与类型系统
索取号：TP311.1/L352
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1542285
|
215422852
|
自科库301/301自科库 47排4列2层/
[索取号:TP311.1/L352]
|
在馆
|
|
