Re: [racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread David Storrs
On Thu, Jan 19, 2017 at 6:45 PM, Robby Findler wrote: > In DrRacet, current-directory in initialized to the directory > containing the file where you hit "Run" and in the shell it is > initialized to the current directory as understood by the shell. > > Is that what

Re: [racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread Philip McGrath
Assuming I understand it correctly, I think the problem in the original is that, in Dr. Racket, (find-system-path 'run-file) returns the path of Dr. Racket, whereas at the shell it returns the path of the file being run. It's a hack, but I think you could make a quick and dirty solution to

Re: [racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread Robby Findler
In DrRacet, current-directory in initialized to the directory containing the file where you hit "Run" and in the shell it is initialized to the current directory as understood by the shell. Is that what you're asking? Robby On Thu, Jan 19, 2017 at 4:36 PM, David Storrs

Re: [racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread Philip McGrath
Not the question you asked, but instead of with-output-to-string, if you're discarding the output, you might prefer: (parameterize ([current-output-port (open-output-nowhere)]) ...) -Philip On Thu, Jan 19, 2017 at 4:51 PM, Philip McGrath wrote: > I haven't looked

Re: [racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread Philip McGrath
I haven't looked in detail, but two quick thoughts: - When I evaluate (find-system-path 'run-file) in Dr. Racket, either inside a module or in the REPL, I get # - Have you looked at (current-directory)? In Dr. Racket, if the file has been saved, that returns the path to the directory

Re: [racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread David Storrs
For the record, I know I can pass an absolute path (defined with define-runtime-path) to load-initial-data. My question is more about "why is this different between the shell and Dr Racket?" On Thu, Jan 19, 2017 at 5:23 PM, David Storrs wrote: > define-runtime-path is

Re: [racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread David Storrs
define-runtime-path is based on the enclosing file, not the running file. ;; file: app/lib/db/initial_test_data.sql ...various SQL commands... ;; file: app/lib/t/testing_utils.rkt (define-runtime-path thisdir ".") (define cmd (string-append "psql -d biomantica < "

Re: [racket-users] How to watch the filesystem

2017-01-19 Thread Philip McGrath
Because you mentioned "the user moved the mouse", note that mouse-event% and other things referred to as "events" in the GUI library are not synchronizable events that can be used with sync. -Philip On Thu, Jan 19, 2017 at 2:58 PM, Neil Van Dyke wrote: > David Storrs

Re: [racket-users] How to watch the filesystem

2017-01-19 Thread Neil Van Dyke
David Storrs wrote on 01/19/2017 03:08 PM: of events but I still know nothing about detecting filesystem change events. I've looked through PLaneT and found nothing that seems like an FS-monitoring package. Can anyone suggest how to do this? Here's a simple example, using `sync`: #lang

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Vincent St-Amour
On Thu, 19 Jan 2017 10:42:17 -0600, Robert Kuzelj wrote: > > As far as I understand Haskell was breaking compatibility now then to > add new languae features. This enabled the fast iteration (albeit a > painful one). > On the other hand F# is the exact opposite - not only looking to > remain

[racket-users] How to watch the filesystem

2017-01-19 Thread David Storrs
I need to write something that will notice when a change happens in a directory (file added, delete, modified, etc) and let me take action based on that. I was excited when I saw Racket's "Detecting Filesystem Changes"

Re: [racket-users] Serializing macro transformer procedures

2017-01-19 Thread Philip McGrath
It might help if you could explain in more detail what you're trying to do: I'm not sure I understand what you mean by "bring macro transformer procedures down to run-time". -Philip On Wed, Jan 18, 2017 at 6:24 PM, Alex Knauth wrote: > I'm trying to use serial-lambda in

[racket-users] ProWeb 2017: 1st International Workshop on Programming Technology for the Future Web

2017-01-19 Thread timmolderez
ProWeb 2017: 1st International Workshop on Programming Technology for the Future Web http://2017.programming-conference.org/track/proweb-2017-papers Co-located with the conference April 4, Brussels, Belgium Full-fledged web applications have become ubiquitous on desktop

Re: [racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread Robby Findler
define-runtime-path is designed for this problem, IIUC. Let me know if the docs don't help. Robby On Thu, Jan 19, 2017 at 11:47 AM, David Storrs wrote: > Short form: When using Dr Racket, how do I write something that says > "Here is a path to a file that I care about.

[racket-users] Paths in Dr Racket do not match paths in shell

2017-01-19 Thread David Storrs
Short form: When using Dr Racket, how do I write something that says "Here is a path to a file that I care about. The path is relative to you, the script that is running the code" ? Long form: I have a file, testing_utils.rkt, that includes the following snippet of code: (define

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Robert Kuzelj
Am Donnerstag, 19. Januar 2017 17:17:18 UTC+1 schrieb Matthias Felleisen: > In case my CPSing obscured the prose, here is what I said: > > What I am really saying is that I supplemented the proposal with a research > challenge that is common in the Racket world. If you are here and you see the

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Matthias Felleisen
In case my CPSing obscured the prose, here is what I said: What I am really saying is that I supplemented the proposal with a research challenge that is common in the Racket world. If you are here and you see the blueprints for paradise over there, don’t just build paradise. Also build the

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Matthias Felleisen
You’re preaching to the choir. See Racket Manifesto. But you’re also preaching to the guy who got this project to where it is because "Types Suck” has been my slogan for decades. (I will leave it to figure out what that slogan means.) Since I am not a good programmer (according to your

[racket-users] New web page

2017-01-19 Thread Eli Barzilay
0. Warnings/disclaimers: as usual. Things that *really* bug me with the new page: 1. The boxes on top. Pretty much what Alexis originally said (https://github.com/racket/racket-lang-org/pull/28#issuecomment-267796721) 2. More concretely, in not-so-large screens (laptop/phone), I don't know

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Anthony Carrico
On 01/19/2017 09:30 AM, Anthony Carrico wrote: > What do contemporary programmers want? They want some kind of static > proof that their interfaces are good. I didn't put the following in my rant, because why muddy a good rant? But to elaborate, they also want productivity, and that means

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Anthony Carrico
On 01/19/2017 09:50 AM, Robert Kuzelj wrote: > Wow! My question seems to be pretty upstirring. ;-) > But you are completely right - I am sniffing around Racket (Typed) bc strong > typing + meta programming look like a killer combo. > > And btw. yeah something will emerge ... or rather has

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Robert Kuzelj
Wow! My question seems to be pretty upstirring. ;-) But you are completely right - I am sniffing around Racket (Typed) bc strong typing + meta programming look like a killer combo. And btw. yeah something will emerge ... or rather has already emerged https://github.com/LuxLang/lux

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Anthony Carrico
On 01/18/2017 08:57 PM, Matthias Felleisen wrote: > > And how would components in #lang typed/racket interact with components in > #lang kinded/racket interact? If this wasn't Matthias, I'd say whoever posted this missed the whole point of Racket. Since it is Matthias, I'll take this as an

Re: [racket-users] Typed Racket & Higher Kinded Types

2017-01-19 Thread Robert Kuzelj
> And how would components in #lang typed/racket interact with components in > #lang kinded/racket interact? maybe (if there is no other way) not at all and there would a breaking of compatibility?! -- You received this message because you are subscribed to the Google Groups "Racket Users"

[racket-users] Call for Participation: BOB 2017 (February 24, Berlin) - early-bird ends Jan 23

2017-01-19 Thread Michael Sperber
BOB has a strong focus on functional programming. Come and help our Racket contingent grow! BOB 2017 Conference "What happens if we simply use what's