Повлияет ли использование рубиновой проверки типов Sorbet на производительность рубинового приложения?

Я подумал, что, возможно, интерпретатор ruby ​​выполняет аналогичную работу, что потенциально может означать, что проверка типов может увеличить скорость интерпретации.

Это еще не так, но потенциально можно было бы построить это однажды. Целью Sorbet было создание системы типов для людей по сравнению с созданием системы типов для компьютеров (компилятор). Это может привести к снижению производительности, но поскольку Stripe запускает его в производственной среде, мы держим его под контролем. Внутренне мы вызываем нас, если накладные расходы составляют> 7% процессорного времени.

Я немного почитал о динамически типизированных языках (в частности, о Javascript в данном случае) и обнаружил, что если мы продолжаем отправлять какой-либо функции (например, foo) объекты одного и того же типа, движок выполняет некоторую оптимизацию этой функции, поэтому, когда она вызывается снова с теми же типами, интерпретация будет выполняться быстрее.

Да, это можно сделать. То, что вы описываете, является обычной оптимизацией в компиляторах Just-In-Time (JIT). Метод, на который вы, кажется, ссылаетесь, использует профилирование во время выполнения и на самом деле является распространенным альтернативным методом, который позволяет достичь этого результата в отсутствии системы типов. Также стоит отметить, что хорошо построенные JIT могут делать это чаще, чем система типов, поскольку система типов кодирует то, что может произойти, в то время как профилирование и JIT могут оптимизировать то, что фактически происходит на практике< /эм>.