Programming with Types

Programming with Types
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2019-09
ISBN: 9781617296413
装帧: 其他
页数: 325页
  • Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power of strong type systems. Designed to provide practical, instantly-useful techniques for working developers, this clearly-written tutorial introduces you to using type systems to support everyday programming tasks. In it, you’ll explore the impact types have on functions, inheritance, and composition, and you’ll take a close look at generics, which enable greater abstraction. You’ll also discover folding data structures and applying functions to containers with higher kinded types. Along the way, you’ll explore real-world use cases and practical examples in TypeScript as you build your skills from primitive types up to more advanced concepts like functors and monads.
    what's inside
    An introduction to type systems and their benefits
    Designing functions that don’t return values
    Encoding text
    Building data structures with arrays and references
    Type composition
    Function types
    Type safety
    Asynchronous functions
    Subtyping
    Object-oriented programming with types
    Generic data structures and algorithms Vlad Riscutia is a principal software engineer at Microsoft with over 10 years of experience in the software field. He has headed up several major software projects and mentored many up-and-coming software engineers.
  • 内容简介:
    Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power of strong type systems. Designed to provide practical, instantly-useful techniques for working developers, this clearly-written tutorial introduces you to using type systems to support everyday programming tasks. In it, you’ll explore the impact types have on functions, inheritance, and composition, and you’ll take a close look at generics, which enable greater abstraction. You’ll also discover folding data structures and applying functions to containers with higher kinded types. Along the way, you’ll explore real-world use cases and practical examples in TypeScript as you build your skills from primitive types up to more advanced concepts like functors and monads.
    what's inside
    An introduction to type systems and their benefits
    Designing functions that don’t return values
    Encoding text
    Building data structures with arrays and references
    Type composition
    Function types
    Type safety
    Asynchronous functions
    Subtyping
    Object-oriented programming with types
    Generic data structures and algorithms
  • 作者简介:
    Vlad Riscutia is a principal software engineer at Microsoft with over 10 years of experience in the software field. He has headed up several major software projects and mentored many up-and-coming software engineers.
查看详情
目前没有书店销售此书
相关图书 / 更多
Programming with Types
Programming Robots with ROS
Morgan Quigley;Brian Gerkey;William D.Smart
Programming with Types
ProgrammingAtlas
Christian Wenz 著
Programming with Types
Programming Windows
Charles Petzold
Programming with Types
Programming with Managed Extensions for Microsoft? Visual C++? .NET (Pro-Developer)
Richard Grimes 著
Programming with Types
Programming:PrinciplesandPracticeUsingC++
Bjarne Stroustrup 著
Programming with Types
ProgrammingADO.NET2.0Applications:AdvancedTopics
Glenn Johnson 著
Programming with Types
ProgrammingforLinguists:PerlforLanguageResearchers
Michael Hammond 著
Programming with Types
ProgrammingWindowsPhone7:MicrosoftXNAFrameworkEdition英文原版
Charles Petzold 著
Programming with Types
ProgrammingPerl:There'sMoreThanOneWayToDoIt
Larry Wall、Tom Christiansen、Jon Orwant 著
Programming with Types
ProgrammingPHP
Rasmus Lerdorf 著
Programming with Types
Programming 16-Bit PIC Microcontrollers in C16位PIC微控制器的C语言编程:PIC 24 学习飞跃,第2版
Lucio Di Jasio 著
Programming with Types
Programming Microsoft? ASP.NET 2.0 Core Reference 英文原版
Dino Esposito(Solid Quality Learning) 著
您可能感兴趣 / 更多
Programming with Types
PersianMiniatures(MegaSquare)波斯细密画
Vladimir Loukonine 著
Programming with Types
CollectedPoems(PenguinHardbackClassics)
Vladimir Nabokov 著;Dmitri Nabokov 译
Programming with Types
TheTragedyofMisterMorn(PenguinTranslatedTexts)
Vladimir Nabokov 著;Thomas Karshan、Anastasia Tolstoy 译
Programming with Types
DKEyewitnessTravelGuide:Prague[WithMap]
Vladimir Soukup 著
Programming with Types
RIsforRussia
Vladimir Kabakov 著
Programming with Types
Lolita(PenguinEssentials)[洛丽塔]
Vladimir Nabokov 著
Programming with Types
ElectromagneticFieldsandWaves
Vladimir Rojansky 著
Programming with Types
TransparentThings(PenguinPress)
Vladimir Nabokov 著
Programming with Types
LookattheHarlequins!
Vladimir Nabokov 著
Programming with Types
NikolaiGogol.byVladimirNabokov
Vladimir Nabokov 著
Programming with Types
Zdenek Tmej:The Alphabet of Spiritual Emptiness
Vladamir Birgus;Alexandra Urbanova
Programming with Types
RitesofLove:Part2
Vladimir Megre 著