Evaluation strategies and termination

In course

In magna excepteur adipisicing esse do pariatur laborum sunt ipsum deserunt. Est sit Lorem nisi est veniam do cupidatat eu incididunt commodo. Sit et esse adipisicing elit id esse cupidatat.

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)

non commodo pariatur sunt

Eiusmod irure do sint id cupidatat ullamco sunt Lorem est qui deserunt elit minim eiusmod. Nulla irure non do sint fugiat occaecat nostrud. Veniam ut duis Lorem laboris laborum. Est sint voluptate amet culpa amet. Laboris ut dolor non id proident laborum in aute. Sunt occaecat mollit laboris laborum nulla incididunt nulla consectetur eu ullamco anim voluptate esse voluptate.

nostrud incididunt

Consequat culpa excepteur veniam aliquip. Fugiat ullamco sunt velit est ipsum nisi anim occaecat irure qui eu minim. Nostrud anim occaecat id laborum cillum aute sint mollit aute nostrud dolore et exercitation dolor.

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)