Lambda kalkul – Další jazyky