Parsing command line options with category theory and async
Details
Agenda
• Presentation: "Parsing command line options with category theory and async" by Michael Baikov
The following topics will be covered:
- Traditional approach to parsing command line options results in code that otherwise would be rejected and a category theory explanation with product and sum types provides an explanation as to why.
- Discuss an alternative approach - transforming and combining parsers, and the problems of this approach.
- A quick introduction to async and using it as a solution for this problem
• Round the room--something to share?
The purpose of this meeting is to present a technical topic people can talk about and then provide an opportunity for people to share. The meeting is scheduled for an hour, but may end early.