Hi everyone! Here is the link to today's Intro to miniKanren hangout, starting now!
https://hangouts.google.com/hangouts/_/tbweefcmb5fy5gdvabmsgm3xaee Cheers, --Will On Fri, Mar 24, 2017 at 8:10 PM, William Byrd <[email protected]> wrote: > 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.
