For me Mercury is sort of an objective "best language". You can do logic programming, functional programming, and you get the same type-level expressivity as an

For me Mercury is sort of an objective "best language". You can do logic programming, functional programming, and you get the same type-level expressivity as an ML. The implementation and ecosystem are quite far from something like Python, of course, but it does look like the most beautiful house in the street to me when you just walk past it.