Если лаконичные (лаконичнее Python) и мощные, то семейство языков Оберон: Oberon-2, Component Pascal (ранее Oberon/F), Oberon-07, Active Oberon.
Сразу замечу, это семейство стоит особняком из-за особого отношения к тому что считать "минимально необходимым и, в то же время, эффективным набором средств для разработки".
О всех них можно узнать в Википедии, а о некоторых и на Хабре.
