Poly/ML October 2013

polyml@lists.polyml.org

10 participants
8 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

polyc and poly --script
by rene.neumann＠in.tum.de 24 Mar '15

24 Mar '15

Hi, two completely orthogonal questions/remarks for PolyML 5.5.1: 1.) When building PolyML with '--with-system-libffi' the '-lffi' part is missing in the linker line in polyc. 2.) Is it somehow possible to see if an ML file is run via 'poly --script' or as a standalone executable? Because for the one the logic has to be wrapped in 'fun main ()', and for the other it should not :). (Ie, what I want: if is_script then main() else () ) Thanks, Ren? -- Ren? Neumann Institut f?r Informatik (I7) Technische Universit?t M?nchen Boltzmannstr. 3 85748 Garching b. M?nchen Tel: +49-89-289-17232 Office: MI 03.11.055

4 9

[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

Incorrect floating point conversion
by fw＠deneb.enyo.de 24 Mar '14

24 Mar '14

I noticed this: Poly/ML 5.5.1 Development > val a = 0.99999999999999972244424384371086489409208297729492187;; val a = 1.0: real > val b = 0.999999999999999722444243843710864894092082977294921876;; val b = 1.0: real > a < b;; val it = false: bool > a > b;; val it = false: bool So both values are equal according to Poly/ML. But the correct conversion for the first one is (in hexadecimal floating point notation) 0x1.ffffffffffffdp-1, and for the second 0x1.ffffffffffffep-1, so the values should be different.

4 4

Id like to suggest porting to Android
by monkeyrater＠hotmail.com 18 Nov '13

18 Nov '13

There are a couple of implementations for Ocaml on Android but none for SML. So Id like to suggest that you make a port for Android because mobile computing is becoming much more common and mainstream. And also the fact that Android OS is a much more stable target to port to compared to the fragmentation of Linux distros, the exclusivity of hardware costs and availability for OSX and the problems that windows 8 is bringing to user experience. -Brad Cantrell

4 4

managing compilation
by gbuday＠karolyrobert.hu 20 Oct '13

20 Oct '13

Hi, I am looking for a method of managing compilation for Poly/ML, like .cm files for SML/NJ and .mlb files for MLton. What I have found on polyml.org was PolyML.make -- is that the last word on this subject? - Gergely

2 1

Poly/ML 5.5.1
by David.Matthews＠prolingua.co.uk 16 Oct '13

16 Oct '13

I have uploaded the source for Poly/ML 5.5.1 to the SourceForge site so it is now officially released. I still need to create installers for Windows. The release notes at http://www.polyml.org/docs/ReleaseNotes.html give a general overview of the changes over the last year. There have been no big changes which is the reason it's 5.5.1 rather than 5.6. David

7 20

response to PolyML on Android and iOS thread
by monkeyrater＠hotmail.com 16 Oct '13

16 Oct '13

Sorry for making this response in a new thread, but as I am not a member of the mailing list this is the only way as this being a mailing list, everything is automatically sent instead of being able to edit material in a central location. Id also like to say its an honor to have David Mathews respond to my thread. >I'm not exactly clear about the motivation behind the question. I mentioned in my original post what my motivation is but I will state it again in more detail. Windows is no longer a viable scientific computing platform as Microsoft have gone out of their way to take away user control of how software can be installed and accessed and trying to move toward 'cloud based services' type of user experience. Linux definately allows control but is so fragmented by many different distros that its impossible to port a unified system. And OSX requires the purchase of its own expensive hardware to run on. Furthermore mobile computing is no longer a weak subset of the capabilities of PC computing but equal processor power and memory capacity exists to run equally complex software. However one could argue that mobile platforms are not ready yet due to the fact that they only run on phone or tablet from factor. Although it is possible to use a wireless keyboard with a tablet, what is really required is a netbook form factor such as the Chromebooks. Unfortunately Google has dropped the ball by creating the ChromeOS operating system that only runs 'web apps', trying to force cloud computing on its users like Microsoft is with win 8. >OCAML implementations seem to provide a small console window that allows >someone to enter and run OCAML programs. I don't know how useful that >would be in general. It might be more useful to be able to create >little ML programs. Without a linker it wouldn't be possible to create >stand-alone binaries but it might be possible to create scripts. It might be possible to include the Tiny C compiler http://bellard.org/tcc/ to create binaries. I know this sounds frivolous to go to the trouble of doing this, but it shouldnt be too difficult for any programmer who is experienced with Android programming to do this kind of port. Im sorry to take up too much of your time with this idea, Im sure you probably have more important things to concern yourselves with. But I believe that the ML family of languages are going to become much more popular in place of other functional languages like Haskell or Scala which both bring limitations that prevent adoption for general use. And I would hate to see SML lose out simply because it is not as accessible as Ocaml. Mobile computing is the future and so far Android is the most viable platform for it. Id also like to mention this class: https://www.coursera.org/course/proglang that has attracted tens of thousands of online students and will do a lot to raise awareness of ML's advantages over other functional languages. -Brad Cantrell

2 1

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 October 2013