La caridad es un lenguaje de programación experimental puramente funcional, desarrollado en el Calgary . De acuerdo con ideas por el Hagino se pone a tierra totalmente en la teoría de la categoría.

Sin hacer caso de interacciones con el mundo exterior, todos los programas de la caridad se garantizan para terminar. Esto significa que la lengua es el Turing-completo del no . Sin embargo, es capaz de expresar la función de Ackermann, que hace le más expresiva que la repetición primitiva .