Haskell后端是否实施替代？

Question

我一直在使用Java后端进行符号执行，因为它具有替代功能（例如E[V/X]）。在Haskell后端中实现替代了吗？

Answer 1

截至2020年7月，答案是否定的。