Please log in to watch this conference skillscast.
This talk is beginner-friendly. You do not need to know dependent types or category theory, and even functors and monads will appear just as familiar and natural (psst!) graph transformations.
The ideas presented in the talk are implemented in the Alga library.
YOU MAY ALSO LIKE: