[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