• 投稿

华盛顿大学 Programming Languages

2.7万
2
2018-02-21 03:28:16
645
221
3098
119
http://courses.cs.washington.edu/courses/cse341/ 华盛顿大学cse341编程语言课程：介绍了ML、Racket、Ruby三门语言，也曾在Coursera上开过这个课程。
编程
哞叶嘛也吽 发消息
视频选集
（49/140）
3_expressions_and_variables
14:32
4_rules_for_expressions
09:14
5_REPL_and_errors
12:11
6_shadowing
06:49
7_functions_informally
07:38
8_functions_formally
08:57
9_tuples
09:16
10_lists
10:35
11_list_functions
11:22
12_let_expressions
07:51
13_nested_functions
07:38
14_let_efficiency
10:10
15_options
09:10
16_booleans
07:01
17_no_mutation
07:24
18_java_mutation
04:45
19_language_pieces
06:02
20_build_new_types
05:34
21_records
08:25
22_tuples_as_syntactic_sugar
06:06
23_datatype_bindings
08:40
24_case_expressions
10:50
25_useful_datatypes
11:22
26_precise_pattern_matching_sofar
04:37
27_type_synonyms
06:19
28_another_expression_example
08:02
29_list_and_option_datatypes
09:11
30_polymorphic_datatypes
08:12
31_eachof_pattern_matching
14:31
32_type_inference
06:29
33_polymorphic_and_equality_types
08:01
34_nested_patterns
10:32
35_more_nested_patterns
10:44
36_nested_patterns_precisely
06:36
37_function_patterns
03:40
38_exceptions
07:47
39_tail_recursion
09:45
40_accumulators
07:40
41_tail_recursion_perspective
05:33
42_functions_intro
07:50
43_functions_as_arguments
08:40
44_functions_and_types
07:57
45_anonymous_functions
09:17
46_unnecessary_function_wrapping
05:05
47_map_and_filter
08:57
48_generalizing_prior_topics
09:02
49_lexical_scope
07:22
50_lexical_scope_and_functions
07:37
51_why_lexical_scope
11:45
52_closures_and_recomputation
06:30
53_fold_and_more_closures
11:29
54_combining_functions
09:19
55_currying
10:33
56_partial_application
09:41
57_currying_wrapup
06:40
58_mutable_references
08:08
59_callbacks
08:25
60_library_docs
07:01
61_adts_with_closures
11:17
62_without_closures
04:49
63_java_without_closures
12:08
64_c_without_closures
10:57
65_section_introduction
01:46
66_what_is_type_inference
05:38
67_ml_type_inference
06:10
68_type_inference_examples
10:27
69_polymorphic_examples
10:53
70_other_inference
09:53
71_mutual_recursion
09:45
72_namespace_mgmt
06:26
73_signatures
07:02
74_module_example
11:06
75_signatures_for_example
11:03
76_signature_matching
04:03
77_equivalent_structure
06:39
78_another_equivalent_structure
09:02
79_modules_different_types
03:33
80_function_equivalence
08:42
81_standard_equivalences
10:02
82_equivalence_performance
06:01
83_racket_intro
08:23
84_racket_basics
10:15
85_racket_lists
09:07
86_syntax_and_parens
08:36
87_parens_matter
10:51
88_dynamic_typing
09:36
89_cond
08:52
90_local_bindings
13:12
91_toplevel_bindings
04:55
92_setbang
08:28
93_truth_about_cons
07:47
94_mcons
07:39
95_thunks
10:13
96_avoid_computations
06:49
97_delay_and_force
09:18
98_using_streams
10:10
99_defining_streams
10:50
100_memoization
10:17
100_memoization
10:17
101_macros_intro
08:53
102_three_issues
07:31
103_define_syntax
09:26
104_hygiene
10:52
105_macro_examples
09:12
106_section_topics
02:09
107_datatypes_without_structs
13:22
108_datatypes_with_structs
09:34
109_why_structs
08:13
110_implement_a_language
10:08
111_interpreter_assumptions
13:47
112_implementing_variables
06:30
113_implementing_closures
06:33
114_closures_efficient
09:03
115_macros_via_functions
09:16
116_ml_vs_racket
08:54
117_what_is_static_checking
10:01
118_soundness_completeness
09:47
119_weak_typing
09:40
120_static_vs_dynamic_one
09:41
121_static_vs_dynamic_two
13:48
122_eval
07:59
123_ruby_intro
10:09
124_classes_objects
12:37
125_object_state
13:15
126_visibility
08:40
127_example
12:20
128_all_objects
08:15
129_classes_dynamic
07:42
130_duck_typing
07:28
131_arrays
11:13
132_blocks
11:35
133_using_blocks
06:25
134_procs
07:09
135_hashes_ranges
08:59
136_subclassing
10:11
137_why_subclassing
07:17
138_overriding
10:57
139_method_lookup
11:31
140_dynamic_dispatch_vs_closures
09:38
141_manual_dynamic_dispatch
15:57

爆肝30天！我做了一款《跳跳史莱姆》游戏！！
点击体验>>

华盛顿大学软硬件接口 The Hardware/Software Interface
哞叶嘛也吽
1.1万 23

卡内基梅隆大学 Introduction to Computer Systems CMU 15-213 2015 Spring
哞叶嘛也吽
1.0万 12

卡内基梅隆大学 Introduction to Computer Systems CMU 15-213 Fall
哞叶嘛也吽
6.6万 238

英语连读教程whaddaya say
哞叶嘛也吽
3.6万 8

斯坦福大学抽象编程CS106B
哞叶嘛也吽
3608 1

Computer Security 2014
哞叶嘛也吽
664 1

为啥现在的黑客都快变成濒危物种了？
老蒋攻防
4762 48

Introduction to Unit Testing in Python with Pytest PyCon
哞叶嘛也吽
683 1

程序员的疑惑
程序员牛牛学长
59.1万 138

斯坦福大学:AI codeing(现代软件开发)
静静带你看世界
848 0

Docker Compose in 12 Minutes
哞叶嘛也吽
279 0

Agent开发入行学习路线！
黑马尼古拉斯阿玮
1.9万 0

Essential data science skills for every programmer, from data to model
哞叶嘛也吽
125 0

传奇自动购买物品
松昭教学
1296 0

Deploy Docker Containers with Docker Cloud
哞叶嘛也吽
70 0

Brett Slatkin - Refactoring Python_ Why and how to restructure your code - PyCon
哞叶嘛也吽
86 0

[blog] Qwen3.7-Max 智能体的前沿
isomoes
1189 0

IIC如何驱动OLED显示屏
嵌入式小学妹の碎碎念
1152 2

阿里C++一面：fork与文件描述符行为【码农Mark】
码农Mark
1907 0

【整整600集】清华大学196小时讲完的Python教程（数据分析）零基础入门到精通全套教程，全程干货无废话，这还学不会，我退出IT界！数据挖掘-数据可视化
IT界扛霸子
7261 8
展开
Twinkle-twinkle！新的演出马上开始！
客服
顶部
赛事库 课堂 2021拜年纪