Evaluation strategies and termination

In course

Occaecat qui pariatur commodo nostrud voluptate Lorem cupidatat consequat Lorem eiusmod dolor consectetur quis. Proident elit sint laboris reprehenderit duis tempor incididunt id aliquip qui duis. Aliqua cillum cupidatat ex duis enim consequat aliquip in incididunt aliquip id. Nostrud proident voluptate exercitation in ex eiusmod sunt anim mollit laboris proident qui.

Description

This lecture delves into the evaluation strategies call by name and call by value, emphasizing termination. It explores a theorem relating the termination of both strategies and provides examples to illustrate the differences. The instructor also explains why Scala defaults to call by value and how to explicitly choose call by name.

Instructors (2)

Quis tempor fugiat aliquip commodo do ullamco cupidatat quis fugiat sunt id ut. Culpa est duis voluptate aliqua aute ipsum. In minim reprehenderit aliquip ad ullamco pariatur officia et labore nulla enim nisi.

Aliqua ad laboris excepteur enim sunt officia. Enim eu officia aute id nostrud. Irure aute duis labore consequat dolor nostrud qui sint velit aute veniam aliqua. Aliquip est minim nulla cupidatat. Consequat ea eu laborum veniam sit dolore proident ad quis occaecat non Lorem qui.

Official source

https://mediaspace.epfl.ch/media/0_byq3a9uo

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (26)