Gambit-list Octobre 2014

gambit-list@iro.umontreal.ca

13 participants
21 discussions

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

Fwd: OSX and --enable-multiple-vms
by Adam King 16 Oct '14

16 Oct '14

I didn't realize my reply to Mikael was off the list - here's a possible fix. I'm still not sure if it's OSX10.10 specific or not: ---------- Forwarded message ---------- Thanks - you only need to change the value in 'configure' (and 'configure.ac' for a full autotool rebuild), and it does now work - not sure if this is an error in the configure script or OS X 10.10 specific. checking for struct stat64... yes checking for posix threads with CFLAGS=' ' and LIBS=' '... yes checking for thread local storage class... __thread Adam On Thu, Oct 16, 2014 at 12:36 PM, Mikael wrote: > Adam, can you replace all occurrences in your Gambit sources of "pthread_join > (&thread, NULL);" with "pthread_join (thread, NULL);" and check again? > > 2014-10-16 17:54 GMT+02:00 Adam King <akingcoder(a)gmail.com>: > >> I'd like to try out the multiple vm option as I want to have 2 separate >> OS threads, each running their own copy of gambit - neither of which need >> to communicate with the other, so I tried to rebuild Gambit using the >> --enable-multiple-vms option (this is under OS X 10.10 - Yosemite with >> Xcode6 - 6A313): >> >> quorra:gambit aking$ ./configure --enable-multiple-vms --enable-cplusplus >> >> It ends up showing the following warning: >> >> checking for struct stat64... yes >> checking for posix threads with CFLAGS=' ' and LIBS=' '... no >> checking for posix threads with CFLAGS=' -mt' and LIBS=' '... no >> checking for posix threads with CFLAGS=' -pthread' and LIBS=' '... no >> checking for posix threads with CFLAGS=' ' and LIBS=' -lpthread'... no >> checking for win32 threads... no >> configure: >> ********************************************************************* >> *** *** >> *** A thread system is required for this configuration but none *** >> *** of the supported thread systems (posix threads and win32 *** >> *** threads) are available on this platform. The configuration *** >> *** will proceed as though --disable-thread-system, *** >> *** --disable-multiple-vms, and --disable-multiple-threaded-vms *** >> *** were specified. *** >> *** *** >> ********************************************************************* >> >> Checking config.log, I see: >> >> configure:8106: checking for posix threads with CFLAGS=' ' and LIBS=' >> -lpthread' >> configure:8133: g++ -o conftest conftest.cpp -lpthread >&5 >> conftest.cpp:136:14: error: no matching function for call to >> 'pthread_join' >> pthread_join (&thread, NULL); >> ^~~~~~~~~~~~ >> /usr/include/pthread.h:336:5: note: candidate function not viable: no >> known conversion from 'pthread_t *' (aka '_opaque_pthread_t **') to >> 'pthread_t' (aka '_opaque_pthread_t *') for 1st argument; remove & >> int pthread_join(pthread_t , void **) __DARWIN_ALIAS_C(pthread_join); >> ^ >> 1 error generated. >> configure:8133: $? = 1 >> >> I *know* I have pthreads installed and working as I have 3 different >> apps all using pthreads on this system. Not sure what's going wrong here - >> pthread's API change? >> >> Adam >> >> _______________________________________________ >> Gambit-list mailing list >> Gambit-list(a)iro.umontreal.ca >> https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list >> >> >

2 1

OSX and --enable-multiple-vms
by Adam King 16 Oct '14

16 Oct '14

I'd like to try out the multiple vm option as I want to have 2 separate OS threads, each running their own copy of gambit - neither of which need to communicate with the other, so I tried to rebuild Gambit using the --enable-multiple-vms option (this is under OS X 10.10 - Yosemite with Xcode6 - 6A313): quorra:gambit aking$ ./configure --enable-multiple-vms --enable-cplusplus It ends up showing the following warning: checking for struct stat64... yes checking for posix threads with CFLAGS=' ' and LIBS=' '... no checking for posix threads with CFLAGS=' -mt' and LIBS=' '... no checking for posix threads with CFLAGS=' -pthread' and LIBS=' '... no checking for posix threads with CFLAGS=' ' and LIBS=' -lpthread'... no checking for win32 threads... no configure: ********************************************************************* *** *** *** A thread system is required for this configuration but none *** *** of the supported thread systems (posix threads and win32 *** *** threads) are available on this platform. The configuration *** *** will proceed as though --disable-thread-system, *** *** --disable-multiple-vms, and --disable-multiple-threaded-vms *** *** were specified. *** *** *** ********************************************************************* Checking config.log, I see: configure:8106: checking for posix threads with CFLAGS=' ' and LIBS=' -lpthread' configure:8133: g++ -o conftest conftest.cpp -lpthread >&5 conftest.cpp:136:14: error: no matching function for call to 'pthread_join' pthread_join (&thread, NULL); ^~~~~~~~~~~~ /usr/include/pthread.h:336:5: note: candidate function not viable: no known conversion from 'pthread_t *' (aka '_opaque_pthread_t **') to 'pthread_t' (aka '_opaque_pthread_t *') for 1st argument; remove & int pthread_join(pthread_t , void **) __DARWIN_ALIAS_C(pthread_join); ^ 1 error generated. configure:8133: $? = 1 I *know* I have pthreads installed and working as I have 3 different apps all using pthreads on this system. Not sure what's going wrong here - pthread's API change? Adam

1 0

Lots of -Wconversion warnings
by Bradley Lucier 13 Oct '14

13 Oct '14

I noticed a lot of warning when building Gambit-REPL in clang, so I decided to see whether they could be triggered in gcc. So I configured gambit with ./configure 'CC=/pkgs/gcc-devel/bin/gcc -W -Wall -march=native -Wconversion' '--enable-single-host' '--enable-multiple-versions' and indeed, the -Wconversion did pop up a lot of warnings; the log is attached. I'm a bit concerned when we have individual vector sizes > 2GB, etc. (My home machine now comes with 32GB RAM; at work, there's a server with 160GB.) Brad

2 4

How to build gambit for iOS
by Bradley Lucier 12 Oct '14

12 Oct '14

Marc: Can you remind me briefly how to build Gambit for iOS? I naively tried % misc/build-gambit-iOS but it ended with In file included from _num.c:776: ../include/gambit.h:19:10: fatal error: 'config.h' file not found #include "config.h" ^ In file included from _io.c:1365: ../include/gambit.h:19:10: fatal error: 'config.h' file not found #include "config.h" ^ 1 error generated. make: *** [_num.o] Error 1 make: *** Waiting for unfinished jobs.... 1 error generated. make: *** [_io.o] Error 1 Brad

4 12

Mathematics of Program Construction (MPC 2015): first call for papers
by José Pedro Magalhães 10 Oct '14

10 Oct '14

Apologies for multiple copies. FIRST CALL FOR PAPERS 12th International Conference on Mathematics of Program Construction (MPC 2015) Königswinter, Germany, 29 June - 1 July 2015 http://www.cs.ox.ac.uk/conferences/MPC2015/ BACKGROUND The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. The 2015 MPC conference will be held in Königswinter, Germany, from 29th June to 1st July 2015. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST), Kuressaare, Estonia (2006, colocated with AMAST), Marseille, France (2008), Québec City, Canada (2010, colocated with AMAST), and Madrid, Spain (2012). TOPICS Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The notion of "program" is broad, from algorithms to hardware. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of "pearls": elegant, instructive, and fun essays on the mathematics of program construction. IMPORTANT DATES * Submission of abstracts: 26 January 2015 * Submission of full papers: 2 February 2015 * Notification to authors: 16 March 2015 * Final version: 13 April 2015 SUBMISSION Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be submitted by 26 January 2015. Full papers (pdf) adhering to the LaTeX llncs style must be submitted by 2 February 2015. There is no official page limit, but authors should strive for brevity. The web-based system EasyChair will be used for submission (https://easychair.org/conferences/?conf=mpc2015). Papers must report previously unpublished work, and must not be submitted concurrently to a journal or to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors. Please feel free to write to mpc2015(a)easychair.org with any questions about academic matters. The proceedings of MPC 2015 will be published in Springer-Verlag's Lecture Notes in Computer Science series, as have all the previous editions. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers will be invited to submit revised versions to a special issue of the Elsevier journal Science of Computer Programming. PROGRAMME COMMITTEE Ralf Hinze University of Oxford, UK (chair) Eerke Boiten University of Kent, UK Jules Desharnais Université Laval, Canada Lindsay Groves Victoria University of Wellington, New Zealand Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton University of Nottingham, UK Johan Jeuring Utrecht University and Open University, The Netherlands Jay McCarthy Vassar College, US Bernhard Möller Universität Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Dave Naumann Stevens Institute of Technology, US Pablo Nogueira Universidad Politécnica de Madrid, Spain Ulf Norell University of Gothenburg, Sweden Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong José Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la República, Uruguay Christine Paulin-Mohring INRIA-Université Paris-Sud, France Tom Schrijvers KU Leuven, Belgium Emil Sekerinski McMaster University, Canada Tim Sheard Portland State University, US Anya Tafliovich University of Toronto Scarborough, Canada Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtländer Universität Bonn, Germany VENUE The conference will take place in Königswinter, Maritim Hotel, where accommodation has been reserved. Königswinter is situated on the right bank of the river Rhine, opposite Germany's former capital Bonn, at the foot of the Siebengebirge. LOCAL ORGANIZERS Ralf Hinze University of Oxford, UK (co-chair) Janis Voigtländer Universität Bonn, Germany (co-chair) José Pedro Magalhães University of Oxford, UK Nicolas Wu University of Oxford, UK For queries about local matters, please write to jv(a)informatik.uni-bonn.de.

1 0

data structure matching
by Hendrik Boom 10 Oct '14

10 Oct '14

Is there a data structure matching operator for Gambit? Something that I could feed a pattern like (list 'a c d) to and would match lists like (a (foo) onion), binding c to (foo) ad d to onion? I found a link to one such http://synthcode.com/scheme/match.scm in an old gambit mailing list message, but that site seems to be gone now. -- hendrik

3 2

Lowest common denominator calculation in ops on exact rationals can be postponed?
by Mikael 09 Oct '14

09 Oct '14

Dear Brad, Benchmark seems to show that doing any the following operations below with a and b as argument compared to doing the same with c and d as argument is about the following X slower: *: 179x (0.23345 vs 0.0013 ms per operation) /: 2.7x (0.23269 vs 0.0889 ms per operation) +: 202x (0.12112 vs 0.0006 ms per operation) -: 200x (0.12008 vs 0.0006 ms per operation) I guess this is because in the further case, the respective operation involves the calculation of a lowest common denominator for the divisor (i.e. what makes (+ 1/3 (+ 3/4 5/6)) and (+ (+ 1/3 3/4) 5/6) get the same result)? If so, I guess we can be clear that primarily for * + - , in batch calculations there'd be value in having the ability to perform those operations without that calculation, and then making a separate operation for that function - or are the algorithms such that postponing wouldn't actually be for the win? At what location in Gambit's sources is this calculation performed? Thanks, Mikael (define (r) (random-integer (expt 10 100))) (define a (/ (r) (r))) (define b (/ (r) (r))) (define c (r)) (define d (r))

2 2

ICFP 2015 Call for Workshop and Co-located Event Proposals
by David Van Horn 09 Oct '14

09 Oct '14

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2015 20th ACM SIGPLAN International Conference on Functional Programming August 30 - September 5, 2015 Vancouver, Canada http://icfpconference.org/icfp2015/ The 120th ACM SIGPLAN International Conference on Functional Programming will be held in Vancouver, British Columbia, Canada on August 30-September 5, 2015. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2015 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on August 30 (the day before ICFP) and September 3-5 (the three days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 16, 2014 Notification of acceptance: December 15, 2014 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2015 workshop co-chairs (Tom Schrijvers and Nicolas Wu), via email to icfp2015-workshops(a)cs.kuleuven.be by November 16, 2014. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 15, 2014, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2015/icfp15-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Guidelines/Workshops ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2015 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Tom Schrijvers (KU Leuven) Workshop Co-Chair: Nicolas Wu (University of Oxford) General Chair: Kathleen Fisher (Tufts University) Program Chair: John Reppy (University of Chicago) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Tom Schrijvers and Nicolas Wu), via email to icfp2015-workshops(a)cs.kuleuven.be.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Gambit-list Octobre 2014