Re: Mathematica and ML (Functional Programming Language)

*To*: mathgroup at smc.vnet.net*Subject*: [mg72961] Re: Mathematica and ML (Functional Programming Language)*From*: "Hans Michel" <hmichel at cox.net>*Date*: Fri, 26 Jan 2007 07:30:39 -0500 (EST)*References*: <ep4koh$85$1@smc.vnet.net>

Clinton: This is just FYI. On the .NET Framework Microsoft labs provides so free tools for their OCaml like programming language see F# http://research.microsoft.com/fsharp/fsharp.aspx My train of thought is Mathematica to MathLink through .NET/Link which connects to the .NET Framework which Microsoft claims you can use F# Code. Lots of implication but if it was an acceptable and viable solution path it would allow keeping of ML code and Mathematica Code. I don't know if .NET/Link would work with Mono. If it does it may allow the solution path to possibly include other platforms that support Mono. This is all theory. But I don't think its a waste of time to investigate it yourself. Hans "clefort" <ipub at charter.net> wrote in message news:ep4koh$85$1 at smc.vnet.net... > > Hello, > > 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. > > 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). > > Thank you in advance, > > > Clinton R. LeFort >