On Thu, Sep 9, 2010 at 5:21 PM, Ryan Culpepper <ry...@ccs.neu.edu> wrote:
> One way is a compile-time table. See, for example, the implementation of
> typed scheme/racket:
>
> www.ccs.neu.edu/scheme/pubs/scheme2007-ctf.pdf
Thank you all for the help! Ok, I think I've got something usable
now; I've put it up on github if you're interested.
http://github.com/dyoo/permissions
It lets me do something like this:
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
d...@kfisler-ra1:~/work/permissions$ racket
Welcome to Racket v5.0.1.
> (require "query.rkt")
> (query "t/open-image-url.rkt")
'("permission:network")
> (query "query.rkt")
'()
> (query "t/play-sound.rkt")
'("PERMISSION:SOUND" "PERMISSION:INTERNET")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
This is good; I'll be able to use this for Moby/WeScheme! I needed to
statically figure out what permissions are needed by a program and its
dependencies, for the purposes of generating Android .apk packages. I
had some hack earlier that did textual searching, but I like this
approach a lot more.
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
