Concept

Type class

Graph Chat

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.

Related lectures (32)

Polymorphism and Proofs

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Solving Type Constraints

Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.

Context Passing: Execution Contexts

Covers context passing vs type classes, execution contexts, tamper-proofing, and the importance of specificity in Scala.

Type-Directed Programming: Using Clauses

Covers using clauses, context bounds, given instances, and implicit parameter resolution in Scala.

Immutability: Practice of Object-Oriented Programming

Explores the advantages and disadvantages of immutable classes in object-oriented programming.

Polymorphism: Cons-Lists

Covers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.

Functions and Pattern Matching

Explores reactive programming principles, focusing on functions and pattern matching in Scala, including JSON representation and partial functions.

Polymorphic Types in Amy

Covers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.

Implicit Function Types

Explores implicit function types and their application in a conference management system, discussing the trade-off between types and terms in implicit parameters.

Object-Oriented Programming in C++: Destructors

Covers the concept of destructors in C++, their syntax, and resource management.

Object Copying and Encapsulation

Explores object copying, encapsulation, and the importance of defensive copying in Java.

Object-Oriented Programming in C++

Covers the use of static class attributes and methods in C++ to avoid global variables and emphasizes best practices for static method implementation.

Encoder and Decoder for Prefix-Free Codes

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Subtyping and Polymorphism

Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.

Types and Inductive Relations

Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.

Functions: Python Basics

Covers the basics of functions in Python, including their definition, purpose, and usage.

Generics in Java

Covers the concept of generics in Java, focusing on implementation and usage.

Variance and Combinatorial Search

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Pointers: Strings, Functions, Casting

Covers pointers to strings, functions, and casting in C programming.

Custom operators

Explores the implementation of custom operators in a programming language, including syntax examples, precedence levels, parsing stages, and solutions like function overloading.