Re: Usage in commercial software

On 06/13/14 05:07, Matthew Fluet wrote:
> ...
>
> Instead, I would suggest providing an alternative implementation of
> the IntInf_* primitives (basis-library/primitive/prim-int-inf.sml) in
> SML.  Then use a command line flag "-int-inf-impl {gmp,sml}" (similar
> in spirit to our "-default-type" flag) which would (among other
> effects) define an MLB path variable (again, similar to what is done
> with the "-default-type" flag) that would be used to select an
> appropriate implementation of the IntInf_* primitives.  It would
> clearly be less performant than the GMP implementation, but it would
> probably suffice for many applications where IntInf was used, but not
> used extensively.

This looks like an excellent solution to me :-)
gmp for critical uses but IntInf always available.

   Bernard.


------------------------------------------------------------------------------
HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
Find What Matters Most in Your Big Data with HPCC Systems
Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
Leverages Graph Analysis for Fast Processing & Easy Data Exploration
http://p.sf.net/sfu/hpccsystems