<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body ocsi="0" fpstyle="1" bgcolor="#FFFFFF">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><br>
<div style="font-family: Times New Roman; color: rgb(0, 0, 0); font-size: 16px;">
<div>
<div style="direction: ltr; font-family: Tahoma; color: rgb(0, 0, 0); font-size: 10pt;">
Good to hear there is a new release coming soon! I really love Clean. Going to wait for it rather than compiling the latest unofficial version from source. I do not need dynamic types right now (as you and your colleagues have thoughtfully pointed out).<br>
<br>
Thanks.<br>
<br>
<br>
<div style="font-family: Times New Roman; color: rgb(0, 0, 0); font-size: 16px;">
<hr tabindex="-1">
<div id="divRpF198589" style="direction: ltr;"><font color="#000000" face="Tahoma" size="2"><b>Van:</b> Bas Lijnse [b.lijnse@cs.ru.nl]<br>
<b>Verzonden:</b> woensdag 30 november 2011 16:23<br>
<b>Aan:</b> Groenouwe, C.<br>
<b>Onderwerp:</b> Re: [clean-list] Dynamic types completed and available for Unix (Linux)?<br>
</font><br>
</div>
<div></div>
<div>Dear Chide,<br>
<br>
On 30-11-11 16:08, Groenouwe, C. wrote:
<blockquote type="cite"><style id="owaParaStyle" type="text/css">
<!--
p
{margin-top:0;
margin-bottom:0}
body
{direction:ltr;
font-family:Tahoma;
color:#000000;
font-size:10pt}
p
{margin-top:0;
margin-bottom:0}
body
{scrollbar-base-color:undefined;
scrollbar-highlight-color:undefined;
scrollbar-darkshadow-color:undefined;
scrollbar-arrow-color:undefined}
-->
BODY {direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;}P {margin-top:0;margin-bottom:0;}</style>
<div style="direction: ltr; font-family: Tahoma; color: rgb(0, 0, 0); font-size: 10pt;">
In case I would like to use them in the future: are there dynamic types<br>
available for Unix? I could only find a windows library on the Clean<br>
site.<br>
</div>
</blockquote>
There is experimental/partial support for dynamics on unix, but I don't think it is in any public release yet. I use a compiler that I built from the latest sources in subversion on macosx that has some dynamics support. I think it should also work on linux.
Depending on what time in the future you'd like to use them you can either go the roll-your-own compiler route or wait for the next clean release (which I believe is scheduled for the end of december)<br>
<br>
<blockquote type="cite">
<div style="direction: ltr; font-family: Tahoma; color: rgb(0, 0, 0); font-size: 10pt;">
Moreover, the last language report states there are many parts "not<br>
implemented yet" regarding dynamic types. Does the dynamic type system still miss essential features (is it incomplete) or are the extra features just luxury?<br>
</div>
</blockquote>
What is available on unix is the stuff in the language itself. The Dynamic type, dynamic pattern matching etc.<br>
What is not available is safe dynamic linking at runtime and the storage/retrieval of dynamics to disk.<br>
So basically you can use dynamics to do stuff like mixed collections in your programs, but you can't use them to transfer functions from one application to another.<br>
<br>
Best,<br>
Bas<br>
<br>
<blockquote type="cite">
<div style="direction: ltr; font-family: Tahoma; color: rgb(0, 0, 0); font-size: 10pt;">
</div>
<br>
<fieldset class="mimeAttachmentHeader" target="_blank"></fieldset> <br>
<pre>_______________________________________________
clean-list mailing list
<a class="moz-txt-link-abbreviated" href="mailto:clean-list@science.ru.nl" target="_blank">clean-list@science.ru.nl</a>
<a class="moz-txt-link-freetext" href="http://mailman.science.ru.nl/mailman/listinfo/clean-list" target="_blank">http://mailman.science.ru.nl/mailman/listinfo/clean-list</a>
</pre>
</blockquote>
<br>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>