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
A couple of years ago I inquired about adding a new module tothe LIA standards to describe binary and decimal fixed pointarithmetic, having run into a standard which deferred thesemantics of its fixed point arithmetic to LIA. That was abit odd, because LIA explicitly refused to say anything aboutthe matter. The result was the implementations not agreeing,in quite fundamental ways, with each other. I offered adraft executable specification in Haskell, checked withQuickCheck. I basically got the answer "nice work, but nobodyin the industry cares about LIA any more, which is why LIA-1was revised but LIA-2 and LIA-3 never were and never will be."
So the question has to be asked: what exactly would be thebenefit in building library code to support a standard thatnobody wants to maintain any more?
On 13 June 2018 at 20:44, ARJANEN Loïc Jean David <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
Only members subscribed via the mailman list are allowed to post.