Плюс перед функцией
 

Заметил в bootstrap.js вот такую форму:

+function ($) {

...

}(jQuery);

Плюс перед функцией - для чего это нужно?

Аналог

(function($) {

})(jQuery);

Чтобы функция интерпретировалась как Function Expression и не требовала имени.

http://learn.javascript.ru/function-...ion-expression
здесь всё хорошо, понятно и удобно для дальнейшего использования

а кто-нибудь пытался вывести это чисто формально, основываясь только на спецификации, например, на примере того же унарного плюса?

http://es5.javascript.ru/x11.html#x11.4.6
http://es5.javascript.ru/x11.html#x11.4
как сюда вообще может попасть FunctionExpression, если на вход этому оператору оно не ожидается?

с оператором группировки немного получше
http://es5.javascript.ru/x11.html#x11.1.6
получше, если самому додумать, что Expression - это некое произвольное выражение, по крайней мере, формального и неформального определения для Expression в тексте спецификации я не нашёл

попутно возник ещё один вопрос: обычно приоритет операторов смотрел где-нибудь типа здесь
https://developer.mozilla.org/en-US/...tor_Precedence
в спецификации это где-то обозначено?

здесь нормально
http://es5.javascript.ru/x11.html#x11.3
http://es5.javascript.ru/x11.html#x11.2