poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Floating point


From: Mohammad-Reza Nabipoor
Subject: Re: Floating point
Date: Thu, 13 May 2021 16:18:39 +0430

Hi, Jose.

On Thu, May 13, 2021 at 07:47:37AM +0200, Jose E. Marchesi wrote:
> 
> > Thanks Jose.  That's about what I figured based on a few searches.  I
> > actually started with writing a pickle for it...and decided I ought to look
> > up the simplest floating point printer.  I stopped when I hit the dragonbox
> > algorithm and realized it's a bigger project than I'm willing to commit to
> > currently.
> >
> > Taking a different approach...is there any plan to implement an interface
> > for interoperability with external applications?  The idea being I could
> > export the printf to some other application.
> 
> An FFI is in progress.
> 
> But if this is such a concern/inconvenience for users like you we can
> reconsider adding native types for FP to poke.  We learn every day from
> use-cases reported from users, and Poke is by no means written in stone
> :)
> 
> 


Printing floating-point numbers is non-trivial, what about adding support
for fp32 and fp64 to `printf` and `format`?


Regards,
Mohammad-Reza



reply via email to

[Prev in Thread] Current Thread [Next in Thread]