Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

The Intellectual Ascent to Agda

CppNow via YouTube

Overview

Embark on a journey through the often-overlooked realm of denotational semantics in this CppNow conference talk. Explore the powerful concept of denotative design, a top-down methodology that produces simple, composable, and incredibly potent libraries, particularly well-suited for C++. Learn how to apply denotative design principles by deriving C++ programs from domain-specific mathematical entities using the syntax of Agda, a pure functional and dependently-typed language. Discover how this approach can elevate your programming skills and create libraries that are in a league of their own compared to common alternatives. Gain insights into the mathematics of syntax and meaning, and understand how this branch of computer science can revolutionize your approach to software design and implementation.

Syllabus

David Sankel: The Intellectual Ascent to Agda

Taught by

CppNow

Reviews

Start your review of The Intellectual Ascent to Agda

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.