Мне кажется, что единственное различие между lein run и lein trampoline заключается в том, что последний выходит из Leiningen JVM для сохранения памяти.
Кажется, это всегда хорошая идея, поэтому почему эта функция не включена в lein run, а затем избавиться от lein trampoline?