Control structures: from “goto” to algebraic effects (1) - Xavier Leroy (2023-2024)
2,820 views
About :
Teaching 2023-2024: Control structures: from "goto" to algebraic effects Course of January 25, 2024: Birth of control structures: from "goto" to structured programming Professor: Xavier Leroy Chair of Software Sciences A computer program describes not only the elementary calculations to be performed on the input data, but also in what order and under what conditions to perform these calculations. To express this sequence of calculations, programming languages provide mechanisms called control structures. Since the "goto" branches of the first programming languages, many control structures have been implemented: loops, procedures and functions, exceptions, iterators, coroutines, exceptions, etc. After reminders of these classic structures and their historical context of appearance, the course will develop a more modern approach to control seen as an object that can be manipulated by the program, thus allowing the programmer to define his own control structures. Initiated in the last century by work on continuations and their control operators, this approach is undergoing a complete renewal with the theory of algebraic effects and its variation in the form of effects and effect managers defined by the programmer in languages such as OCaml 5. Find the audio and video recordings of the cycle and its presentation text: https://www.college-de-france.fr/fr/a... Find all of Professor Xavier Leroy's teachings: https://www.college-de-france.fr/chai... • Software Sciences - Xavier Leroy The Collège de France is a fundamental research institution in all areas of knowledge and a place for the dissemination of "knowledge in the making" open to all. Courses, seminars, and conferences are recorded and then made available to the public on the Collège de France website. Discover all the resources of the Collège de France: https://www.college-de-france.fr Follow us on: Facebook: / college.de.france Instagram: / collegedefrance X (ex-Twitter): / cdf1530 LinkedIn: / collègedefrance
1,205,468 views 5 days ago
1,205,468 views 5 days ago
287,572 views 2 days ago
505,582 views 5 days ago
133,808 views Streamed 2 days ago
Google AdSense
336 x 280
336 x 280
Up Next
Aqsa Lodhi Vlogs
254 views
1 month ago
1 month ago
القران الكريم مباشر Holy Quran live
21,330 views
19 hours ago
19 hours ago
القائد يافوز - Komutan Yavuz
667,447 views
5 months ago
5 months ago
q4ran
1,763,357 views
7 months ago
7 months ago
تلاوات ياسر الدوسري إمام الحرم المكي
38,330,065 views
3 years ago
3 years ago
Holy Quran Reader
2,956,923 views
5 months ago
5 months ago
q4ran
2,917,061 views
7 months ago
7 months ago
خط الأدرينالين - Adrenaline Line
512,171 views
2 months ago
2 months ago
شريف مصطفى Sherif Mostafa
414,773 views
Streamed 7 months ago
Streamed 7 months ago
تبارك القرآن - Holy Quran
10,290,722 views
5 months ago
5 months ago
Ultra Movie Parlour
2,593,669 views
3 months ago
3 months ago
सदाबहार Movies
955,848 views
3 months ago
3 months ago
Zee Movies Hindi
23,183,366 views
4 months ago
4 months ago
Shemaroo Movies
26,299,202 views
5 months ago
5 months ago
Pen Movies
10,814,809 views
5 years ago
5 years ago
Hindi Movies
797,943 views
5 months ago
5 months ago
PlayMovies
5,678,479 views
1 year ago
1 year ago
Bollywood Premium
25,003,317 views
6 months ago
6 months ago
Goldmines Bollywood
35,331,008 views
5 years ago
5 years ago
Filmy Duniya
2,187,277 views
3 months ago
3 months ago
Bolly Kick
1,287,507 views
10 days ago
10 days ago
ZEE CINEMA
13,406,255 views
6 months ago
6 months ago
Shemaroo Movies
14,667,965 views
3 years ago
3 years ago
AD-WISE MEDIA ACTION MOVIEPLEX
11,179,821 views
2 weeks ago
2 weeks ago
Mzaalo Bollywood Arabia
1,110,002 views
2 years ago
2 years ago
Google AdSense
336 x 280
336 x 280