Částečně rekurzivní funkce – Další jazyky