I’m optimistic about Elm or something like Elm that represents a minimal core of today’s emerging best practices (virtual DOM, static types, functional core & imperative shell) while cutting off the fat (mutability, type coercion) and providing valuable affordances and guarantees (educational compiler messages, no runtime exceptions.)