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

Gambit performance evolution
by Marc Feeley 20 Jui '15

20 Jui '15

I have a student, Julie Kienzle, working this summer on the evolution of Gambit’s performance over the history of the commits. The graphs produced by her work up to now are here: http://gambitscheme.org/~kienzle/charts/web/graphics-web.html There are graphs giving the geometric mean of all benchmarks in various settings (32/64 bit single/multiple hosts, with safe/unsafe declarations, etc), and also graphs for individual benchmarks. Comments are welcome. Marc

3 3

Character encoding and the repl
by Atticus 20 Jui '15

20 Jui '15

Hello, First and formost thanks for developing and maintaining gambit. As a beginner I'm a litte confused about the handling of the character encoding in the repl. $ gsi -:d,t8,f8 $> "ü" "\374" $> (string-ref "ü" 0) #\xfc $> (string->list "über") (#\xfc #\b #\e #\r) $> (with-output-to-file "test2" (lambda () (##write-string "ü") $> ,q $ cat test2 ü $ gsi -:d,t8,f8 $> (with-input-from-file "test2" (lambda () (read-char))) #\xfc With racket: $ racket $>"ü" "ü" $> (with-input-from-file "test2" (lambda () (read-char))) #\ü $> (string->list "über") '(#\ü #\b #\e #\r) Why does gambit return "\374" instead of "ü" in the repl when evaluating the string "ü"? I'm curious because in racket the repl returns the evaluated string as "ü"", also read-char in racket returns #\ü instead of #\xfc. Looking at the documentation I could change the behaviour with: ;;;; (output-port-readtable-set! (repl-output-port) (readtable-max-unescaped-char-set (output-port-readtable (repl-output-port)) #\U0010ffff)) ;;;; Are there any advantages for having this default readtable setting in gambit? As a beginner I think it's confusing.

4 28

How disable the console file while retaining maximum level of debug symbols?
by Adam 17 Jui '15

17 Jui '15

Hi Marc! How do you disable the console file while retaining a maximum level of debug symbols? Thanks!

1 0

How disable the console file while retaining maximum level of debug symbols?
by Adam 17 Jui '15

17 Jui '15

1 0

include, load and macros
by Atticus 30 Mai '15

30 Mai '15

Is it possible to "dynamicly" *include* a file? For example: (include (locate-file "file-with-macros.scm")) or (let ((f (locate-file "file.scm"))) (include f)) How to handle macros in gambit? The documentation says that macros are only accesible with *include*. This means I cannot mix procedures and macros in a file if I want to use *load* unless I use syntax-case. Is that right? Out of sheer curiosity, why is syntax-rules/syntax-case handled seperately in gambit?

3 3

Deadline Approaching - CFP: ACM SIGPLAN GPCE 2015
by Faruk Caglar 26 Mai '15

26 Mai '15

[Apologies if you receive multiple copies of this email] ------------------------------------------------------------- Call for Papers: Computer Languages, Systems and Structures COMLAN Special Issue on the 14th International Conference on Generative Programming: Concepts & Experiences (GPCE'15) Papers will be selected among top ranked papers from GPCE'15: ACM SIGPLAN GPCE 2015 14th International Conference on Generative Programming: Concepts & Experiences Oct 26-27, 2015, Pittsburgh, PA, USA http://www.gpce.org GPCE keynote speaker: Prof. Priya Narasimhan (CMU, USA) GPCE is co-located with: ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2015) and ACM SIGPLAN 8th International Conference on Software Language Engineering (SLE) 2015 ----------------------------------------------------------------- IMPORTANT DATES GPCE abstract submission : June 8, 2015 GPCE full paper submission: June 15, 2015 GPCE authors notification : July 24, 2015 GPCE camera-ready : Aug 7, 2015 GPCE conference : Oct 26-27, 2015 Special issue submission : January 1, 2016 Special issue notification: May 1, 2016 Special issue publication : July 1, 2016 Note that GPCE workshops are handled by SPLASH All dates are Anywhere on Earth ----------------------------------------------------------------- SCOPE GPCE is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. ----------------------------------------------------------------- TOPICS OF INTEREST GPCE seeks contributions on all topics related to generative software and its properties. Topics of interest include, but are not limited to: Generative software * Domain-specific languages (language extension, language embedding, language design, language theory, language workbenches, interpreters, compilers) * Product lines (domain engineering, feature-oriented and aspect-oriented programming, pre-processors, feature interactions) * Metaprogramming (reflection, staging, partial evaluation), Type systems, Program synthesis * Implementation techniques and tool support (components, plug-ins, libraries, metaprogramming, macros, templates, generic programming, run-time code generation, model-driven development, composition tools, code-completion and code-recommendation systems) Practical Applications and Empirical evaluations * Empirical evaluations of all topics above (user studies, substantial case studies, controlled experiments, surveys, rigorous measurements) * Application areas and engineering practice (Cloud Computing, Internet of Things, Cyber Physical Systems, Mobile Computing, Software Defined Networking, High Performance Computing, Patterns and Middleware, Development methods) Properties of generative software * Correctness of generators and generated code (analysis, testing, formal methods, domain-specific error messages, safety, security) * Reuse and evolution * Modularity, separation of concerns, understandability, and maintainability * Performance engineering, nonfunctional properties (program optimization and parallelization, GPGPUs, multicore, footprint, metrics) We particularly welcome papers that address some of the key challenges in the field, such as, * synthesizing code from declarative specifications * supporting extensible languages and language embedding * ensuring correctness and other nonfunctional properties of generated code * proving generators correct * improving error reporting with domain-specific error messages * reasoning about generators * handling variability-induced complexity in product lines * providing efficient interpreters and execution languages * human factors in developing and maintaining generators GPCE encourages submissions about empirical evaluations and applications of generative software, and such papers will be given special consideration during reviewing. ----------------------------------------------------------------- GPCE SUBMISSION GUIDELINES Research papers: 10 pages maximum (ACM SIGPLAN style) Research papers should report on original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed above (the PC chair can advise on appropriateness) Tool demos and short papers: 4 pages maximum (ACM SIGPLAN style). The goal of short papers is to promote current work on research and practice. Short papers represent an early communication of research and do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community, discuss ideas and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented with a shorter time slot at the conference. Tool demonstrations should present tools that implement generative techniques, and are available for use. Any of the GPCE topics of interest are appropriate areas for tool demonstrations, although purely commercial tool demonstrations will not be accepted. Submissions must provide a tool description of 4 pages in SIGPLAN proceedings style (see above) and a demonstration outline including screenshots of up to 4 pages. Tool demonstrations must have the words "Tool Demo" or "Tool Demonstration" in the title, possibly appended in parenthesis. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. ----------------------------------------------------------------- COMLAN SPECIAL ISSUE SUBMISSION GUIDELINES The special issue will publish GPCE'15 papers by invitation from the guest editors, is closed to papers outside the conference, and will only include top-ranked papers from GPCE'15 (based on the GPCE'15 review, see scope and topics of interest, above). The special issue will be published by Elsevier in Computer Languages, Systems and Structures (COMLAN): http://www.journals.elsevier.com/computer-languages-systems-and-structures/ ----------------------------------------------------------------- ORGANIZERS GENERAL CHAIR Christian Kastner, Carnegie Mellon University, Pittsburgh, PA, USA PROGRAM COMMITTEE CHAIR Aniruddha Gokhale, Vanderbilt University, Nashville, TN, USA PUBLICITY CO-CHAIRS Faruk Caglar, Vanderbilt University, Nashville, TN, USA Tomofumi Yuki, INRIA Rhone-Alpes, France SPECIAL ISSUE GUEST EDITORS Ulrik Pagh Schultz, University of Southern Denmark, Denmark Kenichi Asai, Ochanomizu University, Japan Aniruddha Gokhale, Vanderbilt University, Nashville, TN, USA PROGRAM COMMITTEE Kenichi Asai, Ochanomizu Univ, Japan Emilie Balland, INRIA Bordeaux, France Don Batory, Univ of Texas, USA Walter Binder, Univ of Lugano, Switzerland Jan Bosch, Chalmers Univ, Sweden Akshay Dabholkar, Oracle, USA Ewen Denney, NASA Ames, USA Katrina Falkner, Univ of Adelaide, Australia Bernd Fischer, Stellenbosch Univ, South Africa Matthew Flatt, Univ of Utah, USA Jeff Gray, Univ of Alabama, USA Michael Haupt, Oracle Labs, Germany James Hill, Indiana Univ Purdue Univ at Indianapolis, USA Young-Woo Kwon, Utah State Univ, USA Raffaela Mirandola, Politechnico di Milano, Italy Hridesh Rajan, Iowa State Univ, USA Laurent Reveillere, LaBRI, Univ of Bordeaux, France Marcio Ribeiro, Federal Univ of Alagoas, Brazil Tiark Rompf, Purdue Univ, USA Klaus Schmid, Stiftung Universitat Hildesheim, Germany Norbert Siegmund, Univ of Passau, Germany Yannis Smaragdakis, Univ of Athens, Greece Sumant Tambe, RTI Inc, USA Petr Tuma, Charles Univ, Czech Republic Nalini Venkatasubramanian, Univ of California, Irvine, USA Jules White, Vanderbilt Univ, USA Eric Wohlstadter, Univ of British Columbia, Canada

1 0

Gambit T-Shirts Now For Sale
by Gambit Shirt 25 Mai '15

25 Mai '15

Dear Gambit Users, Gambit T-Shirts is a small enterprise that has just taken flight. The online-store gives access to the newly designed Gambit T-shirt and allows anyone, from anywhere to purchase a T-shirt. You too can be part of the movement by ordering a shirt at: http://gambitscheme.org/wordpress The quantities are limited so act fast and be one of the first to own a Gambit T-shirt. Wear it with pride because these are exclusive limited edition T-shirts. In addition it is probably in your best interest to order several shirts at once to save on shipping. So buddy up with a friend and spread the word! :) Miriam Feeley, President of Gambit T-Shirts

1 0

[CFP] *DEADLINE EXTENDED* Scheme and Functional Programming Workshop 2015
by Andy Keep (akeep) 21 Mai '15

21 Mai '15

======================================================================== DEADLINE EXTENDED: Submissions is now May 31st, 2015 Call For Papers: Scheme and Functional Programming Workshop 2015 Vancouver, British Columbia, Canada (Co-located with ICFP 2015) http://andykeep.com/SchemeWorkshop2015/ ======================================================================== Submissions related to Scheme, Racket, Clojure, and functional programming are welcome and encouraged. Topics of interest include but are not limited to: * Program-development environments, debugging, testing * Implementation (interpreters, compilers, tools, benchmarks, etc.) * Syntax, macros, hygiene * Distributed computing, concurrency, parallelism * Interoperability with other languages, FFIs * Continuations, modules, object systems, types * Theory, formal semantics, correctness * History, evolution and standardization of Scheme * Applications, experience and industrial uses of Scheme * Education * Scheme pearls (elegant, instructive uses of Scheme) We also welcome submissions related to dynamic or multiparadigmatic languages and programming techniques. ======================================================================== Important Dates: May 31st, 2015 - Paper deadline (was May 22nd, 2015) July 5th, 2015 - Author notification (was June 26th, 2015) July 26th, 2015 - Camera-ready deadline (was July 19th, 2015) September 4th, 2015 - Workshop ======================================================================== Submissions must be in ACM proceedings format, no smaller than 9-point type (10-point type preferred). Microsoft Word and LaTeX templates for this format are available at: http://www.acm.org/sigs/sigplan/authorInformation.htm Submissions should be in PDF and printable on US Letter. To encourage authors to submit their best work, this year we are encouraging shorter papers (around 6 pages, excluding references). This is to allow authors to submit longer, revised versions of their papers to archival conferences or journals. Longer papers (10--12 pages) are also acceptable, if the extra space is needed. There is no maximum length limit on submissions, but good submissions will likely be in the range of 6 to 12 pages. More information available at: http://andykeep.com/SchemeWorkshop2015/ ======================================================================== Organizers: Andy Keep, Cisco Systems Inc. (General Chair) Ryan Culpepper, Northeastern University (Program Chair) (Apologies for duplications from cross-posting.) ========================================================================

1 0

Re: [gambit-list] Troubles wrapping libao and libvorbisfile with C-interface
by Wy nn 20 Mai '15

20 Mai '15

Marshall, Passing around byte vectors you probably want to do as u8vector scheme-object:s. I would guess right now you have a translation problem between the C and Scheme world of your buffer data pointer, and maybe that whole thing is messed up so it's surprising your program doesn't crash. foreign-address is your friend also. 2015-05-20 23:53 GMT+05:30 Marshall Mason <marshallmason2(a)gmail.com>: > Hello, > I'm new to Gambit, and to help me learn it, I'm trying to interface with > some C libraries, libao and libvorbisfile. It should play a simple Ogg > Vorbis sound file. It compiles and runs without error, but no sound is > played. I'm wondering if someone can help me with it. Here is the code: > http://pastie.org/10199051 > > I've narrowed the culprit to the named let toward the bottom, called > read-some. If, instead of this, I just implemented the whole loop in C, it > works. Here is the code that works: > http://pastie.org/10199086 > > Although this works, I'd like to understand why it doesn't work the first > way. My suspicion is that this has something to do with the character array > that holds the decoded buffer, called *pcmout*. I've tried using a > nonnull-char-string, but this created errors, so I created a > make-char-array function, to ensure that the string was the proper size. > The manual was unclear about how to do that. > > Anyone want to take a stab at this? Here's the version of Gambit I'm using: > > v4.7.4 20150228031125 x86_64-unknown-linux-gnu "./configure > '--enable-single-host' '--enable-c-opt' '--enable-gcc-opts'" > > Thanks, > Marshall > > _______________________________________________ > Gambit-list mailing list > Gambit-list(a)iro.umontreal.ca > https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list > >

1 0

Troubles wrapping libao and libvorbisfile with C-interface
by Marshall Mason 20 Mai '15

20 Mai '15

Hello, I'm new to Gambit, and to help me learn it, I'm trying to interface with some C libraries, libao and libvorbisfile. It should play a simple Ogg Vorbis sound file. It compiles and runs without error, but no sound is played. I'm wondering if someone can help me with it. Here is the code: http://pastie.org/10199051 I've narrowed the culprit to the named let toward the bottom, called read-some. If, instead of this, I just implemented the whole loop in C, it works. Here is the code that works: http://pastie.org/10199086 Although this works, I'd like to understand why it doesn't work the first way. My suspicion is that this has something to do with the character array that holds the decoded buffer, called *pcmout*. I've tried using a nonnull-char-string, but this created errors, so I created a make-char-array function, to ensure that the string was the proper size. The manual was unclear about how to do that. Anyone want to take a stab at this? Here's the version of Gambit I'm using: v4.7.4 20150228031125 x86_64-unknown-linux-gnu "./configure '--enable-single-host' '--enable-c-opt' '--enable-gcc-opts'" Thanks, Marshall

1 0