https://datadosen.com/pt/Programming_language_for_Computable_Functions