I have been looking for a functional language that compiles to efficient C/C++ to fufill two rather odd criteria.<br><br>1.
To conform to the requirements of the iPhone Developers Program. Code
must compile in XCode and be either C/C++/Obj-C. Garbage collection is
mostly disallowed. Program size and memory must fit below a threshold. <br>
2. Separately, to perform Naive Bayes computation across huge datasets.
What is required is function inlining as well as use of SIMD
instructions. <br>I would provide the inlined functions via .h&#39;s and compile them in with gcc.<br>
<br>I really don&#39;t know much about language design and development, so
I might be way off base here. For the GC, I guess this would imply that
there would be a way to fix the scope of closures and other structures
that are referenced/collected. With jhc taking a &#39;full program&#39; approach to analysis and optimization, I thought that this might be possible. Or perhaps there is a way to use ref counting for objects of an indeterminate lifespan instead of incremental (or whichever) garbage collection. <br>

<br>I see that jhc see offers a way to specify unboxed values and tuples. And I&#39;m sure there is a way to manage large native arrays as well. Is there a way to pass that data directly to an inline C function that would be compiled in by gcc? (i.e. not loaded from a library through FFI) <br>
<br>I&#39;ve looked through most of the jhc mailing list archives and haven&#39;t found any such discussions. Would this be something that would be achievable somewhere in the jhc roadmap, or at least conceivable with a few
hacks?<br clear="all"><br>-- <br>We can&#39;t solve problems by using the same kind of thinking we used when we created them. <br> &nbsp; &nbsp;- A. Einstein<br>