Re: [racket-users] (curry map string->number) in Typed Racket

2019-08-28 Thread Štěpán Němec
On Thu, 22 Aug 2019 16:40:03 -0400 Jon Zeppieri wrote: > (curry (inst map (U Complex False) String) > string->number) > > ... typechecks, but in your expression, you're going to need to handle > the possibility that the pattern variables in `list-rest` pattern are > #f. Many thanks for t

[racket-users] Gracket format

2019-08-28 Thread Mark Bestley
I am just learning racket using the real of Racket book. However I am have problems wil file formats. My .rkt file has become gracket format but I have no images or any non ascii/unicode text in it. This messes up version control and use of other editors. How can I force DrRacket not to corrupt

Re: [racket-users] (curry map string->number) in Typed Racket

2019-08-28 Thread Jon Zeppieri
On Wed, Aug 28, 2019 at 5:59 AM Štěpán Němec wrote: > > On Thu, 22 Aug 2019 16:40:03 -0400 > Jon Zeppieri wrote: > > > (curry (inst map (U Complex False) String) > > string->number) > > > > ... typechecks, but in your expression, you're going to need to handle > > the possibility that the

Re: [racket-users] (curry map string->number) in Typed Racket

2019-08-28 Thread Štěpán Němec
On Wed, 28 Aug 2019 09:23:03 -0400 Jon Zeppieri wrote: [...] >> Does that mean that for higher-order function parameters, inst expects >> only the return type signature, not that of the function itself? > > The main point here is that `inst` needs substitutions for the type > _variables_, not for

Re: [racket-users] Failed to load module in drracket

2019-08-28 Thread Robby Findler
I think the best path forward probably involves changing DrRacket so that, on a case-by-case basis, people can opt-in to loading specific external libraries automatically. I've not yet tried to implement that, but if someone wants to, the right starting place is the code that currently disallows th

[racket-users] First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

2019-08-28 Thread Jurriaan Hage
Hello, Please, find below the final call for draft papers for TFPIE 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Chair of TFPIE 2020

Re: [racket-users] Is it possible to sell commercial use rights to an open source Racket package?

2019-08-28 Thread 'Joel Dueck' via Racket Users
On Wednesday, August 28, 2019 at 12:10:56 AM UTC-5, Alex Harsanyi wrote: > > I am curious to know how you plan to comply with section 4.d of the LGPL, > which states that the users of your application must be able to replace the > LGPL "library" with a modified version of their own -- this means

Re: [racket-users] Failed to load module in drracket

2019-08-28 Thread Stephen De Gabrielle
Hi I’ve logged this as https://github.com/racket/drracket/issues/302 It’s not well logged - simply a placeholder - but it does reference this thread on gg should someone be interested. S On Wed, 28 Aug 2019 at 23:16, Robby Findler wrote: > I think the best path forward probably involves changi

Re: [racket-users] Gracket format

2019-08-28 Thread Kieron Hardy
Hi Mark, How are you starting your program? Are you launching Racket from a command line or launching by e.g. double-clicking an icon in the Windows window manager? What version of Windows? Cheers, Kieron > On Aug 28, 2019, at 5:44 AM, Mark Bestley wrote: > > I am just learning racket us

Re: [racket-users] Quadruple-precision floating-point support?

2019-08-28 Thread Shaobo He
Hello George, Let me describe my use case first so that it's easier to clarify why bigfloat or double-double don't work for me. The program I've been working on requires emulation of arbitrary-precision *IEEE 754* floating-point arithmetic (the maximum precision is double, for now) and easy/effici

Re: [racket-users] (curry map string->number) in Typed Racket

2019-08-28 Thread Jon Zeppieri
On Wed, Aug 28, 2019 at 9:58 AM Štěpán Němec wrote: > > On Wed, 28 Aug 2019 09:23:03 -0400 > Jon Zeppieri wrote: > > [...] > > >> Does that mean that for higher-order function parameters, inst expects > >> only the return type signature, not that of the function itself? > > > > The main point here

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Jay McCarthy
My thoughts are in the thread you linked to: https://github.com/racket/racket2-rfcs/issues/105#issuecomment-521446706 """ I see Racket2 through the rubric of "We almost never break backwards compatible and insist on gradual evolution as the only way to make progress; but, now we are willing to mak

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Breck Yunits
I'd recommend investing work to make the problem of porting Racket1 code to RacketN painless. Hopefully as simple as one method call. If translating Racket1 code to RacketX is made an easy problem, then you can do what is best for RacketX without worrying about how backwards compatibility. That w

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Robby Findler
I'm not sure this was clear, but I think the clear goal for backwards compatibility is that code that used to run continues to run indefinitely. With no changes. That's certainly what the Racket core developers mean by "backwards compatible". In other words "requiring porting" is the opposite of "

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Jay McCarthy
Exactly. We don't change anything about Racket 1 in a way that makes any adaption needed. That's why putting a new "#lang" at the top of new programs is such a big deal, because we can have a new level to have backwards compatibility with for the NEXT 25 years. Jay -- Jay McCarthy Associate Profe

Re: [racket-users] Is it possible to sell commercial use rights to an open source Racket package?

2019-08-28 Thread Neil Van Dyke
wrote on 8/28/19 11:45 AM: Perhaps naively (IANAL), I am willing to be the guinea pig who [...] I really would've expected the applied game theory civil disobedience / anarchism to kick in on a *different* Racket issue. :) If someone violates (their non-lawyer interpretation of) the Racket

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread David Storrs
Thanks, Jay. I've responded to the RFC. On Wed, Aug 28, 2019 at 12:28 PM Jay McCarthy wrote: > My thoughts are in the thread you linked to: > > https://github.com/racket/racket2-rfcs/issues/105#issuecomment-521446706 > """ > I see Racket2 through the rubric of "We almost never break backwards >

Re: [racket-users] Is it possible to sell commercial use rights to an open source Racket package?

2019-08-28 Thread Alexis King
> On Aug 28, 2019, at 11:54, Neil Van Dyke wrote: > > If someone violates (their non-lawyer interpretation of) the Racket license, > in a conspicuous manner like you suggest, would they not expect the SFC to > send them a nastygram -- perhaps if only for the SFC to show that they defend > the

Re: [racket-users] Is it possible to sell commercial use rights to an open source Racket package?

2019-08-28 Thread 'Joel Dueck' via Racket Users
On Wednesday, August 28, 2019 at 11:54:42 AM UTC-5, Neil Van Dyke wrote: > > If someone violates (their non-lawyer interpretation of) the Racket > license, in a conspicuous manner like you suggest, would they not expect > the SFC to send them a nastygram -- perhaps if only for the SFC to show >

[racket-users] Re: Gracket format

2019-08-28 Thread Mark Bestley
Kieron Hardy writes: > Hi Mark, > > How are you starting your program? > Not started it yet. Just using DrRacket and text editor for this issue. > Are you launching Racket from a command line or launching by e.g. > double-clicking an icon in the Windows window manager? > Running DrRacket fro

Re: [racket-users] Re: Gracket format

2019-08-28 Thread Kieron Hardy
> >> What version of Windows? >> > > MacOS 10.14.6 :) Mac, huh? I didn’t know Gracket was needed there. Sorry, I’m no help. -- 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, s

Re: [racket-users] Re: Gracket format

2019-08-28 Thread Sam Tobin-Hochstadt
The "Collapse S-expression" action is what leads to this result -- the collapsed state is saved in the file using the wxme gracket format. Sam On Wed, Aug 28, 2019 at 1:29 PM Mark Bestley wrote: > > Kieron Hardy writes: > > > Hi Mark, > > > > How are you starting your program? > > > > Not start

Re: [racket-users] Is it possible to sell commercial use rights to an open source Racket package?

2019-08-28 Thread Neil Van Dyke
Showing that you defend a copyright is not just for any legal status of it, but so that others take it seriously (e.g., are less likely to see what they can get away with, which was a significant problem for a while). Also, intentionally violating (as far as you know) a popular open source lic

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Hendrik Boom
On Wed, Aug 28, 2019 at 06:33:02AM -1000, Breck Yunits wrote: > I'd recommend investing work to make the problem of porting Racket1 code to > RacketN painless. Hopefully as simple as one method call. We already have such a mechanism. The Racket 1 code is prepended with #lang racket whereaas

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Neil Van Dyke
and everything is interoperable. That it will be interoperable is something that must be committed to, unambiguously -- it is not something #lang implementors get for free. (Based-on-a-true-story example of bad interoperability... Your Racket module naturally uses lists, the Racket langua

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Breck Yunits
> I'm not sure this was clear, but I think the clear goal for backwards compatibility is that code that used to run continues to run indefinitely. With no changes. That's certainly what the Racket core developers mean by "backwards compatible". In other words "requiring porting" is the opposite of

[racket-users] I'd like clarification about scribble and pollen.

2019-08-28 Thread Hendrik Boom
There are a few things not clear to me about scribble. Scribble programs start with a line #lang scribble This invokes a different language from the regular Racket, with its own syntax and a suite of new standard functions. Most of the input text seems to be translated to a list of strings, an

Re: [racket-users] I'd like clarification about scribble and pollen.

2019-08-28 Thread Jens Axel Søgaard
Den ons. 28. aug. 2019 kl. 20.45 skrev Hendrik Boom : > > There is even a documented trick that enables a user to > discover the s-expression resulting from a particular @-expression. > But this trick does not show the s-expression resulting from an entire > #lang scribble file. Is there a way to

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Robby Findler
On Wed, Aug 28, 2019 at 1:44 PM Breck Yunits wrote: > > > I'm not sure this was clear, but I think the clear goal for backwards > > compatibility is that code that used to run continues to run indefinitely. > > With no changes. That's certainly what the Racket core developers mean by > > "backw

[racket-users] Would it help to call racket2 something else?

2019-08-28 Thread Daniel Prager
Changing the canonical syntax seems like a bigger jump than from PLT Scheme to Racket. Perhaps a name change would help. I looked up English language anagrams of racket and found two: retack and tacker. *retack** [Nautical] To tack or alter course by sailing into the wind for a second or further

Re: [racket-users] Would it help to call racket2 something else?

2019-08-28 Thread David Storrs
On Wed, Aug 28, 2019 at 5:08 PM Daniel Prager wrote: > Changing the canonical syntax seems like a bigger jump than from PLT > Scheme to Racket. > > Perhaps a name change would help. > > I looked up English language anagrams of racket and found two: retack and > tacker. > > *retack** [Nautical] To

Re: [racket-users] Quadruple-precision floating-point support?

2019-08-28 Thread George Neuner
Hi, On 8/28/2019 11:49 AM, Shaobo He wrote: Let me describe my use case first so that it's easier to clarify why bigfloat or double-double don't work for me. The program I've been working on requires emulation of arbitrary-precision *IEEE 754* floating-point arithmetic (the maximum precision i

[racket-users] New version of file-watchers

2019-08-28 Thread Sage Gerard
Version 0.2 of the file monitoring package file-watchers is about to drop. Here's a PR for public review. There are no contributors, so I plan to merge in 48 hours if there is no feedback. Otherwise I'll play it by ear. https://github.com/zyrolasting/file-watchers/pull/4 The new release upgrade

[racket-users] Different behaviors between Racket 7.4 and its CS variant

2019-08-28 Thread Shaobo He
Hello everyone, I observed the discrepancy between the outputs of Racket 7.4 and its CS variant on a function that uses the random number generator. Please see the following two screenshots. Is the behavior expected? Thanks, Shaobo [image: Capture1.PNG] [image: Capture2.PNG] -- You recei

Re: [racket-users] Is it possible to sell commercial use rights to an open source Racket package?

2019-08-28 Thread Alex Harsanyi
On Wednesday, August 28, 2019 at 11:45:10 PM UTC+8, Joel Dueck wrote: > > On Wednesday, August 28, 2019 at 12:10:56 AM UTC-5, Alex Harsanyi wrote: >> >> I am curious to know how you plan to comply with section 4.d of the LGPL, >> which states that the users of your application must be able to re

Re: [racket-users] Would it help to call racket2 something else?

2019-08-28 Thread 'Joel Dueck' via Racket Users
On Wednesday, August 28, 2019 at 4:14:40 PM UTC-5, David Storrs wrote: > On Wed, Aug 28, 2019 at 5:08 PM Daniel Prager wrote: > >> I reckon *#lang retack* would at least make an apt working title. ;-) >> > > Hang on, 'tack' means to change direction across the wind, so shouldn't > 'retack' mean

Re: [racket-users] Would it help to call racket2 something else?

2019-08-28 Thread Sage Gerard
#lang new-coke -slg Original Message On Aug 28, 2019, 10:39 PM, 'Joel Dueck' via Racket Users wrote: > On Wednesday, August 28, 2019 at 4:14:40 PM UTC-5, David Storrs wrote: > >> On Wed, Aug 28, 2019 at 5:08 PM Daniel Prager wrote: >> >>> I reckon #lang retack would at least m

Re: [racket-users] Would it help to call racket2 something else?

2019-08-28 Thread George Neuner
On 8/28/2019 10:56 PM, Sage Gerard wrote: #lang new-coke -slg "New Coke" was horrible ... tasted like the bastard child of Pepsi and Dr. Pepper. And no matter what they claim, "Classic Coke" never was (and still isn't) the same as the original.  Classic Coke hit shelves a mere 3 months

Re: [racket-users] Would it help to call racket2 something else?

2019-08-28 Thread Sage Gerard
That's actually really cool that you had both available to taste. My analogy doesn't totally fit, but the preliminary discussions of Racket2 looked enough like the preliminary discussions for New Coke to remind me of them--and to make cracking a joke about it too tempting. In terms of the OP, I

Re: [racket-users] Would it help to call racket2 something else?

2019-08-28 Thread Jon Zeppieri
On Wed, Aug 28, 2019 at 11:43 PM Sage Gerard wrote: > > Why is the name Racket2 so important, anyway? It isn't. It's been mentioned several times that "Racket2" is currently just a placeholder for whatever it ends up being called. https://github.com/racket/racket2-rfcs/issues/111#issuecomment-52

Re: [racket-users] Would it help to call racket2 something else?

2019-08-28 Thread Sage Gerard
Got it, thanks -slg Original Message On Aug 28, 2019, 11:48 PM, Jon Zeppieri wrote: > On Wed, Aug 28, 2019 at 11:43 PM Sage Gerard wrote: >> >> Why is the name Racket2 so important, anyway? > > It isn't. It's been mentioned several times that "Racket2" is > currently just a pl

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Benjamin Yeung
On Wed, Aug 28, 2019 at 12:28 PM Jay McCarthy wrote: > > I'll add that I see S-expressions as obviously limited and it would be > nice to make a more powerful syntactic extension system that does not > say, "You can have anything you want, provided it is a parenthesis." > > So for me, I don't see

Re: [racket-users] Would it help to call racket2 something else?

2019-08-28 Thread David Storrs
On Wed, Aug 28, 2019, 11:43 PM Sage Gerard wrote: > > Maybe I'm overthinking this. I already know that nothing in #lang racket > is getting thrown out or anything. Yes, it is. #lang racket uses parenthesized S-expressions and prefix notation such that operator precedence is not relevant and ea

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Konrad Hinsen
Robby Findler writes: > Of course, it is good to make it easy to move to new versions of the > language, but if there is no real benefit to the transition for the > programmer (eg they aren't planning to touch that code for the next N > months anyway as it does its job well) then I think we shoul