Скачать или смотреть Advanced Type Systems Playground

🔎 Interactive Type System Playground | Lambda Calculus & Type Checking with Streamlit

Welcome to the Interactive Type System Playground 🎉 — a real-time web app built using Streamlit, Python, and GitHub/Colab.

This project is designed around Anna University 2021 Regulation FI1969 - Type Systems syllabus and brings the concepts of:

Untyped Lambda Calculus

Typed Lambda Calculus

Arithmetic Expressions (if-then-else, succ, pred, iszero)

Type Checking & Normalization

Subtyping & Polymorphism (extensions)


to life through an easy-to-use interactive interface.

🚀 Features

✔️ Enter arithmetic & lambda expressions
✔️ Step-by-step beta-reduction & normalization
✔️ Automatic type inference (check if expressions are well-typed)
✔️ Explore typed/untyped evaluation
✔️ Extendable with recursive types, polymorphism, subtyping

🛠️ Tech Stack

Python (core implementation)

Streamlit (UI & visualization)

Colab + GitHub (cloud deployment)


🎯 Why this Project?

This project directly maps to the Type Systems course (FI1969) and helps students & researchers experiment with programming language theory in a fun, hands-on way. No datasets, no ML models — just pure type theory & functional programming concepts.

📌 Keywords

type systems, lambda calculus, typed lambda calculus, programming languages, streamlit project, anna university FI1969, type inference, step-by-step evaluation, functional programming

#TypeSystems #LambdaCalculus #Streamlit #PythonProjects #FunctionalProgramming #ProgrammingLanguages #TypeInference #AnnaUniversity #FI1969 #ComputerScience