[Haskell-cafe] LIA bindings?

[ARJANEN Loïc Jean David]

Hello,

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.

Regards,
ARJANEN Loïc

Le 2018-06-13 à 22:48, Richard O'Keefe a écrit :
> A couple of years ago I inquired about adding a new module to
> the LIA standards to describe binary and decimal fixed point
> arithmetic, having run into a standard which deferred the
> semantics of its fixed point arithmetic to LIA. That was a
> bit odd, because LIA explicitly refused to say anything about
> the matter. The result was the implementations not agreeing,
> in quite fundamental ways, with each other. I offered a
> draft executable specification in Haskell, checked with
> QuickCheck. I basically got the answer "nice work, but nobody
> in the industry cares about LIA any more, which is why LIA-1
> was revised but LIA-2 and LIA-3 never were and never will be."
>
> So the question has to be asked: what exactly would be the
> benefit in building library code to support a standard that
> nobody wants to maintain any more?
>
> On 13 June 2018 at 20:44, ARJANEN Loïc Jean David 
> <arjanen.loic at gmail.com <mailto:arjanen.loic at gmail.com>> wrote:
>
>     Dear Café,
>
>     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?
>
>     Regards,
>     ARJANEN Loïc
>
>     _______________________________________________
>     Haskell-Cafe mailing list
>     To (un)subscribe, modify options or view archives go to:
>     http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>     <http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe>
>     Only members subscribed via the mailman list are allowed to post.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180615/49604a2b/attachment.html>