I don’t have a strong opinion, but the various things being worked on make sense to me on a “first principles” basis> I’m curious which these people appreciate more.
- Modular implicits
- Unboxed types
- Stack allocation via modes
- ocamlearlybird
- Typed effects
0
voters
OTOH, metaprogramming support has rough corners but is good enough; gdb does kind of work for those rare desperate moments when it makes more sense than ppx_debug-like tracing.