<div dir="ltr">Nice parry!  What may be straightforward to you may not be so obvious to me.  But I'll take a look.<div><br></div><div>I'm deep into a project using Racket for weakest precondition analysis.  Every time I'm debugging it seems like I have to write another special-purpose accessor, or export some existing accessor up through multiple levels in order to get at the data I need at the top-level.  I remember how easy it was with the Lisp Machine to navigate through data no matter what it was.</div><div><br></div><div>The Lisp Machine offered total transparency, with no real way to protect data, to the benefit of the developer.  Racket offers total opacity, to the benefit of code security.  I'm hoping there's a middle ground, where transparency can be turned on and off.</div><div><br></div><div>Byron</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 21, 2015 at 12:20 PM, Matthias Felleisen <span dir="ltr"><<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Sounds like a straightforward change to the existing macros. Why don't you create a fork and experiment?<br>
<div><div class="h5"><br>
<br>
On Jan 21, 2015, at 1:15 PM, Byron Davies <<a href="mailto:byrondavies@starshine.us">byrondavies@starshine.us</a>> wrote:<br>
<br>
> Or, more conservatively, every struct and object in a given package, file, or set of files.<br>
><br>
> On Wed, Jan 21, 2015 at 11:03 AM, Byron Davies <<a href="mailto:byrondavies@starshine.us">byrondavies@starshine.us</a>> wrote:<br>
> Would it be easy to create a compiler flag that would make every struct and object transparent?  This would then make it easy to create a Lisp Machine-style Inspector that would be able to roam through every data structure during debugging.<br>
><br>
> Byron<br>
><br>
><br>
</div></div>> _________________________<br>
>  Racket Developers list:<br>
>  <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
<br>
</blockquote></div><br></div>