• Learning miniKanren (The Reasoned Schemer)

    From Paul Tarvydas@21:1/5 to All on Sun Feb 19 03:19:13 2023
    The Computer Science Cabal reading group will begin reading through "The Reasoned Schemer".

    Essentially, this book teaches Declarative Programming in the form of Relational Programming, using miniKanren.

    Relational Programming is very much different from the usual forms of programming, and, IMO, worth knowing in order to expand your horizons.

    The group meets once a week on Zoom and chit-chats on Slack in the interim.

    The next Zoom meeting is on Thursday Feb. 23, 7pm EST. Contact me for an invite.

    [I’ve also posted this on HN…]

    pt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)