Re: iolist_size/1 in guard tests

Aleksander Nycz <[email protected]> Tue, 4 Jan 2022 20:05:13 +0100
Newsgroups gmane.comp.lang.erlang.general
Message-ID <[email protected]>
is_map_key/2 -> O(log(N))

so guard BIFs definition is:

complexity < O(N) and side effect free?


W dniu 04.01.2022 o 19:41, Mark Jones pisze:
> So guard BIFs are supposed to be O(1) not just side effect free?
>
> On Tue, Jan 4, 2022 at 12:36 PM Loïc Hoguin <[email protected]> wrote:
>
>     Yes but that's considered a historical error.
>
>     On 04/01/2022 18:38, Mark Jones wrote:
>     > But length/1 is allowed in guard tests and it is O(N).
>     >
>     > Cheers,
>     > Mark
>     >
>     > On Tue, Jan 4, 2022 at 2:53 AM Aleksander Nycz
>     > <[email protected] <mailto:[email protected]>>
>     wrote:
>     >
>     >     Probably
>     >
>     >     iolist_size/1 -> O(N)
>     >
>     >     byte_size/1 -> O(1)
>     >
>     >
>     >     Regards
>     >     Aleksander
>     >
>     >
>     >     W dniu 04.01.2022 o 09:49, Mark Jones pisze:
>     >      > Is there a reason iolist_size/1 is not a guard BIF like
>     byte_size/1
>     >      > and bit_size/1?
>     >      >
>     >      > Cheers,
>     >      > Mark
>     >
>
>     -- 
>     Loïc Hoguin
>     https://ninenines.eu
>
smime.p7s (application/pkcs7-signature, 5.1 KB) - not displayed