Слово «аутотелический» состоит из двух греческих корней: «ауто» (сам, самостоятельный) и «телос» (цель). Аутотелическая деятельность – это деятельность, которой мы занимаемся ради нее самой, поскольку нашей основной целью является опыт данной деятельности. Например, если бы я играл в шахматы, только для того чтобы получить удовольствие от игры, то игра была бы для меня аутотелическим опытом. В то время как, если бы я играл на деньги или чтобы завоевать высокое место в шахматном мире, то та же самая игра была бы экзотелическим опытом, то есть мотивированным внешними целями. Что касается аутотелической личности, то она означает человека, который в основном занимается чем-то ради самого этого занятия, а не для того чтобы достичь какой-то внешней цели.

FR>Ну между мнением и исследованиями есть небольшая такая разница

The other point I found interesting was when Gladwell alluded to the fact that most brilliant children don't become "successful" but usually have "happy" lives. He suggests that it is an almost deliberate choice, i.e. because they were brilliant they realized the combination of sacrifices and luck needed to become successful, and determined it just wasn't worth it.

T>Ну, вырази контракт "не должно быть deadlock".

transfer(from: Account; to: Account; ammount: Money) {
  lock(a) {
    lock(b) {
      a.debit(ammount)
      b.credit(ammount)
    }
  }
}

T>>Ну, вырази контракт "не должно быть deadlock".

E>transfer(from: Account; to: Account; ammount: Money) {
E>  lock(a) {
E>    lock(b) {
E>      a.debit(ammount)
E>      b.credit(ammount)
E>    }
E>  }
E>}
E>

transfer(from: Account; to: Account; ammount: Money) {
  if (from < to) {
    lock(from) {
      lock(to) {
        from.debit(ammount)
        to.credit(ammount)
      }
    }
  } else {
    lock(to) {
      lock(from) {
        from.debit(ammount)
        to.credit(ammount)
      }
    }
  }
}

lock(lockContext : LockContext<Empty>, account : Account<Account_Index>) { обычная блокировка, вернём LockContext<Pair<Account_Index,Empty>> }
lock(lockContext : LockContext<Pair<PrevAcc,Tail>>, account : Acccount<ThisAcc>
    -- этого нет в Java, но:
    ,dummy : TypeLevel_Less(PrevAcc,ThisAcc) := unit -- чтобы не указывать аргументом
    -- TypeLevel_Less переписывает пару типов в unit, если первый меньше второго
    -- и в ничто (давая ошибку типа) в противном случае
    ) {
   блокировка, вернём LockContext<Pair<ThisAcc,Pair<Account_Index,Empty>>>
}

E>>transfer(from: Account; to: Account; ammount: Money) {
E>>  lock(from) {
E>>    lock(to) {
E>>      from.debit(ammount)
E>>      to.credit(ammount)
E>>    }
E>>  }
E>>}
E>>

transfer(from: Account; to: Account; amount: Money) {
var first = Min(from, to);
var second = Max(from, to);
  lock(first) {
    lock(second) {
      a.debit(ammount)
      b.credit(ammount)
    }
  }
}

transfer(from: Account; to: Account; amount: Money)
{
    a.debit(ammount)
    b.credit(ammount)
}