# New tutorial series on implementing lambda calculus interpreter in Я

**URL:** <https://discourse.haskell.org/t/new-tutorial-series-on-implementing-lambda-calculus-interpreter-in/14268>\
**Category:** Links\
**Created:** [June 12, 2026, 3:46pm UTC](https://discourse.haskell.org/t/new-tutorial-series-on-implementing-lambda-calculus-interpreter-in/14268 "2026-06-12T15:46:52Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![iokasimov](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/iokasimov/32/5591_2.png) [@iokasimov](https://discourse.haskell.org/u/iokasimov)\
**Post date:** [June 12, 2026, 3:46pm UTC](https://discourse.haskell.org/t/new-tutorial-series-on-implementing-lambda-calculus-interpreter-in/14268/1 "2026-06-12T15:46:52Z")

</div>

First three chapters with a fresh look on how to work with AST using functors and natural transformations:

[https://muratkasimov.art/Ya/Tutorials/Lambda-calculus-interpreter-1/](https://muratkasimov.art/Ya/Tutorials/Lambda-calculus-interpreter-1/)  
[https://muratkasimov.art/Ya/Tutorials/Lambda-calculus-interpreter-2/](https://muratkasimov.art/Ya/Tutorials/Lambda-calculus-interpreter-2/)  
[https://muratkasimov.art/Ya/Tutorials/Lambda-calculus-interpreter-3/](https://muratkasimov.art/Ya/Tutorials/Lambda-calculus-interpreter-3/)

Next ones are in progress: tracing variables, de Brujin indices and β-reduction.