такое чуство что на этом канале одни гошники и растовцы =) rbs самое правильное решение, сорбетовское сильно снижает читабельность, можно былоб описание типов вынести в комментарии, но в отдельном файле всетаки лучше
вообще имхо, само направление рубей неправильное, jit гавноидея, и это подтвердил сам матц, нужно было забить на многопоток и jit в интепретаторе, сделать из сорбета анализатор типов в рантайме с генерацией rbs, для дальнейшей компиляции через кристал, и былоб всем счастье )