Teaching New Tricks to Old Programs Part 2
Offered By: GOTO Conferences via YouTube
Course Description
Overview
Explore advanced functional programming techniques in this conference talk from YOW! 2017. Delve into alternative approaches to domain-specific embedded languages (DSELs) for operations like root-finding, optimization, and differentiation. Learn how to give new interpretations to existing functional programs using a GHC plugin, translating code to a more generalizable form. Discover implementations for hardware circuits, automatic differentiation, incremental evaluation, and interval analysis. Follow along as the speaker demonstrates computation graphs, Haskell-to-hardware conversion, and constraint solving. Gain insights into composing interpretations and applying these concepts to various examples, enhancing your understanding of denotational design and software architecture in Haskell.
Syllabus
Introduction
Changing interpretations
Computation graphs - example
Computation graphs- implementation sketch
Haskell to hardware
Example-graphics
Automatic differentiation
Composing interpretations Graph and D
Interval analysis example
Constraint solving with John Wiegley
Other examples
Taught by
GOTO Conferences
Related Courses
Addressing Algorithmic BiasGOTO Conferences via YouTube Empowering Consumers - Evolution of Software in the Future
GOTO Conferences via YouTube Why Static Typing Came Back
GOTO Conferences via YouTube Higher Kinded Types in a Lower Kinded Language - Functional Programming in Kotlin
GOTO Conferences via YouTube It's Not Hard to Test Smart - Delivering Customer Value Faster
GOTO Conferences via YouTube