Hop - A Language to Design Function-Overload-Sets

This talk presents a template-library DSL for creating C++ function overload sets, including variadic functions with trailing or non-trailing default arguments. It also covers overload resolution, template argument deduction, and type checking.

Syllabus

Intro
Outline
Blitz
C
Homogeneous Function Parameters
Overload Resolution Implicit Conversion
Concepts
Steps
Interface
Overload Resolution
Enable Function
Bible Types
Repeatable Typelists
Single Function
Test Function
Variant
Demo
FunctionParameter Building Blocks
Type Generators
Repetition
Sequencing and Alternatives
defaulted parameters
forwarding parameters
template argument deduction
adapt existing functions
check types
examples
local type deduction
small type forwarding
recap
how to do it