Oops, you&#39;re right.  It&#39;s not pure.  Mea cupla for not reading more closely.  I wonder how it deals with I/O, then?  I don&#39;t see anything like Haskell&#39;s monads or Clean&#39;s uniqueness typing...  but at a closer look it does appear to have an excellent Java FFI.<br>
<br><div class="gmail_quote">On Tue, Feb 9, 2010 at 9:44 AM, Chris Eidhof <span dir="ltr">&lt;<a href="mailto:chris@eidhof.nl">chris@eidhof.nl</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I don&#39;t think it&#39;s pure. I would definitely use a pure language on the JVM, but IIRC Open Quark / Cal is an impure language. For example, from the library documentation: &quot;printLine :: String -&gt; ()&quot;.<br>

<font color="#888888"><br>
-chris<br>
</font><div><div></div><div class="h5"><br>
On 9 feb 2010, at 15:31, Tim Wawrzynczak wrote:<br>
<br>
&gt; Perhaps this is similar to what you&#39;re looking for.<br>
&gt;<br>
&gt; <a href="http://openquark.org/Open_Quark/Welcome.html" target="_blank">http://openquark.org/Open_Quark/Welcome.html</a><br>
&gt;<br>
&gt; It&#39;s a pure, lazy language for the JVM.  I haven&#39;t used it myself, but I would imagine that<br>
&gt; it would have a Java FFI.<br>
&gt;<br>
&gt; Cheers,<br>
&gt;  - Tim<br>
&gt;<br>
&gt; On Mon, Feb 8, 2010 at 6:42 PM, Tony Morris &lt;<a href="mailto:tonymorris@gmail.com">tonymorris@gmail.com</a>&gt; wrote:<br>
&gt; I have hypothesised a pure, lazy language on the JVM and perhaps the<br>
&gt; .NET CLR with FFI to .NET/Java libraries. I foresee various problems but<br>
&gt; none that are catastrophic; just often requiring a compromises,<br>
&gt; sometimes very unattractive compromises. I have authored several<br>
&gt; libraries in the same vain as pure, lazy programming to run on the JVM<br>
&gt; in Java and Scala programming languages.<br>
&gt;<br>
&gt; I expect others have forethought and perhaps even experimented with such<br>
&gt; a language. Are there any dangers to be wary of that undo the entire<br>
&gt; endeavour?<br>
&gt;<br>
&gt; Thanks for any insights.<br>
&gt;<br>
&gt; --<br>
&gt; Tony Morris<br>
&gt; <a href="http://tmorris.net/" target="_blank">http://tmorris.net/</a><br>
&gt;<br>
&gt; _______________________________________________<br>
&gt; Haskell-Cafe mailing list<br>
&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
&gt; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
&gt;<br>
&gt; _______________________________________________<br>
&gt; Haskell-Cafe mailing list<br>
&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
&gt; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br>
</div></div></blockquote></div><br>