Tak na Pythone sa mi vždy pozdávalo, že si môžem vypísať print(a, b, c) jedným príkazom. A častokrát som sa čudoval, prečo mi to v iných jazykoch (oveľa expresívnejších) nejde (F#, C#, Scala, Groovy a mnoho ďalších.)
Ináč Lean, ktorý tu často spomínate, má IO.println. To beriem.