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