Poly/ML July 2013

polyml@lists.polyml.org

4 participants
4 discussions

Inspecting structures
by ramana.kumar＠gmail.com 27 Jan '16

27 Jan '16

Is there a way to look at the contents (i.e. signature) of a structure without opening it? (I suppose you could just open it then call a lot of PolyML.Compiler.forgetXXX, but that's quite tedious) Also, is it possible to retrieve the long path of an identifier in scope? Something that will, for example, take the rev in scope and say that it came from List. Finally, what about searching for an identifier that would come into scope if you opened some structures?

3 5

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 29 Dec '14

29 Dec '14

I wrote: > I am completely baffled. I thought I hada solved all my problems on > MacOS X > 10.6 and was just tidying up, when I had to recompile a 32 bit > version of > Poly/ML to test a tidied up make file. This failed because > PolyML.Compiler.printTypesWithStructureName no longer exists. The same > problem happened when i rebuild a 64 bit version. What has happened? but it was a false alarm: my make file was wrong for other reasons and the absence of PolyML.Compiler.printTypesWithStructureName was not relevant. No doubt there are good reasons why this variable has been withdrawn. Regards, Rob.

3 6

Fwd: Performance experiment with Poly/ML
by jesus-maria.aransay＠unirioja.es 30 Jul '13

30 Jul '13

Hi David and Matthew, thanks for your encouraging answers. The SML code directly generated from Isabelle/HOL is available from the input [ADb] in the paper bibliography, in http://www.unirioja.es/cu/jodivaso/Isabelle/Gauss-Jordan/ under the link "View the generated code". The matrices used for the benchmarks are in a zip file (9MB compressed, 160MB uncompressed) in the link "Download the benchmarks" in the previous website. Uncompressing the folder three different folders appear (RAT, REAL, Z2). In each of these folders there is a "Readme" file where we describe how we carried out the computations (we would be very glad to hear if there is a more proper way, both in MLton and Poly/ML). The segmentation fault was raised with Poly/ML 5.5 trying to compute the matrix "Benchmarks/REAL/800_real.sml". There is also the issue of lack of performance from Poly/ML 5.5 to Poly/ML 5.2. As an example, the matrix "Benchmarks/REAL/200_real.sml" sums up 3.7 (processing) + 0.7 (executing) seconds with Poly/ML 5.5 and 31.0 (processing) + 0.4 (executing) seconds with Poly/ML 5.2 (the version shipped as an Ubuntu package); the same matrix in MLton took 9145.0 (processing) + 0.5 (executing) seconds. Thanks in advance for your advice, do not hesitate to contact us for further questions, Jesus On Thu, Jul 25, 2013 at 4:59 PM, Matthew Fluet <matthew.fluet at gmail.com> wrote: > On Thu, Jul 25, 2013 at 8:03 AM, David Matthews > <David.Matthews at prolingua.co.uk> wrote: >> On 25/07/2013 11:29, Jesus Aransay wrote: >>> >>> Jose Divas?n and I wrote a short paper for a Spanish workshop on >>> functional programming ("Taller de Programaci?n Funcional 2013", >>> http://babel.ls.fi.upm.es/tpf2013/) in which we test a SML program >>> obtained with the Isabelle code generator tool to perform the Gauss >>> Jordan elimination algorithm over matrices. >> >> That is interesting work. Is it possible to get a copy of the code you ran >> for the various tests so I can check this out? > > Seconded! I would love to investigate why MLton is performing so > poorly on the input processing. > > -Matthew > > -- Jes?s Mar?a Aransay Azofra Universidad de La Rioja Dpto. de Matem?ticas y Computaci?n tlf.: (+34) 941299438 fax: (+34) 941299460 mail: jesus-maria.aransay at unirioja.es ; web: http://www.unirioja.es/cu/jearansa Edificio Luis Vives, c/ Luis de Ulloa s/n, 26004 Logro?o, Espa?a -- Jes?s Mar?a Aransay Azofra Universidad de La Rioja Dpto. de Matem?ticas y Computaci?n tlf.: (+34) 941299438 fax: (+34) 941299460 mail: jesus-maria.aransay at unirioja.es ; web: http://www.unirioja.es/cu/jearansa Edificio Luis Vives, c/ Luis de Ulloa s/n, 26004 Logro?o, Espa?a

4 3

Performance experiment with Poly/ML
by jesus-maria.aransay＠unirioja.es 25 Jul '13

25 Jul '13

Dear all, Jose Divas?n and I wrote a short paper for a Spanish workshop on functional programming ("Taller de Programaci?n Funcional 2013", http://babel.ls.fi.upm.es/tpf2013/) in which we test a SML program obtained with the Isabelle code generator tool to perform the Gauss Jordan elimination algorithm over matrices. We carried out performance experiments with MLton and Poly/ML with three different types of matrices. Matrices whose inputs were real numbers (SML type Real.real), matrices whose inputs were fractions of integers (IntInf.int) and also matrices whose inputs where an ad hoc implementation of the field Z2 by means of "0::IntInf.int" and "1::IntInf.int". The code generation process and the types mapping from Isabelle to SML are explained in pp. 1 - 4 of the article. The benchmarks comparing Poly/ML and MLton performance are detailed in pp. 4 - 8. Briefly, the results show that: - Poly/ML 5.5 performs better than MLton with matrices over Z2 (see page 6); - MLton behaves better than Poly/ML with matrices whose inputs are fractions of "IntInf.int" (see page 7); - Poly/ML 5.2 outperforms MLton over matrices of type "Real.real", but reaches a segmentation fault with matrices of size 800 * 800 (in computers with a RAM of 4GB). Quite surprisingly for us, Poly/ML 5.5 performs worse than Poly/ML 5.2 over matrices with inputs of type "Real.real". Our intention was just to identify the best performing setting (for compilation and execution) for our future work with matrices, and we did not get to explore the roots and reasons of the previous results. Anywhere, we considered that the results could be interesting for somebody in the mailing list. We would also be very pleased to get any feedback on the reasons for the previous results. The paper is available in the following link http://wiki.portal.chalmers.se/cse/uploads/ForMath/pavlap Thanks in advance for your interest, Jesus -- Jes?s Mar?a Aransay Azofra Universidad de La Rioja Dpto. de Matem?ticas y Computaci?n tlf.: (+34) 941299438 fax: (+34) 941299460 mail: jesus-maria.aransay at unirioja.es ; web: http://www.unirioja.es/cu/jearansa Edificio Luis Vives, c/ Luis de Ulloa s/n, 26004 Logro?o, Espa?a

3 2

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML July 2013