Just a reminder that the first beginning and advanced miniKanren hangouts will be held this weekend. I'll post the links to the mailing lists.
See you soon! --Will On Tue, Mar 21, 2017 at 10:22 AM, William Byrd <[email protected]> wrote: > 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.
