MathGroup Archive 2007

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

Search the Archive

Re: Mathematica and ML (Functional Programming Language)

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


This is just FYI.

On the .NET Framework Microsoft labs provides so free tools for their OCaml 
like programming language see F#

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 


"clefort" <ipub at> wrote in message 
news:ep4koh$85$1 at
> 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

  • Prev by Date: Re: Zeroes of Zeta function
  • Next by Date: Re: Is it possible?
  • Previous by thread: Re: Mathematica and ML (Functional Programming Language)
  • Next by thread: Re: Mathematica and ML (Functional Programming Language)