4 ms·SML can do this well with embedded DSLs, but effect typing is a powerful tool for this idea.by tel 11y agoSML can do this well with embedded DSLs, but effect typing is a powerful tool for this idea.