Re: [racket] type assertions in plai-typed?

2014-01-06 Thread Matthew Flatt
Added. At Mon, 6 Jan 2014 12:04:16 -0800, John Clements wrote: > > On Jan 6, 2014, at 11:59 AM, Matthew Flatt wrote: > > > I don't think there's a good way to write type assertions as the > > moment, so let's add one. What syntax do you suggest? > > The simplest would just be a has-type that l

Re: [racket] Expand string for use with enter!

2014-01-06 Thread Matthew Flatt
The `enter!` form is analogous to `require`, where both are syntactic forms. It sounds like you want something analogous to `dynamic-require`, but there's currently no `dynamic-enter!`. We can add `dynamic-enter!` to `racket/enter`. Meanwhile, though, you may have to use `eval` as a workaround. A

[racket] Expand string for use with enter!

2014-01-06 Thread Mark Watts
Hello, I'm trying to make a wrapper for enter! (from racket/enter) but the filename argument gets read by enter! as a symbol rather than the value it is bound to. How can I expand the argument into a string for this case? -- Cheers, Mark Watts Department of Computer Science University of Texas

[racket] Racket FFI to OpenOffice or LibreOffice API

2014-01-06 Thread Harry Spier
1) Has anyone written a Racket FFI to either the OpenOffice or LibreOffice API ? 2) The interface is called UNO and from a very very brief look at the documentation it appears to be written in C++ but there is a tool that they say "maps all types to their corresponding C type declarations with a f

Re: [racket] Socket and character resp. block device file

2014-01-06 Thread Manfred Lotz
Ok, finally using FFI works fine. I implemented: (define (socket-exists? f) (mode-exists f S_IFSOCK)) (define (pipe-exists? f) (mode-exists f S_IFIFO)) (define (block-device-exists? f) (mode-exists f S_IFBLK)) (define (character-device-exists? f) (mode-exists f S_IFCHR)) (define (reg

Re: [racket] Pretty printing and extra indentation

2014-01-06 Thread Asumu Takikawa
On 2014-01-06 15:45:07 -0500, Asumu Takikawa wrote: > Does anyone know an easy way to add extra indentation to pretty printed > output using racket/pretty? > > For example, suppose I want to add pretty printed output after part of > an error message like: > > expected: ( > ) Actuall

Re: [racket] Pretty printing and extra indentation

2014-01-06 Thread Robby Findler
I forget the details, but maybe try to call the default pretty-print-print-line and add your own output there instead? Robby On Mon, Jan 6, 2014 at 2:45 PM, Asumu Takikawa wrote: > Hi all, > > Does anyone know an easy way to add extra indentation to pretty printed > output using racket/pretty

[racket] Pretty printing and extra indentation

2014-01-06 Thread Asumu Takikawa
Hi all, Does anyone know an easy way to add extra indentation to pretty printed output using racket/pretty? For example, suppose I want to add pretty printed output after part of an error message like: expected: ( ) I would want any linebreak-separated portions to align with the

Re: [racket] Possibility of speeding up Scribble to PDF when there's lots of images?

2014-01-06 Thread Daniel Prager
On Tue, Jan 7, 2014 at 12:54 AM, Matthew Flatt wrote: > How are the images produced in your Scribble program/document? > Currently I'm using 2htdp/image to generate the images, and including them in Scribble using figure, figure* and figure-here. If you're referencing ".png" files via `image`,

Re: [racket] type assertions in plai-typed?

2014-01-06 Thread John Clements
On Jan 6, 2014, at 11:59 AM, Matthew Flatt wrote: > I don't think there's a good way to write type assertions as the > moment, so let's add one. What syntax do you suggest? The simplest would just be a has-type that looks like an application. (define (id x) (has-type number x)) Actually, t

Re: [racket] type assertions in plai-typed?

2014-01-06 Thread Matthew Flatt
I don't think there's a good way to write type assertions as the moment, so let's add one. What syntax do you suggest? At Mon, 6 Jan 2014 11:53:54 -0800, John Clements wrote: > I’ve bitten the bullet and announced to my PL class that we’ll be using #lang > plai-typed. Right now, I’m trying to fig

[racket] type assertions in plai-typed?

2014-01-06 Thread John Clements
I’ve bitten the bullet and announced to my PL class that we’ll be using #lang plai-typed. Right now, I’m trying to figure out if there’s an easy way to do type debugging; in particular, I anticipate wanting to make assertions about the type of expressions that are buried inside of other expressi

Re: [racket] Socket and character resp. block device file

2014-01-06 Thread Manfred Lotz
On Mon, 6 Jan 2014 06:34:11 -0700 Matthew Flatt wrote: > At Mon, 6 Jan 2014 13:47:30 +0100, Manfred Lotz wrote: > > On Mon, 6 Jan 2014 10:32:49 +0100 > > Manfred Lotz wrote: > > > > > I was to quick to state this is a solution as it is not a good > > > idea if for example a socket file will be

[racket] 1st Call for Papers - TFPIE 2014

2014-01-06 Thread James Caldwell
All, Please find below the call for papers for the 3rd International Workshop on Trends In Functional Programming in Education, TFPIE 2014. Apologies in advance for multiple copies you may receive. Best regards, James Caldwell Call for Papers __

Re: [racket] racket newbie question on quoting and the built in procedure-arity function

2014-01-06 Thread Matthias Felleisen
Rian, you want a syntactic abstraction that hides this mechanism: #lang racket (module library racket (provide ;; syntax ;; (define/safe (f x ...) e ...) ;; introduces a safe function that is ... and prints its name as just 'f' define/safe) (define-syntax-rule (defi

Re: [racket] racket newbie question on quoting and the built in procedure-arity function

2014-01-06 Thread Vincent St-Amour
As far as I know, no. Vincent At Sun, 5 Jan 2014 19:51:10 -0500, Rian Shams wrote: > > Perfect, I didn't know structs could be used like that. > Thank you! > > As a follow-up question, can you directly create functions with a custom > printing method, without having to go through structs? > >

Re: [racket] Possibility of speeding up Scribble to PDF when there's lots of images?

2014-01-06 Thread Matthew Flatt
How are the images produced in your Scribble program/document? If you're referencing ".png" files via `image`, then if you could just reference ".pdf" files instead. In particular, you could write `image*` that converts a ".png" to ".pdf" and calls `image`. If you're generating bitmaps some other

Re: [racket] Socket and character resp. block device file

2014-01-06 Thread Manfred Lotz
On Mon, 6 Jan 2014 13:47:30 +0100 Manfred Lotz wrote: > On Mon, 6 Jan 2014 10:32:49 +0100 > Manfred Lotz wrote: > > > I was to quick to state this is a solution as it is not a good idea > > if for example a socket file will be shown as a duplicate of normal > > file having size zero. > > > > F

Re: [racket] Socket and character resp. block device file

2014-01-06 Thread Matthew Flatt
At Mon, 6 Jan 2014 13:47:30 +0100, Manfred Lotz wrote: > On Mon, 6 Jan 2014 10:32:49 +0100 > Manfred Lotz wrote: > > > I was to quick to state this is a solution as it is not a good idea if > > for example a socket file will be shown as a duplicate of normal file > > having size zero. > > > > Fo

Re: [racket] Socket and character resp. block device file

2014-01-06 Thread Manfred Lotz
On Mon, 6 Jan 2014 10:32:49 +0100 Manfred Lotz wrote: > I was to quick to state this is a solution as it is not a good idea if > for example a socket file will be shown as a duplicate of normal file > having size zero. > > For the time being I guess I have to look how to implement it using C > s

Re: [racket] RDF in Racket

2014-01-06 Thread Nathaniel Rudavsky-Brody
Thanks to both of you for sharing your code, this should help me get started. Nathaniel On Fri, Jan 3, 2014 at 4:40 PM, Doug Williams wrote: > I maintain all of my source code on Sourceforge under the Cognidrome > project. You can get the code or the .plt file for the Sesame interface > from th

Re: [racket] Socket and character resp. block device file

2014-01-06 Thread Manfred Lotz
I was to quick to state this is a solution as it is not a good idea if for example a socket file will be shown as a duplicate of normal file having size zero. For the time being I guess I have to look how to implement it using C stat call from Racket. -- Manfred Racket

Re: [racket] Socket and character resp. block device file

2014-01-06 Thread Manfred Lotz
On Mon, 6 Jan 2014 05:32:58 +0100 Manfred Lotz wrote: > On Sun, 5 Jan 2014 14:37:08 -0700 > Matthew Flatt wrote: > > > At Sun, 5 Jan 2014 21:45:59 +0100, Manfred Lotz wrote: > > > This might be a stupid question. But how do I find out in Racket > > > if a file is a socket or a haracter resp. bl