Soy un estudiante universitario y actualmente estamos estudiando el cálculo de Lambda. Sin embargo, todavía me cuesta entender exactamente por qué esto es útil para mí. Me doy cuenta de que si haces un montón de programación funcional, podría ser útil, sin embargo, creo que no es realmente necesario para aprender programación funcional, ¿qué crees?
En segundo lugar, ¿hay algún uso para el cálculo Lambda dentro del ámbito de la informática pero fuera de los lenguajes de programación funcionales?