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

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
>