Re: [racket-users] Re: my best idea ever: become a sponsor of RacketCon 2016

2016-04-17 Thread Matthew Butterick

On Apr 17, 2016, at 10:42 AM, Luke Stark  wrote:
> 
> Well then, I guess it's up to me to get to a point with Racket that we're 
> honor-bound to contribute. ;)

A nobler way of putting it. You still have months to start your Racket-based 
business and make an honorable contribution to RacketCon.

-- 
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] Does `read-words/line' preserve last newline information?

2016-04-17 Thread Matthias Felleisen

> On Apr 16, 2016, at 3:20 PM, Robby Findler  
> wrote:
> 
> And in response to Quico, I would say that what's happening here is
> that read-line (and therefore read-words/line) are interpreting a
> "line" to be a bunch of characters followed by a specific set of
> delimiters (a newline in the examples in this thread). And so if you
> have a file with "a\nb" then that is one line and one partial line.
> Since the file ends, then read-line just decides to act as if there
> were a fully terminated line at the end of the file.

I have added an appropriate comment to the docs. Thanks — Matthias

-- 
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] No line breaks in #lang htdp/bsl--bug?

2016-04-17 Thread 'John Clements' via Racket Users
In the release candidate, this program:

#lang htdp/isl

(+ 4 4)
(+ 3 4)
(+ 5 6)

Produces the output

8711

Rather than

8
7
11

Is this a bug?

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


signature.asc
Description: PGP signature


Re: [racket-users] [racket][typed] static-contracts/instantiate.rkt:64:2. car: contract violation.

2016-04-17 Thread Asumu Takikawa
On 2016-04-18 03:47:45 +0800, WarGrey Gyoudmon Ju wrote:
>And here is another question. Developing GUI Application involves typed
>class system heavily, which makes the compiling time terribly long (if
>this is the root cause).

It's possible that typed classes are slowing down typechecking, in particular
typechecking methods can be slow. (I think this is in part because Typed
Racket has to fold over entire types, and class types can be large)

The typechecker for classes actually has some performance logging (that's
disabled by default):

  
https://github.com/racket/typed-racket/blob/master/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt#L37

which you could try turning on to see what's slow. (you will have to capture
the log output, e.g., by setting the PLTSTDERR environment variable)

Also if you send me some self-contained code that's particularly slow to
typecheck I can look into it too.

We don't have a global flag to turn off typechecking right now. I think the
best thing for us to do is to try to make TR faster.

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.


Re: [racket-users] [racket][typed] static-contracts/instantiate.rkt:64:2. car: contract violation.

2016-04-17 Thread WarGrey Gyoudmon Ju
On Sun, Apr 17, 2016 at 3:35 PM, Asumu Takikawa  wrote:

> If you can send me whatever code is necessary to reproduce the bug (even if
> it's not very minimal), I can try to fix it.
>

Thank you Asumu for caring about this bug.
But now I cannot reproduce it in the real world code either, just like that
it appeared unreasonably. Let me see if it would show up again.


And here is another question. Developing GUI Application involves typed
class system heavily, which makes the compiling time terribly long (if this
is the root cause). It always counts in minutes, this bad experience
sometimes makes me depressed, and sometimes kills time unnoticeably. So do
you have any suggestions?

I think provides a global switch to turn off the typechecking would be
great.

#lang typed/racket/no-check
#lang typed/racket/base/no-check

these two #langs only affects there own file (also, there is no
typed/racket/gui/no-check).
Do we already have that global switch?

Thanks.

-- 
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] Does `read-words/line' preserve last newline information?

2016-04-17 Thread Quico Jurado
On Saturday, April 16, 2016 at 4:20:16 PM UTC-6, Robby Findler wrote:
> And in response to Quico, I would say that what's happening here is
> that read-line (and therefore read-words/line) are interpreting a
> "line" to be a bunch of characters followed by a specific set of
> delimiters (a newline in the examples in this thread). And so if you
> have a file with "a\nb" then that is one line and one partial line.
> Since the file ends, then read-line just decides to act as if there
> were a fully terminated line at the end of the file.
> 
> Robby

Thanks for all the helpful responses.

I guess this make sense to me (partially). Probably the user has to have in 
mind how this works, since this could be source of confusion for some new 
users; like in the case of counting lines. If we use the two same files from 
the original example, using `wc' from the GNU coreutils, one would expect to 
get 3 lines and 2 lines respectively:

wc -l data/file1.txt
  # => 3 data/file1.txt
wc -l data/file2.txt  
  # => 2 data/file2.txt

on the other hand, if the user tries to count the number of lines based on the 
structure returned by `read-words/line' it would return 3 for both cases. 

(length (read-words/line "data/file1.txt"))
  ; => 3
(length (read-words/line "data/file2.txt"))
  ; => 3

Probably it would be a good idea to document this behavior so it doesn't 
surprises the new user.

Also, one of the responses from Matthias caught my attention where he mentioned 
that he wasn't able to reproduce this on his Mac.

Cheers,

-- 
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] Re: my best idea ever: become a sponsor of RacketCon 2016

2016-04-17 Thread Luke Stark
On Sunday, April 17, 2016 at 12:41:57 PM UTC-4, Matthew Butterick wrote:
> >> I don't want to be hit with a ray-of-shame...gentle or otherwise.
> >> 
> >> Please clarify?
> > 
> > Probably came across as grumpy, but wasn't...do you instead mean that IF 
> > you are making money with Racket, you should sponsor RacketCon?
> 
> Yes, that is all I meant. 
> 
> Of course everyone should use Racket professionally.

Well then, I guess it's up to me to get to a point with Racket that we're 
honor-bound to contribute. ;)

-- 
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] Re: my best idea ever: become a sponsor of RacketCon 2016

2016-04-17 Thread Matthew Butterick
>> I don't want to be hit with a ray-of-shame...gentle or otherwise.
>> 
>> Please clarify?
> 
> Probably came across as grumpy, but wasn't...do you instead mean that IF you 
> are making money with Racket, you should sponsor RacketCon?

Yes, that is all I meant. 

Of course everyone should use Racket professionally.

-- 
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: my best idea ever: become a sponsor of RacketCon 2016

2016-04-17 Thread Luke Stark
On Sunday, April 17, 2016 at 7:42:36 AM UTC-4, Luke Stark wrote:
> On Tuesday, April 12, 2016 at 11:28:42 PM UTC-4, Matthew Butterick wrote:
> 
> > I want to emit a special gamma ray of gentle shame to those Racketeers who 
> > use Racket professionally, i.e. make money from it. 
> 
> This is a somewhat confusing message. I'm trying to figure out a way to work 
> Racket into my day job...are you saying I shouldn't?
> 
> I don't want to be hit with a ray-of-shame...gentle or otherwise.
> 
> Please clarify?

Probably came across as grumpy, but wasn't...do you instead mean that IF you 
are making money with Racket, you should sponsor RacketCon?

-- 
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: my best idea ever: become a sponsor of RacketCon 2016

2016-04-17 Thread Luke Stark
On Tuesday, April 12, 2016 at 11:28:42 PM UTC-4, Matthew Butterick wrote:

> I want to emit a special gamma ray of gentle shame to those Racketeers who 
> use Racket professionally, i.e. make money from it. 

This is a somewhat confusing message. I'm trying to figure out a way to work 
Racket into my day job...are you saying I shouldn't?

I don't want to be hit with a ray-of-shame...gentle or otherwise.

Please clarify?

-- 
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] [racket][typed] static-contracts/instantiate.rkt:64:2. car: contract violation.

2016-04-17 Thread Asumu Takikawa
Hi WarGrey,

(sorry for the delayed response)

On 2016-04-09 14:39:31 +0800, WarGrey Gyoudmon Ju wrote:
>So, is it safe to just ignore the non-paired value in instantiate.rkt?

This error is coming up likely due to some bug in the Typed Racket contract
generation code (which is what that instantiate.rkt module does).  But if you
don't get the error in your actual code, it likely means the contract is
getting generated and is hopefully safe.

If you can send me whatever code is necessary to reproduce the bug (even if
it's not very minimal), I can try to fix it.

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.