| 1. Intro; Caml; functional programming.mp4 | 323.28 MB | ||
| 10. Atomicity; Memory Management.mp4 | 282.33 MB | ||
| 2. Functional programming, syntax,semantics via interpretation or translation.mp4 | 302.55 MB | ||
| 3. Semantics via translation, equivalence & properties, lambda introduction.mp4 | 290.28 MB | ||
| 4. Untyped lambda-calculus, inference rules, environments.mp4 | 307.67 MB | ||
| 5. Continuations, types.mp4 | 303.66 MB | ||
| 6.Types, Subtyping.mp4 | 303.96 MB | ||
| 7. Coercions, Type Variables, Type Inference.mp4 | 310.97 MB | ||
| 8. Types Wrap-up; Object-Oriented Programming.mp4 | 283.18 MB | ||
| 9. Fancier OOP; Concurrency.mp4 | 305.85 MB | ||
| code | |||
| lec1code.tar | 20 KB | ||
| lec2code.tar | 20 KB | ||
| lec3code.tar | 10 KB | ||
| lec4and5.ml | 4.22 KB | ||
| lec4imp.pdf | 60.16 KB | ||
| lec7.ml | 1.79 KB | ||
| lec9.ml | 2.07 KB | ||
| slides | |||
| class1.pdf | 196.27 KB | ||
| class10.pdf | 211.03 KB | ||
| class2.pdf | 217.09 KB | ||
| class3.pdf | 183.88 KB | ||
| class4.pdf | 237.52 KB | ||
| class5.pdf | 258.08 KB | ||
| class6.pdf | 238.08 KB | ||
| class7.pdf | 219.94 KB | ||
| class8.pdf | 208.95 KB | ||
| class9.pdf | 184.75 KB |
Обучающие видео » Компьютерные видеоуроки и обучающие интерактивные DVD » Программирование (видеоуроки)
Programming Languages, Ocaml
Год выпуска: 2006
Производитель: University of Washington
Сайт производителя: http://www.cs.washington.edu/education/courses/csep505/06sp/
Автор: Dan Grossman
Продолжительность: 26.5 часов
Тип раздаваемого материала: Видеоклипы
Язык: Английский
Описание: Goals: Successful course participants will:
• Master universal programming-language concepts (including datatypes, functions, continuations, threads,
macros, types, objects, and classes) such that they can recognize them in strange guises.
• Learn to evaluate the power, elegance, and definition of programming languages and their constructs
• Attain reasonable proficiency programming in a functional style
• Find relevant literature somewhat more approachable.
Audience: This course is for software professionals who have substantial programming experience. No background in functional programming or programming-language theory is assumed, though we will “move fast.” Experience with imperative and object-oriented programming may be assumed informally and occasionally.
[spoiler="Содержание"]
1. Intro; Caml; functional programming
2. Functional programming, syntax,semantics via interpretation or translation
3. Semantics via translation, equivalence & properties, lambda introduction
4. Untyped lambda-calculus, inference rules, environments
5. Continuations, types
6. Types, Subtyping
7. Coercions, Type Variables, Type Inference
8. Types Wrap-up; Object-Oriented Programming
9. Fancier OOP; Concurrency
10. Atomicity; Memory Management
[/spoiler]
Файлы примеров: отсутствуют
Формат видео: MP4
Видео: mpeg4, yuv420p, 320x240 [PAR 1:1 DAR 4:3], 199 kb/s, 29.97 fps, 30 tbr, 30k tbn, 30 tbc
Аудио: aac, 32000 Hz, stereo, s16, 64 kb/s
[spoiler="Скриншоты"]![]()
![]()
![]()
[/spoiler]
Доп. информация: Насколько я понял, курс не про окамл как таковой, но языки программирования с примерами на окамл.
| torrent name | size | uploader | age | seed | leech |
|---|---|---|---|---|---|
|
Udemy - Learn Two (2) Programming Languages In One Pro Bootcamp 2023 Posted by
freecoursewb in Other
|
3.9 GB | freecoursewb | 3 years | 0 | 0 |
|
Udemy - Learn TWO (2) Programming Languages in ONE hands-on Bootcamp Posted by
freecoursewb in Other
|
3.9 GB | freecoursewb | 3 years | 0 | 0 |
|
[ TutSala ] Udemy - Website Development without Programming Languages (Ex. HTML) Posted by
freecoursewb in Other
|
894.3 MB | freecoursewb | 5 years | 0 | 0 |
|
[ CourseBoat ] Udemy - Intermediate to advanced cloud programming languages Posted by
freecoursewb in Other
|
332.6 MB | freecoursewb | 5 years | 0 | 0 |
|
Lynda - Visual Studio Essential Training - 04 Surveying the Programming Languages Posted by
aymen174 in Other
|
366 MB | aymen174 | 9 years | 0 | 1 |
All Comments