From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Blanka Herono Newsgroups: gmane.lisp.guile.user Subject: Re: Transient environment with standard functions Date: Sun, 3 Jul 2016 21:20:05 +0000 Message-ID: <57798185.5070302@gmail.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1467609042 22832 80.91.229.3 (4 Jul 2016 05:10:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 4 Jul 2016 05:10:42 +0000 (UTC) To: amirouche@hypermove.net, guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Mon Jul 04 07:10:35 2016 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bJw9P-0002It-5u for guile-user@m.gmane.org; Mon, 04 Jul 2016 07:10:31 +0200 Original-Received: from localhost ([::1]:45223 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bJw9O-0007cF-C6 for guile-user@m.gmane.org; Mon, 04 Jul 2016 01:10:30 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56880) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bJooJ-0000JE-5N for guile-user@gnu.org; Sun, 03 Jul 2016 17:20:16 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bJooD-0002RV-59 for guile-user@gnu.org; Sun, 03 Jul 2016 17:20:14 -0400 Original-Received: from mail-oi0-x242.google.com ([2607:f8b0:4003:c06::242]:33807) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bJooC-0002Px-Vx for guile-user@gnu.org; Sun, 03 Jul 2016 17:20:09 -0400 Original-Received: by mail-oi0-x242.google.com with SMTP id s17so20660593oih.1 for ; Sun, 03 Jul 2016 14:20:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:references:subject:from:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=OZOe58jEuIsAn2ylgxkh3l0AMkHNRLofR3YGoY8301w=; b=mV2xZ06QZZTSIsdIOs0Ukx2ogTTFIIrZtSyk4ZTf6CVz35422JeGNYriCl/RYiaIoy 6D6x8Q5pmGnwejGN7uDkDShvHMoSfRcwJW4+VJi9uWTXRQu6Az4cdg/g+uTaWFkUgoqy r8pY5Q238St+bWLvlDVt3KX3ahb1O2io8NHomrLXQjQgiIAqc6U8Gdys3siiH68R7ExR ypAHT8t5Tnb2FHAdzblesYPl9BG+CWHm2WiF7lRMZ5tExcEZj6+OJVFY5F4wX8WK1Sat Mu3UMWrCCs3VMzrcqEb2g4Mef3R3gI6Uaw1VdPV/q5QEzqpw1ZMtBnuS/OB5XXMLm3RV RBrw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:references:subject:from:message-id:date :user-agent:mime-version:content-transfer-encoding; bh=OZOe58jEuIsAn2ylgxkh3l0AMkHNRLofR3YGoY8301w=; b=K8UEQstKrmlTz3sy4qUgyR4t7sT8HqgKmXstoKI7eZuotCQ4rpwvpEBcLDDCvOWW7T R7d3H0gTpKXtR/hJ1D/qnkmRKXqPs9mHVxjdoYS7x5qoQKXJNrFZ4wkD4F9y0CWHn6y3 8KAV9EA8emmlXpBN7arm6ZyNXiz+/D4r6zfOhlgyohMl3B2GypQZz9pZr1iVMDNyhEus 8tlgj8fNxgy2Egno7QThG6RI77Y79N4RANNfkgUSKB3Qxrmag6HmNQsLaJlnc5qz2XFZ +QpN6TonXE2oC8SHMWeI+/aXpBYkfd/jetnqyPyJ6VoI69pCS/jd4t2Ehf3XqhOw+Ktn GCnA== X-Gm-Message-State: ALyK8tKMY50z8i2EL3SMGa/heX7C5q9s5qs40r2dd0cwTEjvuMyRvKfllfZsfNtBIkeLnA== X-Received: by 10.157.56.135 with SMTP id p7mr5508580otc.160.1467580806929; Sun, 03 Jul 2016 14:20:06 -0700 (PDT) Original-Received: from [192.168.1.2] (ip72-202-129-121.ks.ks.cox.net. [72.202.129.121]) by smtp.gmail.com with ESMTPSA id q79sm5495870ota.34.2016.07.03.14.20.06 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 03 Jul 2016 14:20:06 -0700 (PDT) Original-References: User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:4003:c06::242 X-Mailman-Approved-At: Mon, 04 Jul 2016 01:10:00 -0400 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:12721 Archived-At: > Why do you think Sussman et al's. propagator don't solve OP problem? I don't think Basa was saying this, exactly. I think Basa meant using something like Matt Keeter's project: https://www.mattkeeter.com/projects/ao/ https://www.mattkeeter.com/projects/ao/screencast.html [video] (which is a functional CAD modeling system using C++/Guile) as a backend (graphical kernel) for a propagator network which solves engineering constraints. The reason Basa said it was a ways off is that the propagator code is in MIT Scheme. That would mean either the code for the propagator would have to be ported or the code for Ao would be. Ao itself is a nice project done in Guile, like OpenSCAD using Guile as a language. Another valid issue Basa revisited is that there would probably need to be sandboxing or a declarative language layer to use Ao for security with shared models. This issue was discussed a while back on this mailing list.