Re: [racket] Racket VM in Racket

2014-08-06 Thread Matthias Felleisen
On Aug 6, 2014, at 4:33 PM, Jens Axel Søgaard wrote: > 2014-08-06 16:10 GMT+02:00 Robby Findler : >> I think this is awesome too! >> >> Is there some way we can use this to help make Racket better, do you think? > > That wasn't the motivation per se, but it might have some potential uses. > A

Re: [racket] Racket VM in Racket

2014-08-06 Thread Danny Yoo
> Whalesong do not interpret the bytecodes directly, so I didn't > look for hints there. (Note: there was a preliminary simulator used for test cases in 2bc4b2a224fe7a485a1060c69ebde925cecdeb05) Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Racket VM in Racket

2014-08-06 Thread Jens Axel Søgaard
2014-08-06 16:10 GMT+02:00 Robby Findler : > I think this is awesome too! > > Is there some way we can use this to help make Racket better, do you think? That wasn't the motivation per se, but it might have some potential uses. A simple application would be to collect statistics of the bytecodes u

Re: [racket] Racket VM in Racket

2014-08-06 Thread Jens Axel Søgaard
2014-08-06 16:07 GMT+02:00 Jay McCarthy : > This is awesome, Jens. > > I'd like to have more Racket VMs for experiments like JavaScript and > LLVM (to get on to iOS better?). I wonder if you were able to use the > Whalesong bytecode interpreter during the coding of this? Whalesong do not interpret

Re: [racket] Racket VM in Racket

2014-08-06 Thread Robby Findler
I think this is awesome too! Is there some way we can use this to help make Racket better, do you think? Would it be useful as a test oracle? Is there a way to maybe re-interpret the function definitions (say put them into a different "#lang") you've written to get some kind of a cool random byte

Re: [racket] Racket VM in Racket

2014-08-06 Thread Jay McCarthy
This is awesome, Jens. I'd like to have more Racket VMs for experiments like JavaScript and LLVM (to get on to iOS better?). I wonder if you were able to use the Whalesong bytecode interpreter during the coding of this? Jay On Mon, Aug 4, 2014 at 4:23 PM, Jens Axel Søgaard wrote: > Hi All, > >

[racket] Racket VM in Racket

2014-08-04 Thread Jens Axel Søgaard
Hi All, To see how Racket's bytecodes work I have implemented an evaluator in Racket. The best feature is the extensive amount of comments. https://github.com/soegaard/meta/blob/master/runtime/racket-eval.rkt Comments and patches are welcome, Jens Axel Søgaard Racket User

Re: [racket] Racket VM in FPGAs

2013-10-19 Thread Alexander McLin
No problem, glad to have referred you to the paper, I hope it'll be useful. Just for everybody else on the list, the paper URL is http://dspace.mit.edu/handle/1721.1/6334 > On Oct 19, 2013, at 4:08 PM, Petr Samarin wrote: > > To be more specific, initially I want to replace the Java VM in JOP

Re: [racket] Racket VM in FPGAs

2013-10-19 Thread Alexander McLin
I'd be interested in hearing how it's going! Just curious, are you reusing ideas from Scheme-79, or starting off in an entirely different direction? From your original email, I assume you're using JOP as a springing board? Alex > On Oct 19, 2013, at 4:32 AM, Petr Samarin wrote: > > First I w

Re: [racket] Racket VM in FPGAs

2013-10-19 Thread Petr Samarin
To be more specific, initially I want to replace the Java VM in JOP with a Racket VM. JOP is great as a starting point because it has many useful things available from the start: support for USB and serial interfaces to load the bytecode from the PC, memory interfaces, floating point unit. I ha

Re: [racket] Racket VM in FPGAs

2013-10-19 Thread Petr Samarin
First I want to develop a small core (probably written in VHDL) that supports a subset of Racket's bytecode. I don't want to target any specific board/FPGA so that it can be used anywhere. But during development I will be testing the core on the board that I have at home (DE2-70 from Terrasic).

Re: [racket] Racket VM in FPGAs

2013-10-18 Thread Neil Van Dyke
Petr, I will be very interested to hear how this project goes, including which FPGA you end up targeting, your application (large-scale parallel? low power?), and how speed compares to the JIT'd VM running on CPUs. If you can use an open source toolchain, all the better, although a free-as-i

Re: [racket] Racket VM in FPGAs

2013-10-18 Thread Jay McCarthy
I think this is the best source: http://plt.eecs.northwestern.edu/racket-machine/ But this is helpful too http://docs.racket-lang.org/raco/decompile.html I would target a subset like what Whalesong does first http://hashcollision.org/whalesong/ On Fri, Oct 18, 2013 at 3:28 PM, Petr Samarin w

[racket] Racket VM in FPGAs

2013-10-18 Thread Petr Samarin
Hi all, I am planning to write a hardware implementation of the Racket VM. Basically something like JOP (http://www.jopdesign.com/) but for Racket. Where can I find the documentation for the Racket VM? Thanks, Peter Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Racket VM

2010-09-19 Thread Robby Findler
Yes. On Sun, Sep 19, 2010 at 8:35 AM, Mathew Kurian wrote: > on command prompt? > > > On Sun, Sep 19, 2010 at 7:18 AM, Robby Findler < > ro...@eecs.northwestern.edu> wrote: > >> Well, I'll cheat: you say "raco make filename.rkt". >> >> Robby >> >> On Sun, Sep 19, 2010 at 12:55 AM, Mathew Kurian

Re: [racket] Racket VM

2010-09-19 Thread Mathew Kurian
on command prompt? On Sun, Sep 19, 2010 at 7:18 AM, Robby Findler wrote: > Well, I'll cheat: you say "raco make filename.rkt". > > Robby > > On Sun, Sep 19, 2010 at 12:55 AM, Mathew Kurian > wrote: > >> Hahahaha...Neil, i agree with you, it will be my one of my best of >> friends [?] >> >> But,

Re: [racket] Racket VM

2010-09-19 Thread Robby Findler
Well, I'll cheat: you say "raco make filename.rkt". Robby On Sun, Sep 19, 2010 at 12:55 AM, Mathew Kurian wrote: > Hahahaha...Neil, i agree with you, it will be my one of my best of friends > [?] > > But, give me some time to read through...it may take a while before i have > a question. > > Tha

Re: [racket] Racket VM

2010-09-18 Thread Mathew Kurian
Hahahaha...Neil, i agree with you, it will be my one of my best of friends [?] But, give me some time to read through...it may take a while before i have a question. Thanks again Deren and Neil...i really appreciate your help. Sincerely, Mathew Kurian -- Mathew Kurian Seven Lakes High School

Re: [racket] Racket VM

2010-09-18 Thread Neil Van Dyke
Mathew Kurian wrote at 09/19/2010 01:25 AM: For java, you just put in javac filename.java, etc. Is there something like that I can implement for Racket? If you want to compile Racket code from the OS command prompt, I think you want this manual: http://docs.racket-lang.org/raco/ Better y

Re: [racket] Racket VM

2010-09-18 Thread Mathew Kurian
That is a good idea good Deren. Ill read up on that a bit. Meanwhile a quick question, can it be called via command prompt? -- Mathew Kurian Seven Lakes High School *“Do all the good you can, b**y all the means you can,* *In all the ways you can, in all the places you can, At all the times you ca

[racket] Racket VM

2010-09-18 Thread Mathew Kurian
Hey everybody, I am trying to figure out a way to compile Racket code through command prompt for instance. For java, you just put in javac filename.java, etc. Is there something like that I can implement for Racket? Thank you for your help guys. And remember to have a great day! Sincerely, M