LIA bindings?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

LIA bindings?

ARJANEN Loïc Jean David
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
Only members subscribed via the mailman list are allowed to post.
Reply | Threaded
Open this post in threaded view
|

Re: 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 <[hidden email]> 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
Only members subscribed via the mailman list are allowed to post.

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.