Re: [racket-users] Miscellaneous bugs/feature requests

[Matthias Felleisen]

> On Nov 20, 2015, at 5:43 AM, Josh Grams  wrote:
> 
> On 2015-11-17 11:04AM, Matthias Felleisen wrote:
>> On Nov 16, 2015, at 8:11 PM, Josh Grams  wrote:
>> 
>>> - big-bang: seems to stop sending "leave" events after a while (Windows
>>> 7, 64 bit Racket 6.2.1).
>> 
>> I can't replicate but this sounds like something that we should figure out. 
> 
> OK, I'll try it on some other machines and see if I can replicate it...
> 
>> You write like someone who does not really want to use the GUI toolbox 
>> for middle school, high school, and freshmen kids. Perhaps you want to 
>> drop down to Racket's GUI language level (see #lang racket/gui). 
> 
> Well, they were things that came up in doing little games with kids, and
> I thought it would be nice not to have to tell them, "Oh, this toolbox
> arbitrarily takes away the ability to do that: you have to rewrite your
> whole program in this other significantly more complicated system."


One day we will provide a smooth path from here to there, 
right after I clone myself and everyone else on the team :-) 

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Rust vs. C as a complement to Racket?

[Brian Adkins]

On Friday, November 20, 2015 at 5:40:32 AM UTC-5, Hendrik Boom wrote:
> On Thu, Nov 19, 2015 at 02:01:02PM -0800, Brian Adkins wrote:
> > The more I dig into Racket, the more I like it. It seems like a perfect fit 
> > for both my personality and the type of applications I am, and will be, 
> > writing. For the vast majority of what I need to do, it's a great fit.
> > 
> > I do occasionally encounter a need for raw speed, so I'm looking for a 
> > complement to Racket for those few times when it's not fast enough. I 
> > chatted briefly about this on IRC the other day, but I thought I'd tap into 
> > the collective wisdom on the mailing list.
> > 
> > I'm open to suggestions, but I've tentatively narrowed the list down to 
> > Rust and C. I programmed in C/C++ for about a decade, then Java for a 
> > decade, and most recently in Ruby for a decade, so it's been a while since 
> > I was an expert C hacker, and my recent Ruby experience has lessened my 
> > polyglotness :)
> 
> Consider Gambit and OCaml.
> 
> OCaml is statically typed, and its compiler uses the static typing in 
> its code generation.  Although the stock OCaml interprets byte code, on 
> the x86 and AMD64 traditions the compiler will compile all the way to 
> efficient machine code.
> 
> Gambit is another Scheme dialect (and thus similar somewhat to 
> Gambti).  It normally compiles down to C, and permits you to specify 
> what C code is to be generated for specific user-declared functions.  
> THis might be the language team-up you want.
> 
> -- hendrik

I've actually spent a fair amount of time with OCaml, and I like the language a 
lot (better than Haskell), but for *me* it's kind of in an awkward spot - on 
the one hand, it's not quite as fast as Rust/C (although for a functional 
language, it's really fast), and multi-core requires async (got tired of 
waiting for the multi-core promise of 4.03), and on the other hand, I find 
Racket much more enjoyable, productive and a better fit for the way I think.

I would consider Gambit for a special purpose app that *needed* to compile down 
to C (maybe an embedded platform, robotics, etc. where Racket isn't available), 
but for my general application development, I'm sticking with Racket. I even 
have Racket running on my Raspberry Pi, and I think Linux is becoming more 
available for robotics, so I may be able to skip the whole "C" thing there as 
well.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] Re: [racket] PLT_HTTP_PROXY and PLT_NO_PROXY honoured (#1089)

[Tim Brown]

Matt,

(n.b. the message on GitHub is a bcc: of one I've sent to racket users) 

Sorry, I got diverted to other more “urgent” things (he who pays the piper...). 
 That's why I took so long finishing the job; and rushing at the end, why I 
left garbage like net/url-proxy in the commit.

So THANK YOU VERY MUCH for doing all that tidying up.

Re the squashing... I assumed that those incremental pushes (each of which I 
considered to be a worthy candidate for the enhancement) which you guys 
commented on were not for squashing, since they'd already been committed and 
pushed to GitHub.

FYI this is the first step in an attempt to get racket to install through an 
http proxy. And I'll be revisiting net/url-proxy and friends with an http 
“CONNECT” tunnel soon.

Thanks again,

Tim

On 20 November 2015 03:11:30 GMT+00:00, Matthew Flatt 
 wrote:
>Merged. I squashed the commits and made adjustments to the docs;
>hopefully I didn't mangle anything, but please check. Thanks!
>
>---
>Reply to this email directly or view it on GitHub:
>https://github.com/racket/racket/pull/1089#issuecomment-158266404

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Miscellaneous bugs/feature requests

[Josh Grams]

On 2015-11-17 11:04AM, Matthias Felleisen wrote:
>On Nov 16, 2015, at 8:11 PM, Josh Grams  wrote:
>
>> - big-bang: seems to stop sending "leave" events after a while (Windows
>>  7, 64 bit Racket 6.2.1).
>
>I can't replicate but this sounds like something that we should figure out. 

OK, I'll try it on some other machines and see if I can replicate it...

>You write like someone who does not really want to use the GUI toolbox 
>for middle school, high school, and freshmen kids. Perhaps you want to 
>drop down to Racket's GUI language level (see #lang racket/gui). 

Well, they were things that came up in doing little games with kids, and
I thought it would be nice not to have to tell them, "Oh, this toolbox
arbitrarily takes away the ability to do that: you have to rewrite your
whole program in this other significantly more complicated system."

--Josh

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Miscellaneous bugs/feature requests

[Robby Findler]

On Fri, Nov 20, 2015 at 4:38 AM, Josh Grams  wrote:
> On 2015-11-17 06:43AM, Robby Findler wrote:
>>On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams  wrote:
>>> - DrRacket: is there some way to set a key binding to rename a *variable*?
>>
>>c:x;m under mac os x. You may need to disable menu bindings for that
>>to work under windows, tho.
>
> Ah, I see.  But disabling menu bindings removes too many things that I
> use constantly.  Is there a good way to discover the underlying function
> so I can add my own binding for it?  For instance, I'd also love to set
> a keybinding to "view documentation for ... in ...", and maybe a couple
> of other things.

You can write keybindings files:

  
http://docs.racket-lang.org/drracket/Keyboard_Shortcuts.html#%28part._defining-shortcuts%29

hth,
Robby

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Miscellaneous bugs/feature requests

[Josh Grams]

On 2015-11-17 06:43AM, Robby Findler wrote:
>On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams  wrote:
>> - DrRacket: is there some way to set a key binding to rename a *variable*?
>
>c:x;m under mac os x. You may need to disable menu bindings for that
>to work under windows, tho.

Ah, I see.  But disabling menu bindings removes too many things that I
use constantly.  Is there a good way to discover the underlying function
so I can add my own binding for it?  For instance, I'd also love to set
a keybinding to "view documentation for ... in ...", and maybe a couple
of other things.

--Josh

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Rust vs. C as a complement to Racket?

[Hendrik Boom]

On Thu, Nov 19, 2015 at 02:01:02PM -0800, Brian Adkins wrote:
> The more I dig into Racket, the more I like it. It seems like a perfect fit 
> for both my personality and the type of applications I am, and will be, 
> writing. For the vast majority of what I need to do, it's a great fit.
> 
> I do occasionally encounter a need for raw speed, so I'm looking for a 
> complement to Racket for those few times when it's not fast enough. I chatted 
> briefly about this on IRC the other day, but I thought I'd tap into the 
> collective wisdom on the mailing list.
> 
> I'm open to suggestions, but I've tentatively narrowed the list down to Rust 
> and C. I programmed in C/C++ for about a decade, then Java for a decade, and 
> most recently in Ruby for a decade, so it's been a while since I was an 
> expert C hacker, and my recent Ruby experience has lessened my polyglotness :)

Consider Gambit and OCaml.

OCaml is statically typed, and its compiler uses the static typing in 
its code generation.  Although the stock OCaml interprets byte code, on 
the x86 and AMD64 traditions the compiler will compile all the way to 
efficient machine code.

Gambit is another Scheme dialect (and thus similar somewhat to 
Gambti).  It normally compiles down to C, and permits you to specify 
what C code is to be generated for specific user-declared functions.  
THis might be the language team-up you want.

-- hendrik

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Typed Racket and struct

[Antonio Menezes Leitao]

Hi,

On Thu, Nov 19, 2015 at 8:29 PM, Asumu Takikawa  wrote:

> On 2015-11-19 09:11:08 +, Antonio Menezes Leitao wrote:
> >So, my questions are:
> >1. Are there any plans to support #:constructor-name in Typed Racket?
>
> I haven't tried to implement support for it, but I can't think of anything
> off
> the top of my head that would make it difficult. I suspect we just haven't
> gotten around to it.
>
> Maybe we can support it for (add1 v6.3).
>
>
That would be great!

I don't mind testing it on a snapshot build.

Best,
António.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Typed Racket and struct

[Antonio Menezes Leitao]

Hi,

On Fri, Nov 20, 2015 at 1:59 AM, WarGrey Gyoudmon Ju 
wrote:

>
>
> On Fri, Nov 20, 2015 at 3:27 AM, Antonio Menezes Leitao <
> antonio.menezes.lei...@ist.utl.pt> wrote:
>
>> Hi,
>>
>> On Thu, Nov 19, 2015 at 11:36 AM, WarGrey Gyoudmon Ju <
>> juzhenli...@gmail.com> wrote:
>>
>>> 1. define structs in untyped racket;
>>> 2. (require/typed/provide) it with #:constructor-name option.
>>>
>>>
>> Thanks for the suggestion.
>>
>> Meanwhile, I thought about a different approach. Here is one example:
>>
>> (module test typed/racket
>>   (struct foo
>> ([a : Real]
>>  [b : Integer]))
>>   (provide (except-out (struct-out foo) foo)
>>(rename-out [foo new-foo])))
>>
>> (require 'test)
>>
>> (define f (new-foo 1.0 2))
>>
>> (foo-a f)
>>
>> (foo-b f)
>>
>> Can you (or someone else) comment on the advantages of these two
>> approaches?
>>
>
> Generally speaking, Racket Struct is not only a compact data collection
> (like a vector with fields accessors, benefits both compiler and human
> readers), Struct itself also has their own properties and methods to define
> generic interfaces which is widely known in Class-based System (ignoring
> that Racket Class-based System is also implemented in terms of Struct, they
> are different things but have same effects).
>
> Currently, Typed Racket only treats Struct as the compact data collection,
> therefore, if you want to take full advantages of Struct, defining it in
> untyped module than requiring it in typed module is the only choice, but
> not vice versa.
>

That's a good point. Thanks.


> I never tried your approach in practice, and you have already known the
> side effects. Nonetheless, if you don't like the untyped way. How about
> just defining one more function to make its instance? In thi way, you also
> have a more flexible guard procedure (see #:guard option). Besides I just
> cannot understand the design of #:auto and #:auto-value options, it's so
> weird that almost makes nonsense.
>
>
>>
>> Finally, can we define syntax to wrap both the module and the require? Is
>> it possible for a macro to expand into such combination of forms? My quick
>> experiments didn't produce the results I was expecting.
>>
>
> I found it impossible too.
>
>
>>
>> Best,
>> António.
>>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] start to contribute to racket

[Vincent St-Amour]

Hi Sagar, and welcome to Racket.

If you're looking for project ideas, you may be interested in this list
of intro projects:

https://github.com/racket/racket/wiki/Intro-Projects

Some of those are libraries you could write, others are small standalone
programs, and others still are small improvements to the Racket codebase
proper.

If any of those sound fun to you, be sure to edit the page to claim
them, and post a link to the result.

Vincent



On Fri, 20 Nov 2015 03:10:26 -0600,
sagar tripathy wrote:
> 
> I started racket before six month. After knowing some part I want to do some 
> useful thing in racket.
> Anyone Please help me.
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] start to contribute to racket

[sagar tripathy]

I started racket before six month. After knowing some part I want to do some 
useful thing in racket.
Anyone Please help me.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] (syntax-local-make-definition-context intdef-ctx) inexplicably sheds bindings

[Thomas Dickerson]

I have a code that looks like this:

(emit-local-step #'func.name 
 (internal-definition-context-apply/loc defs #'func.name) #:id 
#'defun)
(let ([defs (syntax-local-make-definition-context defs)]
  [ctx (build-expand-context ctx)]
  [args (parse-arg-names #'func.args)])
  (syntax-local-bind-syntaxes args #f defs)
  (internal-definition-context-seal defs)
  (with-syntax*
  ([f-name (internal-definition-context-apply/loc defs #'func.name)])
(emit-local-step #'func.name #'f-name #:id #'defun2)))


Contrary to 
http://docs.racket-lang.org/reference/stxtrans.html#%28def._%28%28quote._~23~25kernel%29._syntax-local-make-definition-context%29%29
 "the new internal-definition context can use bindings previously introduced 
into intdef-ctx."

The first emit-local-step shows a properly introduced binding, the second does 
not.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Typed Racket and struct

[Asumu Takikawa]

On 2015-11-20 16:02:32 +, Antonio Menezes Leitao wrote:
>That would be great!
>I don't mind testing it on a snapshot build.

I created an issue for it on the TR repo so you can follow that for progress:

  https://github.com/racket/typed-racket/issues/253

Cheers,
Asumu

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.