<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Hello,</p>
<p>It was purely curiosity which made me ask that question given
that the report mentions this standard but as you said, if no one
maintains it there’s little point in making bindings for it.</p>
<p>Regards,<br>
ARJANEN Loïc<br>
</p>
<div class="moz-cite-prefix">Le 2018-06-13 à 22:48, Richard O'Keefe
a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CABcYAd+DQ3yPhZSDp0OmRQWvQNh9o1co-2Oevg5EyWnOHERiQQ@mail.gmail.com"
class="gmail_quote">
<div dir="ltr">
<div class="gmail_default"
style="font-family:monospace,monospace">A couple of years ago
I inquired about adding a new module to</div>
<div class="gmail_default"
style="font-family:monospace,monospace">the LIA standards to
describe binary and decimal fixed point</div>
<div class="gmail_default"
style="font-family:monospace,monospace">arithmetic, having run
into a standard which deferred the</div>
<div class="gmail_default"
style="font-family:monospace,monospace">semantics of its fixed
point arithmetic to LIA. That was a</div>
<div class="gmail_default"
style="font-family:monospace,monospace">bit odd, because LIA
explicitly refused to say anything about</div>
<div class="gmail_default"
style="font-family:monospace,monospace">the matter. The result
was the implementations not agreeing,</div>
<div class="gmail_default"
style="font-family:monospace,monospace">in quite fundamental
ways, with each other. I offered a</div>
<div class="gmail_default"
style="font-family:monospace,monospace">draft executable
specification in Haskell, checked with</div>
<div class="gmail_default"
style="font-family:monospace,monospace">QuickCheck. I
basically got the answer "nice work, but nobody</div>
<div class="gmail_default"
style="font-family:monospace,monospace">in the industry cares
about LIA any more, which is why LIA-1</div>
<div class="gmail_default"
style="font-family:monospace,monospace">was revised but LIA-2
and LIA-3 never were and never will be."</div>
<div class="gmail_default"
style="font-family:monospace,monospace"><br>
</div>
<div class="gmail_default"
style="font-family:monospace,monospace">So the question has to
be asked: what exactly would be the</div>
<div class="gmail_default"
style="font-family:monospace,monospace">benefit in building
library code to support a standard that</div>
<div class="gmail_default"
style="font-family:monospace,monospace">nobody wants to
maintain any more?</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On 13 June 2018 at 20:44, ARJANEN Loïc
Jean David <span dir="ltr"><<a
href="mailto:arjanen.loic@gmail.com" target="_blank"
moz-do-not-send="true">arjanen.loic@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>Dear Café,
<div><br>
</div>
<div>I saw in the report that the standard libraries’
operations don’t conform to LIA and that such operations
should be done in an external library. Does such a
library exist?</div>
<div><br>
</div>
<div>Regards,<br>
ARJANEN Loïc</div>
</div>
<br>
______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe"
rel="noreferrer" target="_blank" moz-do-not-send="true">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to
post.<br>
</blockquote>
</div>
</div>
</blockquote>
</body>
</html>