If stability (being for teaching or reproducible research) is an important criteria, and you also like #emacs, then #guix seems a very serious contender... ;D

I'm just starting on it, but it clicks your main points. :)