Re: [PATCH] std.pk: Add `get_mem_handle`

[Jose E. Marchesi]

> 2022-04-09  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
>
>       * libpoke/std.pk (get_mem_handle): New function to get a new
>       unique handle for memory IOS.
>       (__Pk_MemHandle_Generator): New implementation-specific type.
> ---
>
> Hello.
>
> This can be useful for `with_cur_ios`:
>
> ```poke
> type void_lambda = () void;
> fun with_cur_ios = (void_lambda callback = lambda void: {},
>                     string handle = get_mem_handle) void:
>   {
>     /* ... */
>   }
> ```
>
> WDYT?

Hmmm.  The fact the HANDLE arguments comes last is not that nice.

What about if we had an additional function `with_temp_ios' that would
internally use the mechanism you propose?  Something like:

fun with_temp_ios = (void_lambda callback) void:
{
  ... open (get_mem_handle) ...
}

This would be complementary to with_cur_ios:

fun with_cur_ios = (string handler, void_lambda callback) void:
{
 ...
}