Benoit Vey

RFC [#121](https://github.com/ponylang/rfcs/pull/121) has been opened to handle this. @strmpnk Your ML analogy sounds a lot like tagged union, which are an alternative that have been discussed on the RFC ticket,...

This is expected behaviour. In the `else` clause of the `iftype`, `X` is constrained to its original constraint, not to `B`. The second assignment should be in an `elseif X

TCO is currently performed by the LLVM optimisation passes. There are some issues with making it a guaranteed optimisation, namely because it isn't available on ARM. More details on the...

We'd need to 1. Detect tail-recursive functions. Aside from the bit explained below where we need to be careful with partial functions, this is an easy step. 2. Special-case code...

This is interesting. However, this would introduce a branch on every access to the type descriptor of an object which could be a boxed machine word. In particular, I'm worried...

I've taken a look at the generated code, the problem comes from the virtual calls from the lambdas. Lambda types are equivalent to `interface`s, which means that `Iter.fold` must treat...

I don't think we do.

During the sync call we discussed a potential issue with solution 1. and cross-compilation, where compiling an erroneous program on a 64 bits platform for a 32 bits platform wouldn't...