SkillsCastAbout the SpeakerPhotos
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:
Andrey Mokhov's general interests are in applying abstract mathematics and functional programming to solving large-scale engineering problems.