|
|
001. Chapter 1 Introduction to typing.en.srt
|
SRT
|
4.6 KB
|
|
|
001. Chapter 1 Introduction to typing.mp4
|
MP4
|
12.7 MB
|
|
|
002. Chapter 1 Why types exist.en.srt
|
SRT
|
11.4 KB
|
|
|
002. Chapter 1 Why types exist.mp4
|
MP4
|
21.6 MB
|
|
|
003. Chapter 1 Benefits of type systems.en.srt
|
SRT
|
24.1 KB
|
|
|
003. Chapter 1 Benefits of type systems.mp4
|
MP4
|
50.1 MB
|
|
|
004. Chapter 1 Types of type systems.en.srt
|
SRT
|
9.6 KB
|
|
|
004. Chapter 1 Types of type systems.mp4
|
MP4
|
28.6 MB
|
|
|
005. Chapter 1 In this book.en.srt
|
SRT
|
3 KB
|
|
|
005. Chapter 1 In this book.mp4
|
MP4
|
7.7 MB
|
|
|
006. Chapter 1 Summary.en.srt
|
SRT
|
1.9 KB
|
|
|
006. Chapter 1 Summary.mp4
|
MP4
|
9.4 MB
|
|
|
007. Chapter 2 Basic types.en.srt
|
SRT
|
11.4 KB
|
|
|
007. Chapter 2 Basic types.mp4
|
MP4
|
29.6 MB
|
|
|
008. Chapter 2 Boolean logic and short circuits.en.srt
|
SRT
|
8.7 KB
|
|
|
008. Chapter 2 Boolean logic and short circuits.mp4
|
MP4
|
22.8 MB
|
|
|
009. Chapter 2 Common pitfalls of numerical types.en.srt
|
SRT
|
19.3 KB
|
|
|
009. Chapter 2 Common pitfalls of numerical types.mp4
|
MP4
|
55.6 MB
|
|
|
010. Chapter 2 Encoding text.en.srt
|
SRT
|
16.2 KB
|
|
|
010. Chapter 2 Encoding text.mp4
|
MP4
|
35.2 MB
|
|
|
011. Chapter 2 Building data structures with arrays and references.en.srt
|
SRT
|
21.2 KB
|
|
|
011. Chapter 2 Building data structures with arrays and references.mp4
|
MP4
|
52.4 MB
|
|
|
012. Chapter 2 Summary.en.srt
|
SRT
|
3.4 KB
|
|
|
012. Chapter 2 Summary.mp4
|
MP4
|
12.1 MB
|
|
|
013. Chapter 3 Composition.en.srt
|
SRT
|
20.3 KB
|
|
|
013. Chapter 3 Composition.mp4
|
MP4
|
36.8 MB
|
|
|
014. Chapter 3 Expressing either-or with types.en.srt
|
SRT
|
25 KB
|
|
|
014. Chapter 3 Expressing either-or with types.mp4
|
MP4
|
66.3 MB
|
|
|
015. Chapter 3 The visitor pattern.en.srt
|
SRT
|
9.1 KB
|
|
|
015. Chapter 3 The visitor pattern.mp4
|
MP4
|
26.9 MB
|
|
|
016. Chapter 3 Algebraic data types.en.srt
|
SRT
|
5.2 KB
|
|
|
016. Chapter 3 Algebraic data types.mp4
|
MP4
|
14.6 MB
|
|
|
017. Chapter 3 Summary.en.srt
|
SRT
|
4.3 KB
|
|
|
017. Chapter 3 Summary.mp4
|
MP4
|
13.4 MB
|
|
|
018. Chapter 4 Type safety.en.srt
|
SRT
|
14.7 KB
|
|
|
018. Chapter 4 Type safety.mp4
|
MP4
|
38.5 MB
|
|
|
019. Chapter 4 Enforcing constraints.en.srt
|
SRT
|
7.4 KB
|
|
|
019. Chapter 4 Enforcing constraints.mp4
|
MP4
|
17.2 MB
|
|
|
020. Chapter 4 Adding type information.en.srt
|
SRT
|
15.6 KB
|
|
|
020. Chapter 4 Adding type information.mp4
|
MP4
|
37.8 MB
|
|
|
021. Chapter 4 Hiding and restoring type information.en.srt
|
SRT
|
14.7 KB
|
|
|
021. Chapter 4 Hiding and restoring type information.mp4
|
MP4
|
37.5 MB
|
|
|
022. Chapter 4 Summary.en.srt
|
SRT
|
2.9 KB
|
|
|
022. Chapter 4 Summary.mp4
|
MP4
|
10.2 MB
|
|
|
023. Chapter 5 Function types.en.srt
|
SRT
|
14.3 KB
|
|
|
023. Chapter 5 Function types.mp4
|
MP4
|
34.6 MB
|
|
|
024. Chapter 5 A state machine without switch statements.en.srt
|
SRT
|
20.5 KB
|
|
|
024. Chapter 5 A state machine without switch statements.mp4
|
MP4
|
55 MB
|
|
|
025. Chapter 5 Avoiding expensive computation with lazy values.en.srt
|
SRT
|
8.7 KB
|
|
|
025. Chapter 5 Avoiding expensive computation with lazy values.mp4
|
MP4
|
20.4 MB
|
|
|
026. Chapter 5 Using map, filter, and reduce.en.srt
|
SRT
|
18.9 KB
|
|
|
026. Chapter 5 Using map, filter, and reduce.mp4
|
MP4
|
51.6 MB
|
|
|
027. Chapter 5 Functional programming.en.srt
|
SRT
|
1.7 KB
|
|
|
027. Chapter 5 Functional programming.mp4
|
MP4
|
4.2 MB
|
|
|
028. Chapter 5 Summary.en.srt
|
SRT
|
3.7 KB
|
|
|
028. Chapter 5 Summary.mp4
|
MP4
|
13.3 MB
|
|
|
029. Chapter 6 Advanced applications of function types.en.srt
|
SRT
|
14.8 KB
|
|
|
029. Chapter 6 Advanced applications of function types.mp4
|
MP4
|
30.8 MB
|
|
|
030. Chapter 6 Implementing a counter.en.srt
|
SRT
|
10.2 KB
|
|
|
030. Chapter 6 Implementing a counter.mp4
|
MP4
|
28 MB
|
|
|
031. Chapter 6 Executing long-running operations asynchronously.en.srt
|
SRT
|
17.6 KB
|
|
|
031. Chapter 6 Executing long-running operations asynchronously.mp4
|
MP4
|
44.4 MB
|
|
|
032. Chapter 6 Simplifying asynchronous code.en.srt
|
SRT
|
28.8 KB
|
|
|
032. Chapter 6 Simplifying asynchronous code.mp4
|
MP4
|
71.8 MB
|
|
|
033. Chapter 6 Summary.en.srt
|
SRT
|
3.5 KB
|
|
|
033. Chapter 6 Summary.mp4
|
MP4
|
12.7 MB
|
|
|
034. Chapter 7 Subtyping.en.srt
|
SRT
|
13.3 KB
|
|
|
034. Chapter 7 Subtyping.mp4
|
MP4
|
38.5 MB
|
|
|
035. Chapter 7 Assigning anything to, assigning to anything.en.srt
|
SRT
|
20.5 KB
|
|
|
035. Chapter 7 Assigning anything to, assigning to anything.mp4
|
MP4
|
44.7 MB
|
|
|
036. Chapter 7 Allowed substitutions.en.srt
|
SRT
|
28.7 KB
|
|
|
036. Chapter 7 Allowed substitutions.mp4
|
MP4
|
68.8 MB
|
|
|
037. Chapter 7 Summary.en.srt
|
SRT
|
4.9 KB
|
|
|
037. Chapter 7 Summary.mp4
|
MP4
|
15.5 MB
|
|
|
038. Chapter 8 Elements of object-oriented programming.en.srt
|
SRT
|
12.5 KB
|
|
|
038. Chapter 8 Elements of object-oriented programming.mp4
|
MP4
|
31.7 MB
|
|
|
039. Chapter 8 Inheriting data and behavior.en.srt
|
SRT
|
10.4 KB
|
|
|
039. Chapter 8 Inheriting data and behavior.mp4
|
MP4
|
20.1 MB
|
|
|
040. Chapter 8 Composing data and behavior.en.srt
|
SRT
|
17.5 KB
|
|
|
040. Chapter 8 Composing data and behavior.mp4
|
MP4
|
35.4 MB
|
|
|
041. Chapter 8 Extending data and behavior.en.srt
|
SRT
|
13.6 KB
|
|
|
041. Chapter 8 Extending data and behavior.mp4
|
MP4
|
26 MB
|
|
|
042. Chapter 8 Alternatives to purely object-oriented code.en.srt
|
SRT
|
7.8 KB
|
|
|
042. Chapter 8 Alternatives to purely object-oriented code.mp4
|
MP4
|
20.9 MB
|
|
|
043. Chapter 8 Summary.en.srt
|
SRT
|
3.1 KB
|
|
|
043. Chapter 8 Summary.mp4
|
MP4
|
9.9 MB
|
|
|
044. Chapter 9 Generic data structures.en.srt
|
SRT
|
13.3 KB
|
|
|
044. Chapter 9 Generic data structures.mp4
|
MP4
|
31.1 MB
|
|
|
045. Chapter 9 Generic data layout.en.srt
|
SRT
|
6.2 KB
|
|
|
045. Chapter 9 Generic data layout.mp4
|
MP4
|
18.2 MB
|
|
|
046. Chapter 9 Traversing any data structure.en.srt
|
SRT
|
21.9 KB
|
|
|
046. Chapter 9 Traversing any data structure.mp4
|
MP4
|
52.2 MB
|
|
|
047. Chapter 9 Streaming data.en.srt
|
SRT
|
6.4 KB
|
|
|
047. Chapter 9 Streaming data.mp4
|
MP4
|
13 MB
|
|
|
048. Chapter 9 Summary.en.srt
|
SRT
|
3.1 KB
|
|
|
048. Chapter 9 Summary.mp4
|
MP4
|
8 MB
|
|
|
049. Chapter 10 Generic algorithms and iterators.en.srt
|
SRT
|
8.1 KB
|
|
|
049. Chapter 10 Generic algorithms and iterators.mp4
|
MP4
|
19.9 MB
|
|
|
050. Chapter 10 Common algorithms.en.srt
|
SRT
|
11.3 KB
|
|
|
050. Chapter 10 Common algorithms.mp4
|
MP4
|
37.7 MB
|
|
|
051. Chapter 10 Constraining type parameters.en.srt
|
SRT
|
10.7 KB
|
|
|
051. Chapter 10 Constraining type parameters.mp4
|
MP4
|
32.1 MB
|
|
|
052. Chapter 10 Efficient reverse and other algorithms using iterators.en.srt
|
SRT
|
30.6 KB
|
|
|
052. Chapter 10 Efficient reverse and other algorithms using iterators.mp4
|
MP4
|
74.6 MB
|
|
|
053. Chapter 10 Adaptive algorithms.en.srt
|
SRT
|
4.8 KB
|
|
|
053. Chapter 10 Adaptive algorithms.mp4
|
MP4
|
13.2 MB
|
|
|
054. Chapter 10 Summary.en.srt
|
SRT
|
5 KB
|
|
|
054. Chapter 10 Summary.mp4
|
MP4
|
18 MB
|
|
|
055. Chapter 11 Higher kinded types and beyond.en.srt
|
SRT
|
23.8 KB
|
|
|
055. Chapter 11 Higher kinded types and beyond.mp4
|
MP4
|
52.4 MB
|
|
|
056. Chapter 11 Monads.en.srt
|
SRT
|
32 KB
|
|
|
056. Chapter 11 Monads.mp4
|
MP4
|
53.3 MB
|
|
|
057. Chapter 11 Where to next.en.srt
|
SRT
|
9.5 KB
|
|
|
057. Chapter 11 Where to next.mp4
|
MP4
|
20.7 MB
|
|
|
058. Chapter 11 Summary.en.srt
|
SRT
|
1.6 KB
|
|
|
058. Chapter 11 Summary.mp4
|
MP4
|
8.4 MB
|
|
|
059. Chapter 11 Answers to exercises.en.srt
|
SRT
|
819.2 B
|
|
|
059. Chapter 11 Answers to exercises.mp4
|
MP4
|
1.9 MB
|
|
|
Bonus Resources.txt
|
TXT
|
102.4 B
|
