if (except that bool isn't a GADT). A "Rust syntax" version of GADT-s (also with equality bounds) would be something like. enum Expr<T> { Const ...
確定! 回上一頁