Gambit-list Mars 2010

gambit-list@iro.umontreal.ca

25 participants
21 discussions

Bugfix release of Black Hole
by Per Eckerdal 19 Mar '10

19 Mar '10

Hi, I have now polished and tested the rewrite of the hygiene system enough that I feel confident to release it. Hopefully it doesn't introduce too many bugs. Changes/new features include: * Rewritten hygiene system. * The installation procedure has changed slightly, see the README. * The bugs with let-syntax and letrec-syntax are now zapped * It now writes warnings about missing symbol names when loading compiled modules * I added a better README for the github page * Better tests. Not good, but better. With this, I hope that the problems with hygiene are fixed. There are still a couple of bugs, for instance with DSSSL parameter scoping, but they are not design flaws. The "only" big thing that remains now is to implement the syntactic tower. Have a look at http://github.com/pereckerdal/blackhole/ Regards, Per

3 5

CFPapers: 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010)
by jur 19 Mar '10

19 Mar '10

CALL FOR PAPERS 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010) September 1-3, 2010 Utrecht University Alphen aan den Rijn, The Netherlands http://www.cs.uu.nl/wiki/bin/view/IFL2010/WebHome After a first successful visit to the USA, the Symposium on Implementation and Applications of Functional Languages returns to Europe for its 22nd edition. The hosting institution is Utrecht University in the Netherlands, although the conference itself will take place in the ornithological theme park Avifauna in Alphen aan den Rijn, situated conveniently close to Schiphol (Amsterdam Airport). The symposium dates are September 1-3, 2010. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2010 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2010 will use a post-symposium review process to produce formal proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series. All participants in IFL 2010 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues. Here we follow the ACM Sigplan republication policy as defined on http://www.sigplan.org/republicationpolicy.htm. The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles, which will appear in the formal proceedings. INVITED SPEAKER Johan Nordlander of Lulea University, the designer and developer of the Timber language, is the invited speaker at IFL 2010. Timber is a functional programming language that draws some of its concepts from object-oriented programming, and has built-in facilities for concurrent execution. The language is specifically targeted at implementing real-time embedded systems. TOPICS IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools. If you are not sure that your work is appropriate for IFL 2010, please contact the PC chair at jur(a)cs.uu.nl. Topics of interest include, but are not limited to: language concepts type checking contracts compilation techniques staged compilation runtime function specialization runtime code generation partial evaluation (abstract) interpretation generic programming techniques automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution functional programming and embedded systems functional programming and web applications functional programming and security novel memory management techniques runtime profiling and performance measurements debugging and tracing virtual/abstract machine architectures validation and verification of functional programs tools and programming techniques industrial applications of functional programming PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Computer Science of Utrecht University. PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. IMPORTANT DATES Draft proceedings submission deadline July 25, 2010 Registration deadline August 1, 2010 IFL 2010 Symposium September 1-3, 2010 Submission for review process deadline October 25, 2010 Notification Accept/Reject December 22, 2010 Camera ready version February 17, 2011 PROGRAM COMMITTEE Jost Berthold University of Copenhagen (DIKU), Denmark Olaf Chitil University of Kent, UK John Clements California Polytechnic State University, USA Matthew Fluet Rochester Institute of Technology, USA Andy Gill Kansas University, USA Jurriaan Hage (Chair) University of Utrecht, Netherlands Bastiaan Heeren Open University, Netherlands Ralf Hinze University of Oxford, UK John Hughes Chalmers University of Technology, Sweden Yukiyoshi Kameyama University of Tsukuba, Japan Gabriele Keller University of New South Wales, Australia Pieter Koopman Radboud University Nijmegen, Netherlands Luc Maranget INRIA, France Simon Marlow Microsoft Research, UK Marco T. Morazan Seton Hall University, USA Rex Page University of Oklahoma, USA Ricardo Pena Universidad Complutense de Madrid, Spain Sven-Bodo Scholz University of Hertfordshire, UK Tom Schrijvers Catholic University of Leuven, Belgium Don Stewart Galois, USA Wouter Swierstra Vector Fabrics, Netherlands Don Syme Microsoft, UK Peter Thiemann University of Freiburg, Germany Phil Trinder Heriott-Watt University, Scotland Janis Voigtlaender University of Bonn, Germany Viktoria Zsok Eotvos Lorand University, Hungary

1 0

Blackhole and undefined variables.
by Tomi Neste 19 Mar '10

19 Mar '10

It seems that Blackhole doesn't give any warnings when importing modules with undefined identifiers. With vanilla Gambit when loading files with undefined variables I get the '*** WARNING -- Variable "bar" used in module "foo.o1" is undefined' message but with Blackhole's import there is not any indication of error until runtime. Could Blackhole be modified to give a warning (or even an error?) when this happens. If I have understood correctly, situation where an identifier is not defined in the current or any of the imported modules is always on error anyway (except for the identifiers defined in the Gambits standard library...)? It would be an nice feature to have since tracking the undefined variables (especially in compiled code which only gives the rather obscure runtime error 'Operator is not a PROCEDURE (#!unbound ...)' message) can be quite annoying some times. PS. What is the policy on Blackhole related discussion? I see that there is also an (very quiet) mailing list for it, should that be used instead? -- tomppa

3 2

Re: [gambit-list] Meroon
by Bradley Lucier 13 Mar '10

13 Mar '10

On Wed, 2010-03-03 at 12:32 -0500, David St-Hilaire wrote: > Bradley Lucier wrote: > > It is, but I can't get benchmark.scm to run, even with a bit of hacking. > > Missing directories, files, getting errors in symbol-append, things like > > that. > > > This file is very old... I don't even remember writing it hehe. Please > don't mind the benchmark.scm file in the class repository. If your > interested about the benchmarks, they are presented in the thesis and > the source code of thoses benchmarks can be found in my thesis repo: > http://github.com/sthilaid/memoire/tree/master/redaction/benchmarks/ Indeed, but bench.scm has dependencies that aren't in the class git directory (or anywhere else I can find). I can't get it to run. I redid your define-type and meroon benchmarks to (a) put the definitions in separate files that are compiled separately, and (b) use the same bench.scm file for both. I added declarations to the file bench.scm because I want fx+ and fl- to be inlined. I didn't add any declarations to the files that defined the "class"es. I also set a minimum heap of 100,000KB because I didn't want to be benchmarking Gambit's garbage collector. I wanted to measure the speed when the "class" definitions are in a different file from the file that uses them. Maybe you wanted to measure something different. All the files are below. The results are: Define-type: heine:~/Desktop/oop-bench> gsi -:m100000 Gambit v4.6.0 > (load "define-type-definitions") "/home/lucier/Desktop/oop-bench/define-type-definitions.o2" > (load "bench") (instance-creation .1758890151977539) (access .06786298751831055) (modif .06581807136535645) (dispatch-2 .1283562183380127) (dispatch-5 .29570913314819336) (polymorhpic-dispatch-2 .13241195678710938) (polymorhpic-dispatch-5 .29534316062927246) "/home/lucier/Desktop/oop-bench/bench.o2" Meroon: heine:~/Desktop/oop-bench> gsi++ -:m100000 [ Meroon V3 Paques2001+1 $Revision: 1.2 $ ] Gambit v4.6.0 > (load "meroon-definitions") "/home/lucier/Desktop/oop-bench/meroon-definitions.o2" > (load "bench") (instance-creation .10095787048339844) (access .07755494117736816) (modif .07986021041870117) (dispatch-2 .26418304443359375) (dispatch-5 .31914305686950684) (polymorhpic-dispatch-2 .2722489833831787) (polymorhpic-dispatch-5 .39966797828674316) "/home/lucier/Desktop/oop-bench/bench.o2" So I measure the ratio between using define-type and meroon (>1 means define-type is faster, < 1 means meroon is faster): (instance-creation .5739862172170924) (access 1.142816489716763) (modif 1.2133477745860517) (dispatch-2 2.0582021490995888) (dispatch-5 1.0792465334831902) (polymorhpic-dispatch-2 2.0560755236092305) (polymorhpic-dispatch-5 1.3532325496726967) So I don't see much of a speed benefit to use define-type as compared to Meroon; this is quite different from the results in your thesis, so I suspect that you measured something quite different in your thesis. Brad

6 11

Gambit, iPod touch, arm6, mix interpreted and compiled code _not_
by Mats 12 Mar '10

12 Mar '10

Hi, I'm testing scheme on the iphone. I'm compiling scheme to c with gsc. And then compiling c with xcode. This binary is then used on the iphone simulator with great success. I can connect with a REPL and change running code. It works like expected. When doing the same over the wireless network to my real iPod touch(arm6). I can create new functions, verify that I can change them, but the running application is in "read-only"-mode. I looks like the REPL accept the changes, but the running program do not change. It feels like I can't mix compiled with interpreted code anymore. The compiled code lives in it's own world. 1. How to research this problem in the REPL? Or where do I look for a solution. I have just started looking at scheme. I have no prior experience with gambit. This is my first mail to the mailing-list. /Mats

2 2

Alexpander
by Marco Benelli 11 Mar '10

11 Mar '10

Hi all, I've done a little hacking on alexapaner (petrofsky.org/src/alexpander.scm) to make it works with DSSSL optional/keyword/rest values. It seems to works, and I have uploaded on Dumping Grounds. Now, I'd like integrate it in Gambit's `eval'. I'm not sure if it can works as ##expand-source and c#expand-source. Suggestions? --marco

3 5

TFP 2010 - 3rd CFP: Submit papers by April 9, REGISTRATION IS OPEN
by TFP 2010 10 Mar '10

10 Mar '10

TFP 2010: 11th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING May 17-19, 2010 University of Oklahoma http://www.cs.ou.edu/tfp2010/ TFP 2010 is an international forum for researchers with interests in any aspect of functional programming. SUBMISSION and REGISTRATION DEADLINES April 9: Submission deadline (extended from April 2) April 16: Early registration deadline ($350, $200 for students) May 7: Late registration deadline ($425) May 17-19: TFP Symposium POST-SYMPOSIUM PROCEEDINGS Springer series: Lecture Notes in Computer Science Details about the event schedule, symposium scope, submissions, and registration may be found on the symposium website. http://www.cs.ou.edu/tfp2010/ (Web browser key "tfp 2010") In addition to the symposium's stimulating presentations and discussions, highlights include an invited talk by J Strother Moore, an outing to view the superb collection of art of the American West at the Cowboy Hall of Fame, and a festive banquet. Submitted papers and extended abstracts are reviewed for presentation at the symposium, and a formal refereeing process after the symposium selects the best presentations for publication in the Springer series, Lecture Notes in Computer Science. We invite you to participate in TFP 2010. REGISTRATION IS OPEN! - Rex Page, University of Oklahoma, Program Chair - Viktia Zs and Zolt Horvath, Ev Lord University, Symposium Co-Chairs Sponsors: Erlang Solutions Ltd and The University of Oklahoma

1 0

open-process and standard error
by Lasse Kliemann 09 Mar '10

09 Mar '10

We can create a process port with open-process. We can read from the port what the process writes to its standard output. If we use option stderr-redirection, then we read process' standard output as well as its standard error. Is there a way to obtain these two separately? E.g., when we want to capture standard output but send standard error to /dev/null? Thank you!

2 1

[correction] gambit-c and black-home module system - how to produce stand alone executable?
by Vladimir Konrad 09 Mar '10

09 Mar '10

(unfinished sentence corrected) gsc-gambit -exe -e '(load "~~/lib/modules/build")' my-program.scm the above compiles, but when run, the my-program does not have functions from imported black-hole modules - they are shown as "!unbound". Please access the attached hyperlink for an important electronic communications disclaimer: http://www.lse.ac.uk/collections/planningAndCorporatePolicy/legalandComplia…

1 0

Meroon macros
by James Long 05 Mar '10

05 Mar '10

Bradley Lucier, or anyone else who knows Meroon, I figured I would break off from the previous discussion of Meroon to ask this question. It's quite a change of subject. I'm interested in fixing up Meroon's macros, possibly converting them into a hygienic solution. I'm actually hoping to convert Meroon into a Black Hole module. Black Hole provides DEFINE-MACRO with syntactic closures which provides hygiene. However, that is causing a few problems, mostly to deal with ambiguous situations which would be solved with ER macros. So there is talk of changing Black Hole's macros to maybe use ER macros. For now, DEFINE-MACRO in Black Hole works pretty well, and I think I can get Meroon working with it. In the future, as Black Hole matures, I can convert its macros into the appropriate hygienic solution which Black Hole provides, preferably syntax-rules since that would be portable. So that's my task. Can you help me by pointing me in the right direction? I grep'ed Meroon's source for all its macro defines and it looks like it's all in "meroon.gsc" and "macros.scm". However, it looks like Meroon calls certain functions at expansion time, so I need to make sure things are defined in the right phase (expansion, runtime, or both?). Why does your build script load "pre_meroon.scm" first before it can compile Merooon? Is Meroon written in Meroon? That makes it difficult, as I would have to fix up pre_meroon into a BH module as well, because I can never use BH's macro system and Gambit's at the same time (BH will throw "Invalid syntax" when trying to parse an expression that is a macro but it doesn't know it is). I've already tried getting it to work, and I had trouble grokking which functions needed to be available in which phase. Thanks, James

4 7

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Gambit-list Mars 2010