I just discovered PolyML while looking for a distribution of Standard ML that I
could compile from source on TinyCore Linux. It worked perfectly (unike SMLNJ
e.g.).
I am interested in connecting GUI to ML as well as functions written in
C/C++ and all that seems like it would work (form
...@inf.ed.ac.uk
You can reach the person managing the list at
polyml-ow...@inf.ed.ac.uk
When replying, please edit your Subject line so it is more specific
than Re: Contents of polyml digest...
Today's Topics:
1. Poly/ML (David Topham)
2. Re: Poly/ML (Richard Molitor
testme.ML
fun main() = print Hello World\n;
$ polyc testme.ML
$ ./a.out
Hello World
David
On 09/12/2014 17:25, David Topham wrote:
Thanks for your reply Richard, I will look into using CInterface. That
makes me think that another approach could be to use an imperative
language
for the GUI
The X-Windows/Motif code still builds as far as I'm aware but that's as
far as it goes. I would say it was better to use something else through
CInterface.
The Poly/ML interactive environment (read-eval-print loop or REPL) is
usually the easiest way to develop and test your code. It
mypoly.o -lpolymain -lpolyml
i.e. Those 2 lines replace the idea from v 4 of doing commit?
-Dave
On Sat, Dec 13, 2014 at 9:04 AM, David Topham dtop...@gmail.com wrote:
The X-Windows/Motif code still builds as far as I'm aware but that's as
far as it goes. I would say it was better to use
://www.lemma-one.com/ProofPower/index/
...however it was built on PolyML 4 and has not yet been ported to the
newer version (e.g. depends on PolyML.commit which no longer seems to be
supported).
Happy Holidays to everyone in the PolyML community!
-David Topham
Re: GUI Interface (David Matthews
I noticed several references to ML_dbase in the documentation (obviously I
am a new user!), but do not see that file anywhere after my (virgin) PolyML
version 5 installation. Is this file needed? Is it created automatically?
What is it for? -Dave
Omar, I recently installed ProofPower
http://www.lemma-one.com/ProofPower/index/index.htmland discovered that
it has capabilities as an efficient and effective PolyML IDE too! It also
uses a simplified variation of Knuth's literate programming idea where
you can intersperse mathematics with the
David Matthews David.Matthews@... writes:
Rob,
Yes, I removed PolyML.Compiler.printTypesWithStructureName. 5.3 does a
much better at trying to detect exactly what path is needed to identify
a type and always tries to produce the minimal path. This isn't always
easy or possible in
As part of my SML education, I want to look at sample code...I do have
several good books already and that certainly helps, but what about some
specific coding ideas people have explored?
I noticed there is a website:
http://rosettacode.org/wiki/Category:Standard_ML_Implementations
that does
Clayton phil.clay...@veonix.com
To: polyml@inf.ed.ac.uk
Subject: Re: [polyml] linking polyML modules to C
Message-ID: 54c009f6.1050...@veonix.com
Content-Type: text/plain; charset=iso-8859-1; Format=flowed
19/01/15 12:19, David Matthews wrote:
On 19/01/2015 04:34, David Topham wrote:
Thanks
22, 2015 at 10:40 AM, David Topham dtop...@gmail.com wrote:
On Thu, Jan 22, 2015 at 10:36 AM, David Topham dtop...@gmail.com wrote:
Wonderful! Thank you so much for posting that Phil!
I was not able to build the code using the Makefile because my system
does not have libpolyml.so;
however
Are there commands for the PolyML interpreter to do things list the values
in the current environment? e.g. If I have loaded or defined several
functions and then want to review them as reference to calling them
correctly, is there a way to display their prototypes? (I did look through
the
I am looking for a way to display the code as well as the output when
running SML.
I believe it might be called "trace" or "log"... I did find this suggestion
online:
PolyML.startLog
but that seems to be deprecated?
Is there another option?
e.g.
fun f x = x * x;
f 4;
just displays
val it =
I doubt if I am the first person to ask this question, but I have not seen
an "answer" in any of the ML books I have read yet...
Is there a way to represent a "set of sets" so that a function can process
a query such as
" is [2] an element of [ 3 , [2], 4, 5]?"
I know we can easily do a query
I have been trying to get polyml working on Alpine Linux 32-bit
Since there is't yet a package to install it, I tried getting the source
from github
When doing make, I first got error about missing libffi directory.
I thought I may bypass that by configuring with option to use system libffi
I noticed same error seemed to have occurred from user installing to gentoo
Linux. I can't tell from this if it was resolved or not (I'm relatively
inexperienced)
https://bugs.gentoo.org/713178
One thing in common between Alpine and this environment is they are using
musl libc
Could that be an
-ow...@inf.ed.ac.uk
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of polyml digest..."
>
>
> Today's Topics:
>
>1. building polyml on Alpine Linux (David Topham)
>2
ng, please edit your Subject line so it is more specific
> than "Re: Contents of polyml digest..."
>
>
> Today's Topics:
>
>1. Re: polyml Digest, Vol 168, Issue 4 (David Topham)
>
>
> ------
&g
t;090b6bb7-106a-eb9e-0732-2b00a050e...@veonix.com>
> Content-Type: text/plain; charset=utf-8; format=flowed
>
> On 20/10/20 05:40, David Topham wrote:
> > I know it is most efficient to install software system wide so all users
> > share same code. But I have a si
Thanks to Fabrice Bellard (of QEMU fame) for his wonderful work on JSLinux,
we can now run Alpine Linux in modern browsers using Javascript and
Webassembly to support a virtual x86 machine.
I installed polyml in the Alpine Linux users home directory, so now anyone
can run polyml in their browser.
I know it is most efficient to install software system wide so all users
share same code. But I have a situation where I want to install only to my
home directory. i.e. It is Linux system where I don't have sudo privilege.
Is that possible?
I am building from source, so perhaps
./configure
22 matches
Mail list logo
