Re: [Haskell-cafe] LIA bindings?

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 mailto:arjanen.loic@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.