Programming with Types, Video Edition
- CategoryOther
- TypeTutorials
- LanguageEnglish
- Total size1.7 GB
- Uploaded Byfreecoursewb
- Downloads36
- Last checkedFeb. 06th '26
- Date uploadedFeb. 05th '26
- Seeders 2
- Leechers30
Programming with Types, Video Edition
https://WebToolTip.com
Published 11/2019
By Vlad Riscutia
MP4 | Video: h264, 1280x720 | Audio: AAC, 44.1 KHz, 2 Ch
Genre: eLearning | Language: English + subtitle | Duration: 8h 12m | Size: 1.72 GB
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.
About the Technology
Common bugs often result from mismatched data types. By precisely naming and controlling which data are allowable in a calculation, a strong type system can eliminate whole classes of errors and ensure data integrity throughout an application. As a developer, skillfully using types in your everyday practice leads to better code and saves time tracking down tricky data-related errors.
About the Book
Programming with Types teaches type-based techniques for writing software that’s safe, correct, easy to maintain, and practically self-documenting. Designed for working developers, this clearly written tutorial sticks with the practical benefits of type systems for everyday programming tasks. Following real-world examples coded in TypeScript, you’ll build your skills from primitive types up to more-advanced concepts like functors and monads.
Files:
[ WebToolTip.com ] Programming with Types, Video Edition- Get Bonus Downloads Here.url (0.2 KB) ~Get Your Files Here !
- 001. Chapter 1 Introduction to typing.en.srt (4.6 KB)
- 001. Chapter 1 Introduction to typing.mp4 (12.7 MB)
- 002. Chapter 1 Why types exist.en.srt (11.4 KB)
- 002. Chapter 1 Why types exist.mp4 (21.6 MB)
- 003. Chapter 1 Benefits of type systems.en.srt (24.1 KB)
- 003. Chapter 1 Benefits of type systems.mp4 (50.1 MB)
- 004. Chapter 1 Types of type systems.en.srt (9.6 KB)
- 004. Chapter 1 Types of type systems.mp4 (28.6 MB)
- 005. Chapter 1 In this book.en.srt (3.0 KB)
- 005. Chapter 1 In this book.mp4 (7.7 MB)
- 006. Chapter 1 Summary.en.srt (1.9 KB)
- 006. Chapter 1 Summary.mp4 (9.4 MB)
- 007. Chapter 2 Basic types.en.srt (11.4 KB)
- 007. Chapter 2 Basic types.mp4 (29.6 MB)
- 008. Chapter 2 Boolean logic and short circuits.en.srt (8.7 KB)
- 008. Chapter 2 Boolean logic and short circuits.mp4 (22.8 MB)
- 009. Chapter 2 Common pitfalls of numerical types.en.srt (19.3 KB)
- 009. Chapter 2 Common pitfalls of numerical types.mp4 (55.6 MB)
- 010. Chapter 2 Encoding text.en.srt (16.2 KB)
- 010. Chapter 2 Encoding text.mp4 (35.2 MB)
- 011. Chapter 2 Building data structures with arrays and references.en.srt (21.2 KB)
- 011. Chapter 2 Building data structures with arrays and references.mp4 (52.4 MB)
- 012. Chapter 2 Summary.en.srt (3.4 KB)
- 012. Chapter 2 Summary.mp4 (12.1 MB)
- 013. Chapter 3 Composition.en.srt (20.3 KB)
- 013. Chapter 3 Composition.mp4 (36.8 MB)
- 014. Chapter 3 Expressing either-or with types.en.srt (25.0 KB)
- 014. Chapter 3 Expressing either-or with types.mp4 (66.3 MB)
- 015. Chapter 3 The visitor pattern.en.srt (9.1 KB)
- 015. Chapter 3 The visitor pattern.mp4 (26.9 MB)
- 016. Chapter 3 Algebraic data types.en.srt (5.2 KB)
- 016. Chapter 3 Algebraic data types.mp4 (14.6 MB)
- 017. Chapter 3 Summary.en.srt (4.3 KB)
- 017. Chapter 3 Summary.mp4 (13.4 MB)
- 018. Chapter 4 Type safety.en.srt (14.7 KB)
- 018. Chapter 4 Type safety.mp4 (38.5 MB)
- 019. Chapter 4 Enforcing constraints.en.srt (7.4 KB)
- 019. Chapter 4 Enforcing constraints.mp4 (17.2 MB)
- 020. Chapter 4 Adding type information.en.srt (15.6 KB)
- 020. Chapter 4 Adding type information.mp4 (37.8 MB)
- 021. Chapter 4 Hiding and restoring type information.en.srt (14.7 KB)
- 021. Chapter 4 Hiding and restoring type information.mp4 (37.5 MB)
- 022. Chapter 4 Summary.en.srt (2.9 KB)
- 022. Chapter 4 Summary.mp4 (10.2 MB)
- 023. Chapter 5 Function types.en.srt (14.3 KB)
- 023. Chapter 5 Function types.mp4 (34.6 MB)
- 024. Chapter 5 A state machine without switch statements.en.srt (20.5 KB)
- 024. Chapter 5 A state machine without switch statements.mp4 (55.0 MB)
- 025. Chapter 5 Avoiding expensive computation with lazy values.en.srt (8.7 KB)
- 025. Chapter 5 Avoiding expensive computation with lazy values.mp4 (20.4 MB)
- 026. Chapter 5 Using map, filter, and reduce.en.srt (18.9 KB)
- 026. Chapter 5 Using map, filter, and reduce.mp4 (51.6 MB)
- 027. Chapter 5 Functional programming.en.srt (1.7 KB)
- 027. Chapter 5 Functional programming.mp4 (4.2 MB)
- 028. Chapter 5 Summary.en.srt (3.7 KB)
- 028. Chapter 5 Summary.mp4 (13.3 MB)
- 029. Chapter 6 Advanced applications of function types.en.srt (14.8 KB)
- 029. Chapter 6 Advanced applications of function types.mp4 (30.8 MB)
- 030. Chapter 6 Implementing a counter.en.srt (10.2 KB)
- 030. Chapter 6 Implementing a counter.mp4 (28.0 MB)
- 031. Chapter 6 Executing long-running operations asynchronously.en.srt (17.6 KB)
- 031. Chapter 6 Executing long-running operations asynchronously.mp4 (44.4 MB)
- 032. Chapter 6 Simplifying asynchronous code.en.srt (28.8 KB)
- 032. Chapter 6 Simplifying asynchronous code.mp4 (71.8 MB)
- 033. Chapter 6 Summary.en.srt (3.5 KB)
- 033. Chapter 6 Summary.mp4 (12.7 MB)
- 034. Chapter 7 Subtyping.en.srt (13.3 KB)
- 034. Chapter 7 Subtyping.mp4 (38.5 MB)
- 035. Chapter 7 Assigning anything to, assigning to anything.en.srt (20.5 KB)
- 035. Chapter 7 Assigning anything to, assigning to anything.mp4 (44.7 MB)
- 036. Chapter 7 Allowed substitutions.en.srt (28.7 KB)
- 036. Chapter 7 Allowed substitutions.mp4 (68.8 MB)
- 037. Chapter 7 Summary.en.srt (4.9 KB)
- 037. Chapter 7 Summary.mp4 (15.5 MB)
- 038. Chapter 8 Elements of object-oriented programming.en.srt (12.5 KB)
- 038. Chapter 8 Elements of object-oriented programming.mp4 (31.7 MB)
- 039. Chapter 8 Inheriting data and behavior.en.srt (10.4 KB)
- 039. Chapter 8 Inheriting data and behavior.mp4 (20.1 MB)
- 040. Chapter 8 Composing data and behavior.en.srt (17.5 KB)
- 040. Chapter 8 Composing data and behavior.mp4 (35.4 MB)
- 041. Chapter 8 Extending data and behavior.en.srt (13.6 KB)
- 041. Chapter 8 Extending data and behavior.mp4 (26.0 MB)
- 042. Chapter 8 Alternatives to purely object-oriented code.en.srt (7.8 KB)
- 042. Chapter 8 Alternatives to purely object-oriented code.mp4 (20.9 MB)
- 043. Chapter 8 Summary.en.srt (3.1 KB)
- 043. Chapter 8 Summary.mp4 (9.9 MB)
- 044. Chapter 9 Generic data structures.en.srt (13.3 KB)
- 044. Chapter 9 Generic data structures.mp4 (31.1 MB)
- 045. Chapter 9 Generic data layout.en.srt (6.2 KB)
- 045. Chapter 9 Generic data layout.mp4 (18.2 MB)
- 046. Chapter 9 Traversing any data structure.en.srt (21.9 KB)
- 046. Chapter 9 Traversing any data structure.mp4 (52.2 MB)
- 047. Chapter 9 Streaming data.en.srt (6.4 KB)
- 047. Chapter 9 Streaming data.mp4 (13.0 MB)
- 048. Chapter 9 Summary.en.srt (3.1 KB)
- 048. Chapter 9 Summary.mp4 (8.0 MB)
- 049. Chapter 10 Generic algorithms and iterators.en.srt (8.1 KB)
- 049. Chapter 10 Generic algorithms and iterators.mp4 (19.9 MB)
- 050. Chapter 10 Common algorithms.en.srt (11.3 KB)
- 050. Chapter 10 Common algorithms.mp4 (37.7 MB)
- 051. Chapter 10 Constraining type parameters.en.srt (10.7 KB)
- 051. Chapter 10 Constraining type parameters.mp4 (32.1 MB)
-
Code:
- udp://tracker.torrent.eu.org:451/announce
- udp://tracker.tiny-vps.com:6969/announce
- http://tracker.foreverpirates.co:80/announce
- udp://tracker.cyberia.is:6969/announce
- udp://exodus.desync.com:6969/announce
- udp://explodie.org:6969/announce
- udp://tracker.opentrackr.org:1337/announce
- udp://9.rarbg.to:2780/announce
- udp://tracker.internetwarriors.net:1337/announce
- udp://ipv4.tracker.harry.lu:80/announce
- udp://open.stealth.si:80/announce
- udp://9.rarbg.to:2900/announce
- udp://9.rarbg.me:2720/announce
- udp://opentor.org:2710/announce
