Re: [racket-dev] Full transparency

2015-01-21 Thread Byron Davies
Or, more conservatively, every struct and object in a given package, file,
or set of files.

On Wed, Jan 21, 2015 at 11:03 AM, Byron Davies byrondav...@starshine.us
wrote:

 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.

 Byron


_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] Full transparency

2015-01-21 Thread Matthias Felleisen

Sounds like a straightforward change to the existing macros. Why don't you 
create a fork and experiment? 


On Jan 21, 2015, at 1:15 PM, Byron Davies byrondav...@starshine.us wrote:

 Or, more conservatively, every struct and object in a given package, file, or 
 set of files.
 
 On Wed, Jan 21, 2015 at 11:03 AM, Byron Davies byrondav...@starshine.us 
 wrote:
 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.
 
 Byron
 
 
 _
  Racket Developers list:
  http://lists.racket-lang.org/dev


_
  Racket Developers list:
  http://lists.racket-lang.org/dev


[racket-dev] Full transparency

2015-01-21 Thread Byron Davies
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.

Byron
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


[racket-dev] (reposted from users) Noisy compiler at PLTSTDERR=info

2015-01-21 Thread Tony Garnock-Jones
[Reposted from -users, since it seems likely I erred in my initial
selection of that list]

Hi all,

Over the past few months, more and more subsystems have started logging
at info level as part of regular compilation.

I prefer having PLTSTDERR=info in order to catch log-info that happens
at runtime, and find the compile-time log output quite distracting.

My current workaround is to set

PLTSTDERR=info warning@cm warning@compiler/cm warning@module-prefetch
warning@setup/parallel-build warning@cm-accomplice
warning@online-check-syntax

but this is quite verbose, and as subsystem log messages come and go
I'll need to keep updating it.

Could one of the following ideas be worth exploring?

 1. Have a superlogger for these (and other?) compile-time-ish loggers,
so that I could write info warning@compilation, excluding the
noise in one fell swoop

 2. Have a phase number associated with logging, so I could say
info@0 warning@1, or similar

-- Tony
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] Full transparency

2015-01-21 Thread Byron Davies
Nice parry!  What may be straightforward to you may not be so obvious to
me.  But I'll take a look.

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.

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.

Byron

On Wed, Jan 21, 2015 at 12:20 PM, Matthias Felleisen matth...@ccs.neu.edu
wrote:


 Sounds like a straightforward change to the existing macros. Why don't you
 create a fork and experiment?


 On Jan 21, 2015, at 1:15 PM, Byron Davies byrondav...@starshine.us
 wrote:

  Or, more conservatively, every struct and object in a given package,
 file, or set of files.
 
  On Wed, Jan 21, 2015 at 11:03 AM, Byron Davies byrondav...@starshine.us
 wrote:
  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.
 
  Byron
 
 
  _
   Racket Developers list:
   http://lists.racket-lang.org/dev


_
  Racket Developers list:
  http://lists.racket-lang.org/dev