Hi everyone! We're going to be starting *two* miniKanren hangout series instead of just one. The intent is to provide a way for those new to miniKanren, or to functional programming, to learn the fundamentals, while also providing a venue for advanced miniKanren exploration and hackery.
The hangouts will be held every Saturday (beginning) and Sunday (advanced), beginning this weekend. I'd like to record the hangouts and put them on YouTube, as we have in the past. In the past we also had an unrecorded beginning and ending segment of each hangout, for anyone who would prefer to talk without being recorded. Here are details on the hangouts, which will start *this weekend*. I'll send out a reminder before hand. ----- Intro to Scheme/miniKanren/interpreters Saturdays, 3pm Eastern time/noon Pacific time US/19:00 GMT This is the "intro" hangout, designed for people new to Scheme, miniKanren, interpreters, etc. The idea is to introduce all the fundamental concepts needed to understand relational interpreters, relational type inferencers, and other advanced miniKanren programs. Topics will include: intro to Scheme recursion list processing lexical scope, shadowing, environments interpreters continuations and continuation passing style Scheme macros intro to miniKanren simple miniKanren relations microKanren and miniKanren implementation relational interpreters relational type inferencers ----- ----- Advanced miniKanren/Barliman: Sundays, 3pm Eastern time/noon Pacific time US/19:00 GMT This is the more advanced hangout series, for people familiar with logic programming, functional programming, interpreters, etc., or who want to know the details of how Barliman works, miniKanren optimizations work, etc. The advanced hangouts will be much less strucutred, and will be driven by whatever people want to talk about. ----- -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
