There is no such thing as Ur without /Web (and unless things have changed recently the author has no plans for decoupling them anytime soon).
Ur/Web also lacks incremental compilation, rendering it unusable for general purpose real world applications.
Otherwise, as a modern ML that has improved upon existing MLs (Hakell included), it would be great to see it, 1ML, or other modern spin on SML take root in the FP community.
Ur/Web also lacks incremental compilation, rendering it unusable for general purpose real world applications.
Otherwise, as a modern ML that has improved upon existing MLs (Hakell included), it would be great to see it, 1ML, or other modern spin on SML take root in the FP community.