Re: [racket] Scheme language ( I Need Your Help )

2014-05-28 Thread Raoul Duke
>> C - > scm >> scm - > C there are / are there not lots of tools that purport to help read things into ASTs? antlr or nitra or mps or whatever. but is there something which already has support for a bunch of different languages, and tools to convert among them, with options / heuristics for deali

Re: [racket] Scheme language ( I Need Your Help )

2014-05-28 Thread Hendrik Boom
On Wed, May 28, 2014 at 06:42:06PM +0100, mansour.alqattan wrote: > > C - > scm > scm - > C This may not be what you want, but 'gambit' is an implementation of Scheme that translaltes everything to C. -- hendrik. k Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Scheme language ( I Need Your Help )

2014-05-28 Thread mukesh tiwari
Hi Mansour, On Wed, May 28, 2014 at 11:12 PM, mansour.alqattan < mansour.alqat...@gmail.com> wrote: > Dear > > Thank you for your consideration and help in advance. I have three > question and I hope you can help me with it: > > 1- First is there any program or technique for translate Java code

Re: [racket] Scheme language ( I Need Your Help )

2014-05-28 Thread Neil Van Dyke
If I understand correctly, I suspect that what you want to do is to implement in Racket parsers for Java and C code, which parse those to ASTs using Racket syntax objects. Then you can do analysis for many security vulnerabilities just using Racket "match" on the syntax, and static processing.

[racket] Scheme language ( I Need Your Help )

2014-05-28 Thread mansour.alqattan
DearĀ  Thank you for your consideration and help in advance. I have three question and I hope you can help me with it: 1- First is there any program or technique for translate Java code or C code or any other languages to Scheme Code. I need to translate fromĀ  scm - > java java - > scm C - >

Re: [racket] Racketcon website video archives

2014-05-28 Thread Sam Tobin-Hochstadt
Sorry about that; I'll fix it. In case you're looking for it, the correct link is https://www.youtube.com/watch?v=C88L4u306Ro Sam On Wed, May 28, 2014 at 4:43 PM, Evan Donahue wrote: > I can't seem to find out who in particular maintains the racket website, so > in the hopes that this message f

Re: [racket] logic, boolean algebra

2014-05-28 Thread Matthias Felleisen
This used to be a homework assignment at Rice. I am sure if you google a bit harder you will find a decent solution on which you can build what you need -- Matthias On May 23, 2014, at 4:15 AM, Damien MATTEI wrote: > hello, > > i was searching for some code for manipulating boolean formula

Re: [racket] struct constructors

2014-05-28 Thread Matthias Felleisen
You can have protection and subclassing like in the (running) sketch below. Something like this may work for structs. -- Matthias #lang racket (module server racket (provide ;; exists: Class c% ;; Any -> (Instance-of c%) make-c ;; Any -> Boolean is-c%? ;;

[racket] struct constructors

2014-05-28 Thread Aidan Gauland
Hello fellow racketeers, What's the nearest equivalent for a struct to constructors for class instances? Say I have a struct with a field that should be initialised to a three-element vector. Right now, I'm just defining a wrapper make-blah. (struct blah (a b c v)) (define (make-blah) (blah

[racket] logic, boolean algebra

2014-05-28 Thread Damien MATTEI
hello, i was searching for some code for manipulating boolean formula, for example i need to put an arbitrary boolean formula in DNF (Disjunctive Normal Form) and i did not find anything in Scheme or Lisp, does anyone know if something exist to do that? regards, Damien -- e-mail: damien.mat..

[racket] Racketcon website video archives

2014-05-28 Thread Evan Donahue
I can't seem to find out who in particular maintains the racket website, so in the hopes that this message finds its way to the right person, it seems that, unless I am mistaken, the 2012 distributed places video link points to the honu video. Thanks, Evan Racket Users list: