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
Pattern-Oriented Software Architectures: Programming Mobile Services for Android Handheld SystemsVanderbilt University via Coursera The Caltech-JPL Summer School on Big Data Analytics
California Institute of Technology via Coursera Automated Visual Software Analytics
openHPI Software Architecture & Design
Georgia Institute of Technology via Udacity Software Architecture for the Internet of Things
EIT Digital via Coursera