An actual functional lang server that doesnt randomly die on you and tries its best to infer your intent would be nice.

I like that last point too, as copilot I think is going in the right direction with "step 1" of full optimisation. Maybe step 2 would be some AI based optimiser scheme to transform IR into optimal cpu/gpu ISA. Though maybe stability would be a problem