Benoit Vey

Avoid allocating multiple vtable indices to subordinate methods

6

This reduces vtable sizes.

Investigate compilation to GPUs

6

LLVM has experimental support of NVPTX and AMDGPU backends. Getting Pony to run on these as a proof of concept would be great.

Investigate compilation to WebAssembly

17

In the same vein as GPUs (#1330) LLVM has an experimental WebAssembly backend. A Pony-in-a-browser proof of concept would be great.

Trust boundary specification

2

[Rendered](https://github.com/Praetonus/rfcs/blob/trust-boundary-specification/text/0000-trust-boundary-specification.md).

Stateful exceptions

22

[Rendered](https://github.com/Praetonus/rfcs/blob/stateful-exceptions/text/0000-stateful-exceptions.md).

This optimisation pass, which turns heap allocations into stack allocations, currently doesn't handle stores at all and gives up as soon as it sees one. Line 314 of `genopt.cc` says...

Optimisation pass order tuning

1

We're currently using the standard LLVM pass order when optimising programs. This doesn't look like the best strategy as I've often observed improvements to the generated IR when rerunning `opt`...

The compiler is too strict when checking consumed variables in try-else blocks

1

Currently, a consumed variable in a `try` block can't be consumed in the associated `else` block, even if the variable isn't consumed in the erroring path of the `try` block....

Naming conventions of the runtime functions for the standard library

1

In #554, the decision was made to add prefixes to exposed runtime functions, with `pony_` for public ones, and `ponyint_` for private ones. Functions used in the standard library (for...

F-bounded polymorphism limitations

3

```pony trait X[A: X[A] box] fun f() => P[A](this) class C is X[C box] class D is X[C box] primitive P fun apply[A: X[A] box](a: A) => None ``` This...