Ребят, такой вопрос
Если что-то реализовано на одном языке, то тоже самое можно реализовать и на другом? Не важно сколько больше усилий понадобиться
Это называется полнота по Тьюрингу, ну и в целом теоретически не всегда. Например, есть языки типа Agda, где гаранитруется, что выполнение фунции завершится для любых входных данных за конечное время. Обычно это реализуется через структурную рекурсию, когда на рекурсивный выхзов накладывается то ограничение, то как минимум один из параметров рекурсии долже быть структурно меньше входящего аргумента, откуча тривиально следует конечность вычислений. Либо можем прокидывать существуемый только на стадии компиляции объект, который будет структурно уменьшаться, что и будет доказательством того, что вычисления выполнятся за конечное время. Да, существуют директивы компилятора, которые могут отключить такую проверку, но в целом такое есть. Понятно, что есть проблема остановки машины Тьюринга, и если мы можем доказать, что код на ЯП выполнится за конечно время, то он неполный по Тьюрингу, а значит мы можем запрограммировать не любой код, а только тот, для которого имеется доказательство того, что он выполнится за конечное время.