- Gambit-list - mailman.iro.umontreal.ca

ICFP 2015: Call for Papers
by David Van Horn 07 Nov '14

07 Nov '14

===================================================================== 20th ACM SIGPLAN International Conference on Functional Programming ICFP 2015 Vancouver, Canada, August 31 - September 2, 2015 http://www.icfpconference.org/icfp2015 ===================================================================== Important Dates ~~~~~~~~~~~~~~~ Submissions due: Friday, February 27 2015, 23:59 UTC-11 Author response: Tuesday, April 21, 2015 through Thursday, 23 April, 2015 Notification: Friday, May 1, 2015 Final copy due: Friday, June 12, 2015 Scope ~~~~~ ICFP 2015 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects, concurrency, or parallelism. Topics of interest include (but are not limited to): * Language Design: concurrency, parallelism, and distribution; modules; components and composition; metaprogramming; type systems; interoperability; domain-specific languages; and relations to imperative, object-oriented, or logic programming. * Implementation: abstract machines; virtual machines; interpretation; compilation; compile-time and run-time optimization; garbage collection and memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components, or low-level machine resources. * Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling. * Foundations: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects; program verification; dependent types. * Analysis and Transformation: control-flow; data-flow; abstract interpretation; partial evaluation; program calculation. * Applications: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia and 3D graphics programming; scripting; system administration; security. * Education: teaching introductory programming; parallel programming; mathematical proof; algebra. * Functional Pearls: elegant, instructive, and fun essays on functional programming. * Experience Reports: short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working. If you are concerned about the appropriateness of some topic, do not hesitate to contact the program chair. Abbreviated instructions for authors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ * By Friday, 27 February 2015, 23:59 UTC-11 (anywhere in the world), submit a full paper of at most 12 pages (6 pages for an Experience Report) in standard ACM conference format, including bibliography, figures, and appendices. The deadlines will be strictly enforced and papers exceeding the page limits will be summarily rejected. * Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. * Each submission must adhere to SIGPLAN's republication policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication * Authors of resubmitted (but previously rejected) papers have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the program chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Overall, a submission will be evaluated according to its relevance, correctness, significance, originality, and clarity. It should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. The technical content should be accessible to a broad audience. Functional Pearls and Experience Reports are separate categories of papers that need not report original research results and must be marked as such at the time of submission. Detailed guidelines on both categories are on the conference web site. Proceedings will be published by ACM Press. Authors of accepted submissions will have a choice of one of three ways to manage their publication rights. These choices are described at http://authors.acm.org/main.html Presentations will be videotaped and released online if the presenter consents. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Formatting: Submissions must be in PDF format printable in black and white on US Letter sized paper and interpretable by Ghostscript. Papers must adhere to the standard ACM conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LaTeX is available at http://www.acm.org/sigs/sigplan/authorInformation.htm Submission: Submissions will be accepted on the web using a link that will be posted at http://icfpconference.org/icfp2015/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Author response: Authors will have a 72-hour period, starting at 0:00 UTC on Tuesday, 21 April 2015, to read reviews and respond to them. ACM Author-Izer is a unique service that enables ACM authors to generate and post links on either their home page or institutional repository for visitors to download the definitive version of their articles from the ACM Digital Library at no charge. Downloads through Author-Izer links are captured in official ACM statistics, improving the accuracy of usage and impact measurements. Consistently linking the definitive version of ACM article should reduce user confusion over article versioning. After your article has been published and assigned to your ACM Author Profile page, please visit http://www.acm.org/publications/acm-author-izer-service to learn how to create your links for free downloads from the ACM DL. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. General Chair: Kathleen Fisher Tufts University (USA) Program Chair: John Reppy University of Chicago (USA) Program Committee: Amal Ahmed Northeastern University (USA) Jean-Philippe Bernardy Chalmers University of Technology (Sweden) Matthias Blume Google (USA) William Byrd University of Utah (USA) Andy Gill University of Kansas (USA) Neal Glew Google (USA) Fritz Henglein University of Copenhagen (Denmark) Gabriele Keller University of New South Wales and NICTA (Australia) Andrew Kennedy Microsoft Research Cambridge (UK) Neelakantan Krishnaswami Birmingham University (UK) Daan Leijen Microsoft Research Redmond (USA) Keiko Nakata Institute of Cybernetics at Tallinn University of Technology (Estonia) Mike Rainey INRIA Rocquencourt (France) Andreas Rossberg Google (Germany) Manuel Serrano INRIA Sophia Antipolis (France) Simon Thompson University of Kent (UK) David Van Horn University of Maryland (USA) Stephanie Weirich University of Pennsylvania (USA)

1 0

Re: [gambit-list] Macro to use ??? character as ?lambda?
by James Baker 27 Oct '14

27 Oct '14

It does work on linux, note that the path in the shebang line may be different for your environment. jamesb@debian:/tmp$ cat test.scm #!/usr/local/Gambit-C/bin/scheme-r5rs -:s (define-syntax λ (syntax-rules () ((_ param body ...) (lambda param body ...)))) (define square (λ (x) (* x x))) (println (square 42)) jamesb@debian:/tmp$ ./test.scm 1764 On Tue, Oct 28, 2014 at 10:18 AM, Roy Pfund <roypfund(a)gmail.com> wrote: > That may work on OS X, but I just tested it does not work on linux : ( > > > On Sunday, October 26, 2014, James Baker <cycle.code.media(a)gmail.com> > wrote: > >> Not really gambit specific but it works like this: >> >> #!/usr/local/Gambit-C/bin/scheme-r5rs -:s >> >> On Mon, Oct 27, 2014 at 1:49 PM, Roy Pfund <roypfund(a)gmail.com> wrote: >> >>> The shebang "#!/usr/bin/env scheme-r5rs -:s" doesn't even call Gambit, >>> an gives the following error: >>> >>> /usr/bin/env: scheme-r5rs -:s: No such file or directory >>> >>> >>> On Sun, Oct 26, 2014 at 9:31 PM, James Baker <cycle.code.media(a)gmail.com >>> > wrote: >>> >>>> I dont use them but I think for memory scheme-r5rs and the like only >>>> set case sensitivity and keyword preferences, it wont make syntax-rules / >>>> syntax-case available to you for that you would still need tell it to load >>>> eg. >>>> >>>> scheme-r5rs -:s >>>> >>>> >>>> >>>> On Mon, Oct 27, 2014 at 1:20 PM, Roy Pfund <roypfund(a)gmail.com> wrote: >>>> >>>>> I'm using scheme-r5rs not the regular gsi and your solution doesn't >>>>> work; >>>>> >>>>> So does anyone know how I can set "standard Scheme mode" just like the >>>>> command line option "-:s" from within a executable scheme file?? >>>>> >>>>> On Sun, Oct 26, 2014 at 4:58 PM, James Baker < >>>>> cycle.code.media(a)gmail.com> wrote: >>>>> >>>>>> I know its not exactly what you asked for, but I found this gambit >>>>>> specific trick recently. >>>>>> >>>>>> (##include "~~/lib/_gambit#.scm") >>>>>> (define-runtime-syntax λ (##make-alias-syntax '##lambda)) >>>>>> >>>>>> Which you can use as normal: >>>>>> >>>>>> > (define square (λ (x) (* x x))) >>>>>> > square >>>>>> #<procedure #2 square> >>>>>> > (square 42) >>>>>> 1764 >>>>>> > >>>>>> >>>>>> James >>>>>> >>>>>> On Mon, Oct 27, 2014 at 5:20 AM, Roy Pfund <roypfund(a)gmail.com> >>>>>> wrote: >>>>>> > From http://stackoverflow.com/a/26570837/144020 I tried the >>>>>> following: >>>>>> > >>>>>> > (define-syntax λ (syntax-rules () ((_ param body ...) (lambda param >>>>>> body >>>>>> > ...)))) >>>>>> > >>>>>> > It works! but ONLY IF you call the script from the gsi not with >>>>>> > >>>>>> > #!/usr/bin/env scheme-r5rs >>>>>> > >>>>>> > Does anyone know I can set the command line OPTION s|S "set >>>>>> standard Scheme >>>>>> > mode" from within a scheme file?? >>>>>> > >>>>>> > _______________________________________________ >>>>>> > Gambit-list mailing list >>>>>> > Gambit-list(a)iro.umontreal.ca >>>>>> > https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list >>>>>> > >>>>>> >>>>> >>>>> >>>>> >>>>> -- >>>>> >>>>> ------------------------------ >>>>> RoyPfund(a)gmail.com >>>>> AT1-ROY-BOY1 >>>>> (281-769-2691) >>>>> >>>> >>>> >>> >>> >>> -- >>> >>> ------------------------------ >>> RoyPfund(a)gmail.com >>> AT1-ROY-BOY1 >>> (281-769-2691) >>> >> >> > > -- > > ------------------------------ > RoyPfund(a)gmail.com > AT1-ROY-BOY1 > (281-769-2691) > >

1 0

How I can set "standard Scheme mode" just like the command line option "-:s" from within a executable scheme file??
by Roy Pfund 26 Oct '14

26 Oct '14

I hope I'm not breaking any rules, but this process originally started in another thread: Macro to use “λ” character as “lambda” in R5RS Scheme? But after seeing it execute properly in Racket AND Gambit I know the problem lies not in the code but in the calling mechanism, which is why I am starting this new thread. https://gist.githubusercontent.com/GlassGhost/bdf2b28f6c3592f3933a/raw/deri… This file executes great, with the Racket shebang the file can be ran thus: ./derive.ss If I uncomment line 3 and delete lines 1-2 to change from Racket to Gambit, When I execute ./derive.ss It throws "*** ERROR IN "derive.ss"@8.33 -- Ill-formed expression". However Gambit works as great as it did earlier with Racket IF I do: scheme-r5rs -:s ./derive.ss So, how I can set "standard Scheme mode" just like the command line option "-:s" from within a Shebang Executed scheme file in Gambit??

1 0

Re: [gambit-list] Macro to use “λ” character as “lambda” in R5RS Scheme?
by James Baker 26 Oct '14

26 Oct '14

Not really gambit specific but it works like this: #!/usr/local/Gambit-C/bin/scheme-r5rs -:s On Mon, Oct 27, 2014 at 1:49 PM, Roy Pfund <roypfund(a)gmail.com> wrote: > The shebang "#!/usr/bin/env scheme-r5rs -:s" doesn't even call Gambit, an > gives the following error: > > /usr/bin/env: scheme-r5rs -:s: No such file or directory > > > On Sun, Oct 26, 2014 at 9:31 PM, James Baker <cycle.code.media(a)gmail.com> > wrote: > >> I dont use them but I think for memory scheme-r5rs and the like only set >> case sensitivity and keyword preferences, it wont make syntax-rules / >> syntax-case available to you for that you would still need tell it to load >> eg. >> >> scheme-r5rs -:s >> >> >> >> On Mon, Oct 27, 2014 at 1:20 PM, Roy Pfund <roypfund(a)gmail.com> wrote: >> >>> I'm using scheme-r5rs not the regular gsi and your solution doesn't >>> work; >>> >>> So does anyone know how I can set "standard Scheme mode" just like the >>> command line option "-:s" from within a executable scheme file?? >>> >>> On Sun, Oct 26, 2014 at 4:58 PM, James Baker <cycle.code.media(a)gmail.com >>> > wrote: >>> >>>> I know its not exactly what you asked for, but I found this gambit >>>> specific trick recently. >>>> >>>> (##include "~~/lib/_gambit#.scm") >>>> (define-runtime-syntax λ (##make-alias-syntax '##lambda)) >>>> >>>> Which you can use as normal: >>>> >>>> > (define square (λ (x) (* x x))) >>>> > square >>>> #<procedure #2 square> >>>> > (square 42) >>>> 1764 >>>> > >>>> >>>> James >>>> >>>> On Mon, Oct 27, 2014 at 5:20 AM, Roy Pfund <roypfund(a)gmail.com> wrote: >>>> > From http://stackoverflow.com/a/26570837/144020 I tried the >>>> following: >>>> > >>>> > (define-syntax λ (syntax-rules () ((_ param body ...) (lambda param >>>> body >>>> > ...)))) >>>> > >>>> > It works! but ONLY IF you call the script from the gsi not with >>>> > >>>> > #!/usr/bin/env scheme-r5rs >>>> > >>>> > Does anyone know I can set the command line OPTION s|S "set standard >>>> Scheme >>>> > mode" from within a scheme file?? >>>> > >>>> > _______________________________________________ >>>> > Gambit-list mailing list >>>> > Gambit-list(a)iro.umontreal.ca >>>> > https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list >>>> > >>>> >>> >>> >>> >>> -- >>> >>> ------------------------------ >>> RoyPfund(a)gmail.com >>> AT1-ROY-BOY1 >>> (281-769-2691) >>> >> >> > > > -- > > ------------------------------ > RoyPfund(a)gmail.com > AT1-ROY-BOY1 > (281-769-2691) >

1 0

Re: [gambit-list] Macro to use “λ” character as “lambda” in R5RS Scheme?
by James Baker 26 Oct '14

26 Oct '14

I dont use them but I think for memory scheme-r5rs and the like only set case sensitivity and keyword preferences, it wont make syntax-rules / syntax-case available to you for that you would still need tell it to load eg. scheme-r5rs -:s On Mon, Oct 27, 2014 at 1:20 PM, Roy Pfund <roypfund(a)gmail.com> wrote: > I'm using scheme-r5rs not the regular gsi and your solution doesn't work; > > So does anyone know how I can set "standard Scheme mode" just like the > command line option "-:s" from within a executable scheme file?? > > On Sun, Oct 26, 2014 at 4:58 PM, James Baker <cycle.code.media(a)gmail.com> > wrote: > >> I know its not exactly what you asked for, but I found this gambit >> specific trick recently. >> >> (##include "~~/lib/_gambit#.scm") >> (define-runtime-syntax λ (##make-alias-syntax '##lambda)) >> >> Which you can use as normal: >> >> > (define square (λ (x) (* x x))) >> > square >> #<procedure #2 square> >> > (square 42) >> 1764 >> > >> >> James >> >> On Mon, Oct 27, 2014 at 5:20 AM, Roy Pfund <roypfund(a)gmail.com> wrote: >> > From http://stackoverflow.com/a/26570837/144020 I tried the following: >> > >> > (define-syntax λ (syntax-rules () ((_ param body ...) (lambda param body >> > ...)))) >> > >> > It works! but ONLY IF you call the script from the gsi not with >> > >> > #!/usr/bin/env scheme-r5rs >> > >> > Does anyone know I can set the command line OPTION s|S "set standard >> Scheme >> > mode" from within a scheme file?? >> > >> > _______________________________________________ >> > Gambit-list mailing list >> > Gambit-list(a)iro.umontreal.ca >> > https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list >> > >> > > > > -- > > ------------------------------ > RoyPfund(a)gmail.com > AT1-ROY-BOY1 > (281-769-2691) >

1 0

Macro to use “λ” character as “lambda” in R5RS Scheme?
by Roy Pfund 26 Oct '14

26 Oct '14

>From http://stackoverflow.com/a/26570837/144020 I tried the following: (define-syntax λ (syntax-rules () ((_ param body ...) (lambda param body ...)))) It works! but ONLY IF you call the script from the gsi not with #!/usr/bin/env scheme-r5rs Does anyone know I can set the command line OPTION s|S "set standard Scheme mode" from within a scheme file??

4 3

v4.7.3 ??
by Roy Pfund 26 Oct '14

26 Oct '14

https://github.com/feeley/gambit/releases says that the latest release is v4.7.0 while http://gambitscheme.org/wiki/index.php/Main_Page says that the latest release is v4.7.3, why is there a discrepancy?

1 0

GCC Undefined Behavior Sanitizer ? ubsan | Red
by Bradley Lucier 22 Oct '14

22 Oct '14

http://developerblog.redhat.com/2014/10/16/gcc-undefined-behavior-sanitizer… More tools to help "sanitize" the gambit source code. Sometime I'll get around to something like this ... Brad

2 1

Inner/local defines' evaluation order in Gambit?
by Mikael 19 Oct '14

19 Oct '14

Dear Marc, As I got it, R5RS has no particular requirement here, while R7RS requires sequential evaluation order i.e. that (let () (define a #t) (define b a) b) always evaluates to #t , and (let () (define b a) (define a #t) b) always evaluates to #!unbound . Comically enough, when I evaluate the above in Gambit, in interpreted mode, I get #!unbound for both, and in compiled mode, I get #t for both. What's the rule and underlying though here? Thanks, Mikael

1 0

Gambit REPL 6.2
by Marc Feeley 18 Oct '14

18 Oct '14

Over the past couple of weeks I have been updating the Gambit REPL iOS app for the new iOS and devices. I just got a message that Gambit REPL 6.2 has been approved and should be on the app store shortly. The new version has a cleaner interface, and an extended keyboard with lots of characters that are useful when coding Scheme. Marc

2 2