Poly/ML

polyml@lists.polyml.org

2 participants
711 discussions

Workshop on ML 2010 - Call for Content
by mtf＠cs.rit.edu 03 Mar '10

03 Mar '10

The 2010 ACM SIGPLAN Workshop on ML http://www.cs.rit.edu/~mtf/ml2010 Baltimore, Maryland, United States Sunday, September 26, 2010 co-located with ICFP 2010 Call for Content ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages). The format of the 2010 Workshop on ML will be different than that of recent years, returning to a more informal model: a workshop with presentations selected from submitted abstracts but without published proceedings. We hope that this format will encourage the presentation of more exciting (if unpolished) research and deliver a more lively workshop atmosphere. Important Dates ~~~~~~~~~~~~~~~ Submission: 25 June, 2010 Notification: 9 August, 2010 Format ~~~~~~ The workshop will consist of presentations by the participants, selected from submitted abstracts. Participants are invited to submit working drafts, source code, and/or extended abstracts for distribution on the workshop homepage and to the attendees, but as the workshop will have no formal proceedings, any contributions may be submitted for publication to other venues. (See the SIGPLAN republication policy for more details.) Scope ~~~~~ We primarily seek research presentations on topics related to ML, including (but not limited to): * applications: case studies, experience reports, pearls, etc. * extensions: higher forms of polymorphism, generic programming, objects, concurrency, distribution and mobility, semi-structured data handling, etc. * type systems: inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * semantics: operational, denotational, program equivalence, parametricity, mechanization, etc. Research presentations should describe new ideas, experimental results, significant advances in ML-related projects, or informed positions regarding proposals for next-generation ML-style languages. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. In addition to research presentations, we seek both Status Reports and Demos that emphasize the practical application of ML research and technology. Status Reports: Status reports are intended as a way of informing others in the ML community about the status of ML-related research or implementation projects, as well as communicating insights gained from such projects. Status reports need not present original research, but should deliver new information. In the abstract submission, describe the project and the specific technical content to be presented. Demos: Live demonstrations or tutorials are intended to show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or application software built on or related to ML technology. In the abstract submission (which need only be about half a page), describe the demo and its technical content, and be sure to include the demo's title, authors, collaborators, references, and acknowledgments. A demonstration should take 10-15 minutes. The exact time per demo will be decided based on the number of accepted submissions. (Please note that you will need to provide all the hardware and software required for your demo; the workshop organizers are only able provide a projector.) Submission Guidelines and Instructions ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Email submissions to mtf AT cs.rit.edu. Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. Persons for whom this poses a hardship should contact the program chair. Submissions longer than a half a page should include a paragraph synopsis suitable for inclusion in the workshop program. Program Chair ~~~~~~~~~~~~~ Matthew Fluet Rochester Institute of Technology Program Committee ~~~~~~~~~~~~~~~~~ Kathleen Fisher AT&T Labs Research Adam Granicz IntelliFactory Daan Leijen Microsoft Research Johan Nordlander Luleå University of Technology Sungwoo Park Pohang University of Science and Technology Daniel Spoonhower GoogleFrom ldixon at inf.ed.ac.uk Wed Mar 3 15:38:11 2010 From: ldixon at inf.ed.ac.uk (Lucas Dixon) Date: Wed Mar 3 15:38:12 2010 Subject: [polyml] calling PolyML as a library Message-ID: <4B8E8263.6010902(a)inf.ed.ac.uk> Has anyone wrapped up PolyML code as a library that can be called from another program, e.g. one written in C? The FFI allows ML to call functions in a C-programs, but I'm interested in the reverse... or is the best way to write some kind of serialisation/de-serialisation and go through a socket or a pipe? best, lucas -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

Code examples in Parallel Poly/ML and Isabelle/ML paper
by yue.kevin.li＠gmail.com 12 Feb '10

12 Feb '10

Hi, Everyone, Recently I read the paper "Efficient Parallel Programming in Poly/ML and Isabelle/ML" published in DAMP'10. It's really a nice paper for me to read. Especially, I'm deeply impressed by the good scalability and cpu utilization of multithreading implementation as shown in the data section. I'm very interested in the parallel implementation of Poly/ML, and would like to try to use it. Here may I ask is there any way for me to obtain the testing examples used in the paper's experiment so that I could study and play with the parallel features? Thanks for your help! Cheers, Yue

2 2

eval (or use-ing from a string)
by ramana.kumar＠gmail.com 10 Feb '10

10 Feb '10

Are there any reasons not to define an eval function that is just like PolyML.use but reads from a string instead of a file? I've done it and it seems to work okay, but I'm wondering whether it was purposefully omitted from the PolyML structure (or maybe it is there and I haven't seen it). (I would use such a function instead of writing a string out to a temporary file and use-ing that file back in.)

2 1

polyml display integer in hex format?
by luzhao＠cs.utah.edu 12 Jan '10

12 Jan '10

Hi, Is there a way to make polyml display an integer in its hex format? For example, > 0x12; val it = 18 : int I want to have 0x12 echoed back instead of 18. Thanks. Lu

4 7

IDE for PolyML 5.3
by peter.bader＠gmx.de 26 Dec '09

26 Dec '09

Hello all, I saw that there is an IDE communication protocol support in 5.3. Is there an IDE for Windows or LINUX? Best regards, Peter Bader

2 1

Windows Command Line Version
by peter.bader＠gmx.de 26 Dec '09

26 Dec '09

Hello all, under Windows PolyML (I am using 5.3) starts its own window. Is there a Windows Command Line version? Why would I want it? I am using emacs with SML mode. This allows very convenient syntax oriented editing of the source code and running an ML "interpreter" in an extra emacs window/buffer, to which I can send fragments of my source code. I would love to switch to PolyML but keep my environment. I would appreciate any help. (I searched through the whole mailing list archive (polyml.mbox), but could not find an answer). Best regards Peter Bader (enthusiastic PolyML novice)

2 1

problem with polyml on ubuntu on virtualbox
by jjduan＠cs.utah.edu 24 Dec '09

24 Dec '09

I have a Virtualbox set up on Windows 7 64 bit. On top of it I run Ubuntu. My intention is to build HOL on Ubuntu. However I ran into some issue which is weird. It appears on Ubuntu 9.10/9.04, 32 or 64 bit, Polyml 5.3 or 5.2.1. Seems to be a universal issue. I know someone who runs 64bit Ubuntu 9.10 with Polyml 5.3 and HOL on a real machine and he doesn't have problems. Below is a trace. Any help? Error- in '/tmp/MLTEMPSab29r', line 586. Structure (Polyhash) has not been declared Found near open Polyhash Error- in '/tmp/MLTEMPSab29r', line 587. Value or constructor (mkPolyTable) has not been declared Found near mkPolyTable (length vlist, Fail "varmap") Error- in '/tmp/MLTEMPSab29r', line 589. Type error in function application. Function: insert varmap : ''a list -> ''a list Argument: (h, i) : 'a * 'b Reason: Can't unify ''a list to 'a * 'b (Incompatible types) Found near (insert varmap (h, i); enum t (i - 1) (h :: A)) Error- in '/tmp/MLTEMPSab29r', line 591. Value or constructor (peek) has not been declared Found near case peek vmap v of NONE => v | SOME i => Bv i Error- in '/tmp/MLTEMPSab29r', line 592. Value or constructor (transform) has not been declared Found near transform (fn x => x + 1) vmap Error- in '/tmp/MLTEMPSab29r', line 670. Structure (Polyhash) has not been declared Found near open Polyhash Error- in '/tmp/MLTEMPSab29r', line 671. Value or constructor (mkPolyTable) has not been declared Found near mkPolyTable (Array.length prefix, Fail "AV") Error- in '/tmp/MLTEMPSab29r', line 675. Value or constructor (peekInsert) has not been declared Found near case peekInsert AV (n, PREFIX i) of NONE => insertl rst (i + 1) dupls | SOME _ => ... ... (... + ...) ((...) :: dupls) Error- in '/tmp/MLTEMPSab29r', line 680. Type error in function application. Function: insert AV : ''a list -> ''a list Argument: (s, BODY) : 'a * occtype Reason: Can't unify ''a list to 'a * occtype (Incompatible types) Found near ( (fn s => insert AV (s, ...)), (fn (s, ...) => ... ... (...)), peek AV, dupls ) Error- in '/tmp/MLTEMPSab29r', line 681. Type error in function application. Function: insert AV : ''a list -> ''a list Argument: (s, PREFIX i) : 'a * occtype Reason: Can't unify ''a list to 'a * occtype (Incompatible types) Found near ( (fn s => insert AV (s, ...)), (fn (s, ...) => ... ... (...)), peek AV, dupls ) Error- in '/tmp/MLTEMPSab29r', line 682. Value or constructor (peek) has not been declared Found near let open Polyhash; val AV = mkPolyTable (...); fun insertl ... = ... | ...; val ... = ... in ((fn s => ... ... (...)), (fn (...) => ... ...), peek AV, dupls) end Static Errors Thanks, Jianjun

2 1

Pretty-printing in version 5.3
by rda＠lemma-one.com 14 Dec '09

14 Dec '09

I can't find any documentation for the new approach to pretty-printing in version 5.3 of Poly/ML. For ProofPower, I am using the PolyML.install_pp interface that is provided for backwards compatibility. but it doesn't seem to give the same results. I find that many things that used to print nicely spread over several lines now print as one long thin column with only one or two symbols in each column. The problem seems to be with the interpretation of the boolean part of the parameter to the function that begins a block. The attached code shows a difference between 5.2 and 5.3. On 5.2 both times the value of t t is pretty-printed you get the same results, which is one symbol per line until what is left will fit all on one line. On 5.3, the first time you get a sqaureish block and the second time you get one symbol per line. I can't find any documentation for the install_pp interface either so I don't really know which behaviour is right. Regards, Rob. datatype TERM = Num of int | Plus of TERM * TERM; fun term_pp (funs as ( adds : string -> unit, beginb : int * bool -> unit, space : int * int -> unit, endb : unit -> unit)) (t : TERM) = ( case t of Num n => adds (Int.toString n) | Plus (t1, t2) => ( beginb(0, true); term_pp funs t1; space(1, 0); adds "+"; space(1, 0); term_pp funs t2; endb() ) ); fun pp flag (funs as (adds, beginb, space, endb)) _ _ t = ( beginb(0, flag); beginb(0, false); (* removing this and the matching end makes no difference *) term_pp funs t; endb(); endb() ); fun interval m n = ( let fun aux acc i = ( if i < m then acc else aux (i::acc) (i-1) ); in aux [] n end ); PolyML.Compiler.lineLength := 40; val _ = PolyML.install_pp (pp false); val t = foldr Plus (Num 0) (map Num (interval 1 40)); val _ = PolyML.install_pp (pp true); t;

3 7

Fixes to 5.3
by David.Matthews＠prolingua.co.uk 05 Dec '09

05 Dec '09

I've set up a branch in SVN to contain fixes to the current release. I'm intending to limit this to problems that have been found since the release which actually affect people. Other problems will be fixed in trunk and included in the next release. So far I've applied the fix to the problem with X-Windows that Rob reported and a fix that Aleksej Saushev sent for the Makefiles under BSD. The branch can be found using svn co https://polyml.svn.sourceforge.net/svnroot/polyml/fixes-5.3 Depending on what else comes up I may produce a 5.3.1 release. Meanwhile there's ongoing work towards 5.4. Regards, David

1 0

Motif Poly/ML configuration Issues(Errors)
by peisen.yang＠gmail.com 28 Nov '09

28 Nov '09

Dear All, I am new in Poly/ML and doing a my final year project combine with Motif. OS: Ubuntu 9.10 and running in VMware work station 6.5.1 Question 1: get error when run "open XWindows" "Error-Structure (XWindows) has not been declared Found near open XWindows Static Errors" Details: Motif version: lesstif The installation process is : Using "Source Code" and unzip, then: 1. ./configure 2. make 3. sudo make install then run "poly", then got the error when run > open XWindows; Error-Structure (XWindows) has not been declared Found near open XWindows Static Errors > open Motif; Error-Structure (Motif) has not been declared Found near open Motif Static Errors Is this means I did not install/configure the Motif properly? However if I run "motif-config", it has the command in the environment , so I assume the motif is actually correct, Can any one help me to have a look at it. peisen@peisen-V-laptop:~/Downloads/lesstif-0.95.2/test/Xm$ motif-config Usage: motif-config [OPTIONS] [LIBRARIES] Options: [--prefix[=DIR]] [--exec-prefix[=DIR]] [--version] [--libs] [--cflags] Libraries: Xm peisen@peisen-V-laptop:~/Downloads/lesstif-0.95.2/test/Xm$ Is there something like JAVA has to be set up the path so that the system will know where the library ? If so,how to do it? Question 2 Is there any official processes can actually run the Motif by using Poly/ML compiler? Please help me to specify the processes because I am new in this area and not really familiar with Linux System. Just one minor error sometime might cost me hours to fix it. Really appreciate if you can help me with this. Better tell me exactly how to run the .sml file: The codes are : open XWindows ; open Motif ; val XtAppInitialise: string -> string -> string -> string list -> Arg list -> Widget val shell = XtAppInitialise "" "xed" "Editor" [] [XmNwidth 400, XmNheight 400] ; val XmCreate<...>: Widget -> string -> Arg list -> Widget val main = XmCreateMainWindow shell "main" [] ; val bar = XmCreateMenuBar main "bar" [] ; val fileMenu = XmCreateCascadeButton bar "file" [XmNlabelString "File"] ; val editMenu = XmCreateCascadeButton bar "edit" [XmNlabelString "Edit"] ; val viewMenu = XmCreateCascadeButton bar "view" [XmNlabelString "View"] ; val helpMenu = XmCreateCascadeButton bar "help" [XmNlabelString "Help"] ; val command = XmCreateText main "command" [XmNeditMode XmSINGLE_LINE_EDIT] ; val hscroll = XmCreateScrollBar main "hscroll" [XmNorientation XmHORIZONTAL] ; val vscroll = XmCreateScrollBar main "vscroll" [XmNorientation XmVERTICAL] ; val work = XmCreateDrawingArea main "work" [] ; Thank you very very much! Sincerely Yours, -- Peisen Yang D04111092 DT228-4 SDIS Computer Science Dublin Institute of Technology Kevin Street Tel: 0857770800

2 2

← Newer
1
...
46
47
48
49
50
51
52
...
72
Older →

Jump to page:

2026

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