From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Matt Wette Newsgroups: gmane.lisp.guile.user Subject: Re: Scheme books [was: lat? and atom? not in guile?] Date: Thu, 21 Jun 2018 07:01:36 -0700 Message-ID: <6fd0d225-03f3-494c-d697-f3d1eed3c1be@gmail.com> References: <877emuyfcp.fsf@fastmail.com> <877emtplr3.fsf@fastmail.com> <9d52eed4-627b-2eca-7917-db88992521f9@gmail.com> <878t78s17v.fsf@fastmail.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1529589786 8795 195.159.176.226 (21 Jun 2018 14:03:06 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 21 Jun 2018 14:03:06 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Thu Jun 21 16:03:02 2018 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fW0Au-00028c-Ib for guile-user@m.gmane.org; Thu, 21 Jun 2018 16:03:00 +0200 Original-Received: from localhost ([::1]:55694 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fW0D1-0004AC-PI for guile-user@m.gmane.org; Thu, 21 Jun 2018 10:05:11 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50847) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fW09f-0002Su-Gb for guile-user@gnu.org; Thu, 21 Jun 2018 10:01:49 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fW09c-0003cS-Gd for guile-user@gnu.org; Thu, 21 Jun 2018 10:01:43 -0400 Original-Received: from mail-pg0-x230.google.com ([2607:f8b0:400e:c05::230]:44677) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fW09c-0003c4-Ah for guile-user@gnu.org; Thu, 21 Jun 2018 10:01:40 -0400 Original-Received: by mail-pg0-x230.google.com with SMTP id g26-v6so1471718pgn.11 for ; Thu, 21 Jun 2018 07:01:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding:content-language; bh=jVDl2WpdmY0BM+dOmotuGI5LvrKn4gQN9xNtklVXjrw=; b=YV7+a/jDPvZy3MNTdMn71W6ZJ4HnsQsS0XK0e4IEq9i76qoHspHzXzP81tGvQr8EOT aYLoc9fLWBp7lfzY0hNrAk0s1TrmcgAADJtZ25GTwnsiOOSdHwu7wFtUafNPDUWntpeZ nol3o/oXpXlKgCpbSazaGyzMZWFfoY10CXZLD0a46wVmPp3qOoW1Zd7prPrYDVkckX3c 7u5jCjcNtlV1RmEHY6LXHOUO6a6Wj8dOexePHwsOTz5kWA5w244YM1h/4uTFuSux8zet 2H9PMX/bcF6ObvpSsTodim7DrTH9UFYXk+o1/Jze0sAGUaBq5vW0ZKZ2JqwphF3ZfnlS KILQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding :content-language; bh=jVDl2WpdmY0BM+dOmotuGI5LvrKn4gQN9xNtklVXjrw=; b=G50VVN7S+zH/iTCq29YWxjvtOvTdj2gfVxrgtSh+V+jlBlOql+dvBWUWmlp8W2WLRA /42pj26ySHkcuo75PNeSqQaN/7NyG3ZWJ6bAgH939D2KquPAWCLhgH8sS4nzXKJ3y/3Y qEf59PHWN5fNUg2ZZnDObNAsI/WNAyIMjy7uRPLQF+wCT0q6d4Tmuf8tO7oKe7hmcZJB nyZmMFErqwK/SV4CxbPUOb8+EKAfGWpLCb1fPOBuQalaCG/buHqksr3+RSKi/E48FwWF Vn4Yi/35CihZ0pca5cCUo9VNIfKycZvWfKoBYPhvsKXYl2dCN4FwZfC1J1PV6X+nAaYb uqTQ== X-Gm-Message-State: APt69E1Y2GAUj/dpDEraHHtGMPJ+UF9j0RDZ4/2/hC4agEstyY+LCNkw mG/XXb4losDCFOclkviKQgTE8njB X-Google-Smtp-Source: ADUXVKKO1UdXbT+7ebiwStlJOGC5Cc2Hiuu4gmyRAmM1pM0B6P4xw26bgOO2CnHaN82d3O68RspjxA== X-Received: by 2002:a65:410d:: with SMTP id w13-v6mr1695301pgp.414.1529589698102; Thu, 21 Jun 2018 07:01:38 -0700 (PDT) Original-Received: from [192.168.2.183] (216-165-229-229.championbroadband.com. [216.165.229.229]) by smtp.gmail.com with ESMTPSA id 29-v6sm12968074pfp.24.2018.06.21.07.01.37 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 21 Jun 2018 07:01:37 -0700 (PDT) In-Reply-To: <878t78s17v.fsf@fastmail.com> Content-Language: en-US X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:400e:c05::230 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.org gmane.lisp.guile.user:14642 Archived-At: On 06/21/2018 06:44 AM, Joshua Branson wrote: > Matt Wette writes: > > And on this topic, I'm currently reading 'The Reasoned Schemer,' written > in the same style.   The style gets the stuff into my head w/o resorting to > trying out problems on the computer (yet). > Hmmm. I've heard about the seasoned schemer, but not the reasoned one. > I also have downloaded Structure and Interpretation of Computer > Programs. I need to actually spend some time going through it. > > I've just got several programming projects that I want to do, and I need > to remind myself that I probably can't learn it all at once. :) The Reasoned Schemer is about miniKanren, a Scheme library thatuses unification to generate a system of relations (versusfunctions).For example, while (append '(a b) '(c d)) => '(a b c d), miniKanren can solve "find x such that (append '(a b) x) yields '(a b c d)" :   scheme@(guile-user)> (run* (x) (appendo '(a b) x '(a b c d)))   $2 = ((c d)) where appendo is defined as: (define appendo   (lambda (l s ls)     (conde       ((== '() l) (== s ls))       ((fresh (a d res)      (== `(,a . ,d) l)      (== `(,a . ,res) ls)      (appendo d s res)))))) check https://dl.acm.org/citation.cfm?id=3110252 Matt