[Date Index] [Thread Index] [Author Index]

Re: Mathematica and ML (Functional Programming Language)

• To: mathgroup at smc.vnet.net
• Subject: [mg72915] Re: Mathematica and ML (Functional Programming Language)
• From: Jon Harrop <jon at ffconsultancy.com>
• Date: Thu, 25 Jan 2007 06:35:23 -0500 (EST)
• References: <ep4koh$85$1@smc.vnet.net>

clefort wrote:
>       I'm interested to know if anyone has knowledge of Matlink code
> for c function calls which would allow ML (Poly ML or SML:NJ) to be
> used as a developmental language    in conjunction with MathLink
> Mathematica. If not I'll have to start form scratch; otherwise, I can
> use some examples.  I didn't see any specific examples in the
> Documentation for ML, hence the reason for the question. Poly
> ML ,written by and used by David Matthews  at CCL, has documentation
> for calling C functions in ML. THis is a specific Mathematica/
> MathLink question.

I know this isn't the information you were looking for, but you might find
it easier to write a Mathematica parser in ML to exchange symbolic data. If
you output from Mathematica in FullForm then the grammar is trivial (1 page
of ML for the whole lexer+parser). I do this regularly with OCaml, rather
than SML.

> This has to do with ATP (or Automated Theorem prover called Isabelle
> developed at Cambridge Computer Laboratories (CCL) by Larry Paulson,
> built on HOL (High Order Logic).

May I ask what you're doing with it? Sounds interesting. :-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/index.html?usenet