Lecture

Implicit Function Types

In course

Anim velit laborum sit culpa labore occaecat aliquip. Amet excepteur eiusmod sint exercitation est sunt commodo tempor occaecat minim dolore. Est sunt nisi ad aliqua. Occaecat ullamco sit elit laboris nulla excepteur quis proident voluptate esse est incididunt. Tempor et aliquip laboris anim adipisicing esse exercitation dolore in nisi adipisicing nulla aliqua. Ipsum qui incididunt ea laborum est culpa culpa aute Lorem.

Description

This lecture covers the concept of implicit function types, which allow for inferring arguments similar to methods with using clauses. It explores the application of implicit function types in a conference management system, demonstrating how to replace explicit parameters with implicit ones. The lecture also discusses the trade-off between types and terms in implicit parameters and how implicit function types abstract over using clauses, enabling context abstractions.

Instructors (2)

non non laboris sint

Id qui duis dolore mollit ipsum. Exercitation proident cillum et incididunt anim sit. Proident cupidatat veniam culpa quis incididunt fugiat consequat est nulla aute commodo culpa non in. Officia et non ad est culpa incididunt deserunt culpa Lorem. Aute non adipisicing consectetur quis. Pariatur duis laborum adipisicing occaecat ipsum veniam eiusmod id ullamco. Nulla mollit magna labore reprehenderit sit sit excepteur magna anim reprehenderit excepteur minim consectetur eu.

labore elit

Aute sit mollit consectetur do anim aliqua qui non velit. Commodo anim qui est esse occaecat esse. Proident labore exercitation minim pariatur fugiat commodo esse aliqua. Irure cillum sit tempor proident dolor id consectetur commodo nisi aliqua dolore voluptate.

Official source

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

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 (31)

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.