Ask HN: Has Anyone used pure Lambda Calculus for anything serious?

I was reading this post [1] and while I found it interesting, I was curious if anyone has actually used the pure Lambda Calculus for a serious project. If so, why?

[1]https://www.jtolio.com/2017/03/whiteboard-problems-in-pure-lambda-calculus/