zhongziso种子搜
首页
功能
磁力转BT
BT转磁力
使用教程
免责声明
关于
zhongziso
搜索
Coursera - Programming Languages; University of Washington
magnet:?xt=urn:btih:A3374F34FCF9A628FC0F5C23596604E2BD37266C&dn=Coursera - Programming Languages; University of Washington
磁力链接详情
Hash值:
A3374F34FCF9A628FC0F5C23596604E2BD37266C
点击数:
150
文件大小:
2.06 GB
文件数量:
171
创建日期:
2016-1-15 20:35
最后访问:
2024-7-8 14:55
访问标签:
Coursera
-
Programming
Languages;
University
of
Washington
文件列表详情
09-19 - Optional Dynamic Dispatch Manually in Racket (1556).mp4 26.11 MB
10-05 - Double Dispatch (1446).mp4 22.9 MB
08-05 - What Your Interpreter Can and Cannot Assume (1347).mp4 22.05 MB
03-12 - Each of Pattern Matching _ Truth About Functions (1430).mp4 20.35 MB
02-04 - ML Variable Bindings and Expressions (1432).mp4 20.08 MB
10-02 - OOP Versus Functional Decomposition (1251).mp4 19.35 MB
08-15 - Static Versus Dynamic Typing Part Two (1347).mp4 19.22 MB
09-04 - Object State (1314).mp4 18.9 MB
02-06 - The REPL and Errors (1210).mp4 18.51 MB
07-09 - Local Bindings (1311).mp4 18.5 MB
04-23 - Optional Java Without Closures (1208).mp4 18.06 MB
09-03 - Classes and Objects (1237).mp4 17.89 MB
10-08 - Mixins (1152).mp4 17.82 MB
09-06 - A Longer Example (1219).mp4 17.79 MB
06-05 - Optional Why ML Racket and Ruby (1234).mp4 17.66 MB
10-15 - Function Subtyping (1117).mp4 17.45 MB
10-03 - Adding Operations or Variants (1108).mp4 17.32 MB
09-17 - Method-Lookup Rules Precisely (1131).mp4 16.95 MB
02-02 - Course Introduction About the Course (1234).mp4 16.89 MB
05-12 - Signatures for Our Example (1103).mp4 16.7 MB
04-11 - Why Lexical Scope (1144).mp4 16.7 MB
04-13 - Fold and More Closures (1128).mp4 16.64 MB
04-21 - Optional Abstract Data Types With Closures (1114).mp4 16.63 MB
04-24 - Optional C Without Closures (1056).mp4 16.55 MB
09-16 - Overriding and Dynamic Dispatch (1056).mp4 16.51 MB
09-10 - Blocks (1134).mp4 16.41 MB
03-06 - Useful Datatypes (1122).mp4 16.16 MB
05-11 - A Module Example (1106).mp4 16.13 MB
02-03 - Course Introduction About Programming Languages (1204).mp4 16.08 MB
09-09 - Arrays (1113).mp4 15.93 MB
07-06 - Parentheses Matter (Debugging Practice) (1050).mp4 15.82 MB
03-05 - Case Expressions (1050).mp4 15.79 MB
07-14 - Delayed Evaluation and Thunks (1012).mp4 15.75 MB
02-12 - List Functions (1121).mp4 15.67 MB
10-07 - Multiple Inheritance (1018).mp4 15.65 MB
07-18 - Defining Streams (1049).mp4 15.63 MB
10-11 - Subtyping From the Beginning (1043).mp4 15.5 MB
07-23 - Optional Variables Macros and Hygiene (1052).mp4 15.45 MB
07-19 - Memoization (1017).mp4 15.33 MB
07-17 - Using Streams (1010).mp4 15.27 MB
06-04 - Optional Why Functional Languages (1115).mp4 15.21 MB
02-11 - Introducing Lists (1034).mp4 15.14 MB
08-11 - What is Static Checking (1000).mp4 15.1 MB
04-16 - Partial Application (941).mp4 14.96 MB
05-06 - Polymorphic Examples (1052).mp4 14.87 MB
02-14 - Let and Efficiency (1010).mp4 14.81 MB
04-15 - Closure Idiom Currying (1032).mp4 14.8 MB
09-14 - Subclassing (1011).mp4 14.78 MB
06-02 - Optional Why Study General PL Concepts (1030).mp4 14.58 MB
09-18 - Dynamic Dispatch Versus Closures (938).mp4 14.54 MB
08-03 - Datatype-Programming in Racket With Structs (934).mp4 14.5 MB
03-15 - More Nested Patterns (1043).mp4 14.42 MB
08-12 - Soundness and Completeness (946).mp4 14.39 MB
08-04 - Implementing Programming Languages (1007).mp4 14.33 MB
05-07 - Optional The Value Restriction and Other Type-Inference Challenges (953).mp4 14.28 MB
05-05 - Type Inference Examples (1027).mp4 14.22 MB
11-01 - Optional Course Content Wrapup (943).mp4 14.21 MB
05-18 - Standard Equivalences (1001).mp4 14.21 MB
05-08 - Mutual Recursion (945).mp4 14.18 MB
07-22 - Optional Racket Macros With define-syntax (925).mp4 14.14 MB
07-07 - Dynamic Typing (936).mp4 14.07 MB
09-02 - Introduction to Ruby (1008).mp4 14.07 MB
05-15 - Another Equivalent Structure (901).mp4 13.99 MB
08-14 - Static Versus Dynamic Typing Part One (940).mp4 13.98 MB
08-09 - Racket Functions As Macros For Interpreted Language (915).mp4 13.96 MB
10-14 - Optional Java_C Arrays (911).mp4 13.91 MB
07-03 - Racket Definitions Functions Conditionals (1014).mp4 13.88 MB
08-13 - Weak Typing (939).mp4 13.74 MB
07-16 - Delay and Force (918).mp4 13.6 MB
07-24 - Optional More Macros Examples (912).mp4 13.6 MB
03-19 - Tail Recursion (944).mp4 13.58 MB
11-02 - Optional MOOC Wrapup (939).mp4 13.22 MB
04-14 - Closure Idiom Combining Functions (918).mp4 13.19 MB
09-13 - Hashes and Ranges (859).mp4 13.08 MB
04-05 - Anonymous Functions (917).mp4 13.07 MB
08-08 - Optional Are Closures Efficient (903).mp4 13.07 MB
02-15 - Options (909).mp4 13.06 MB
08-10 - ML Versus Racket (853).mp4 13 MB
10-13 - Depth Subtyping (850).mp4 12.95 MB
04-03 - Functions as Arguments (840).mp4 12.89 MB
10-10 - Optional Abstract Methods (851).mp4 12.83 MB
04-08 - Generalizing Prior Topics (901).mp4 12.83 MB
02-09 - Functions Formally (856).mp4 12.81 MB
07-08 - Cond (852).mp4 12.63 MB
02-10 - Pairs and Other Tuples (916).mp4 12.6 MB
03-04 - Datatype Bindings (839).mp4 12.6 MB
03-10 - Lists and Options are Datatypes (910).mp4 12.6 MB
07-04 - Racket Lists (907).mp4 12.55 MB
10-12 - The Subtype Relation (820).mp4 12.46 MB
10-16 - Generics Versus Subtyping (816).mp4 12.36 MB
02-05 - Rules for Expressions (913).mp4 12.33 MB
07-20 - Macros The Key Points (852).mp4 12.32 MB
05-17 - Equivalent Functions (841).mp4 12.3 MB
09-05 - Visibility (839).mp4 12.24 MB
07-02 - Introduction to Racket (823).mp4 12.2 MB
07-05 - Syntax and Parentheses (836).mp4 12.19 MB
04-19 - Closure Idiom Callbacks (825).mp4 12.18 MB
04-07 - Map and Filter (856).mp4 12.04 MB
07-11 - Mutation with set (828).mp4 12.03 MB
03-11 - Polymorphic Datatypes (811).mp4 11.99 MB
03-08 - Another Expression Example (801).mp4 11.92 MB
10-17 - Bounded Polymorphism (805).mp4 11.92 MB
08-16 - Optional eval and quote (758).mp4 11.85 MB
03-02 - Records (825).mp4 11.72 MB
04-04 - Polymorphic Types and Functions as Arguments (757).mp4 11.51 MB
10-04 - Binary Methods with Functional Decomposition (718).mp4 11.51 MB
04-18 - Mutable References (807).mp4 11.49 MB
09-07 - Class Definitions are Dynamic (742).mp4 11.48 MB
03-14 - Polymorphic and Equality Types (800).mp4 11.41 MB
07-12 - The Truth About Cons (746).mp4 11.32 MB
03-18 - Exceptions (747).mp4 11.29 MB
04-02 - Introduction to First-Class Functions (750).mp4 11.11 MB
04-20 - Standard-Library Documentation (700).mp4 10.99 MB
10-09 - Interfaces (733).mp4 10.95 MB
09-08 - Duck Typing (728).mp4 10.93 MB
02-17 - Benefits of No Mutation (724).mp4 10.85 MB
07-13 - mcons For Mutable Pairs (738).mp4 10.66 MB
02-13 - Let Expressions (751).mp4 10.64 MB
04-10 - Lexical Scope and Higher-Order Functions (737).mp4 10.63 MB
03-20 - Accumulators for Tail Recursion (739).mp4 10.57 MB
04-09 - Lexical Scope (722).mp4 10.55 MB
09-15 - Why Use Subclassing (716).mp4 10.48 MB
07-21 - Optional Tokenization Parenthesization and Scope (730).mp4 10.45 MB
02-08 - Functions Informally (737).mp4 10.36 MB
05-10 - Signatures and Hiding Things (702).mp4 10.25 MB
07-15 - Avoiding Unnecessary Computations (648).mp4 10.24 MB
09-12 - Procs (708).mp4 10.18 MB
02-16 - Booleans and Comparison Operations (700).mp4 10.01 MB
05-14 - An Equivalent Structure (638).mp4 9.93 MB
04-17 - Currying Wrapup (640).mp4 9.88 MB
04-12 - Closures and Recomputation (630).mp4 9.85 MB
03-13 - A Little Type Inference (628).mp4 9.79 MB
03-16 - Nested Patterns Precisely (635).mp4 9.59 MB
06-03 - Optional Are All PLs the Same (651).mp4 9.59 MB
08-07 - Implementing Closures (632).mp4 9.55 MB
10-06 - Optional Multimethods (636).mp4 9.45 MB
03-09 - Type Synonyms (619).mp4 9.39 MB
05-09 - Modules for Namespace Management (625).mp4 9.36 MB
02-07 - Shadowing (649).mp4 9.15 MB
08-06 - Implementing Variables and Environments (629).mp4 9.13 MB
09-11 - Using Blocks (624).mp4 9.12 MB
05-19 - Equivalence Versus Performance (600)-1.mp4 8.81 MB
02-19 - Pieces of a Language (602).mp4 8.79 MB
03-03 - Tuples as Syntactic Sugar (606).mp4 8.72 MB
05-04 - ML Type Inference (609).mp4 8.72 MB
06-01 - Optional Course-Motivation Introduction (556).mp4 8.17 MB
05-03 - What is Type Inference (537).mp4 7.93 MB
03-01 - Building Compound Types (534).mp4 7.88 MB
11-03 - Optional Meet the TAs (200).mp4 7.83 MB
03-21 - Perspective on Tail Recursion (533).mp4 7.78 MB
02-18 - Optional Java Mutation (444).mp4 7.2 MB
04-06 - Unnecessary Function Wrapping (505).mp4 7.02 MB
07-10 - Toplevel Bindings (454).mp4 6.96 MB
04-22 - Optional Closure Idioms Without Closures (448).mp4 6.92 MB
01-04 - SML Mode installation (352).mp4 6.45 MB
03-07 - Pattern Matching So Far (437).mp4 6.28 MB
05-13 - Signature Matching (403).mp4 6.08 MB
05-16 - Different Modules Define Different Types (332).mp4 5.56 MB
03-17 - Optional Function Patterns (340).mp4 5.42 MB
01-02 - Emacs installation (227).mp4 4.88 MB
01-03 - SML installation (147).mp4 3.37 MB
08-02 - Section Introduction (208).mp4 3.03 MB
05-02 - Section Introduction (145).mp4 2.33 MB
01-01 - Installation Introduction (122).mp4 1.99 MB
05-01 - Section 4 Reading Notes.mp4 704.85 KB
10-01 - Section 8 Reading Notes.mp4 704.85 KB
07-01 - Section 5 Reading Notes.mp4 704.85 KB
04-01 - Section 3 Reading Notes.mp4 704.85 KB
09-01 - Section 7 Reading Notes.mp4 704.85 KB
08-01 - Section 6 Reading Notes.mp4 704.85 KB
02-01 - Section 1 Reading Notes.mp4 704.85 KB
其他位置