Programming Languages, Ocaml [2006, ENG] torrent

Обучающие видео » Компьютерные видеоуроки и обучающие интерактивные 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]
Доп. информация: Насколько я понял, курс не про окамл как таковой, но языки программирования с примерами на окамл.