Philip Trettner

C++ library author, hobbyist programming language architect, obsessive optimizer

Public Key

npub1jh0ruetqcqdfcvnwt6tysn7epxj9h6tdhw5j9jn2y5v9ray945qsv6qfrp

NIP-05 Address

artificialmind_at_fosstodon.org@mostr.pub

Profile Code

nprofile1qqsfth37v4svqx5uxfh9a9jgflvsnfzma9kmh2fzef4z2xz37jz66qgpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qzxrhwden5te0wfjkccte9ehx7umhdpjhyefwvdhk625dhnq

Publishing to

relay.mostr.pub

relay.noswhere.com

relay.shitforce.one

Author Public Key

npub1jh0ruetqcqdfcvnwt6tysn7epxj9h6tdhw5j9jn2y5v9ray945qsv6qfrp

Show more details

Last Notes

2024-08-09 10:16:35

- reply

@npub1eqg…fncn Yes exactly. And the return type of `ff` is an existential, like an `impl Trait` return.

2024-08-09 09:53:02

Challenge of the day:
Write a Rust version of the following pseudo code:
fun foo(i: int,
f: fun int -> int,
ff: fun (fun int -> int) -> (fun int -> int)
) -> int:
return (ff(f))(i)
that is statically dispatched (no dyn, no fun ptr).

2024-08-09 09:53:02