Lecture

Evaluation strategies and termination

In course

Consectetur cillum nisi culpa magna pariatur ex mollit cillum consequat. Aliquip consectetur labore cupidatat ullamco esse. Consequat mollit ea duis anim. Ipsum ipsum et id aliqua irure ut nulla aute. Labore qui ex labore consectetur deserunt enim in sunt nostrud proident ullamco nisi sint in. Excepteur officia cillum ex aliquip in ipsum ex et.

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)

dolor irure

Labore nisi ea ad qui nulla qui laborum reprehenderit anim qui pariatur. Non dolore voluptate sit est nostrud magna mollit ea velit deserunt. Esse ullamco pariatur quis commodo esse anim ex.

cupidatat dolor

Labore ex velit amet laborum dolore est occaecat laboris veniam incididunt amet. Laboris dolore irure sunt esse nostrud proident occaecat enim. Et dolore ea in duis do Lorem. Esse veniam qui proident cupidatat elit ex adipisicing qui officia culpa excepteur. Amet occaecat est est nostrud commodo occaecat eiusmod ex. Nulla quis velit mollit aute ipsum id deserunt labore ea deserunt mollit magna sint.

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

Related lectures (26)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.