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

[racket] Question about post-pure-port in the library net/url

2013-10-19 Thread h = 1-1
Hi, I am trying to use procedure post-pure-port in the library net/url to set up some Oauth2 client. Based on (post-pure-port URL post [header]) → input-port? URL : url? post : bytes? header : (listof string?) = null the 2nd argument post should be a byte string. However, I can't find any

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] define-predicate problem with HashTable type constructor

2013-10-19 Thread Asumu Takikawa
On 2013-10-19 10:26:22 -0700, Erik Pearson wrote: >Type Checker: Type X could not be converted to a contract. in: X This is not a bug. To construct a predicate for a type, the type has to have a contract that can be immediately checked (like `number?`). That's not possible in general for a ha

[racket] define-predicate problem with HashTable type constructor

2013-10-19 Thread Erik Pearson
This #lang typed/racket (define-type X (HashTable Symbol String)) (define-predicate x? X) in drracket 5.3.6, gives me Type Checker: Type X could not be converted to a contract. in: X This is reduced out of a more complex type (jsexpr). Removing this bit removes the error. Is this is a bug? If s

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).