Research

Research interests, ongoing projects, and notes.

Number Project & Cats

Overview Number Project (with Prof. Robin Hillyard), 2024–present Robin Hillyard Number GitHub Repo Current Work ✅ I integrated Cats😺 into the Number project by adding cats-kernel/core and providing type class instances: Eq/Order/Show for Rational, Order/Show/Eq for ExactNumber, and PartialOrder/Eq/Show for Number (favoring PartialOrder to respect fuzzy/NaN semantics). ✅ I wrote a Discipline-based law tests for them. ✅ I separated the error scalars of the fuzzy number into two distinct monoids—more precisely, CommutativeMonoids—one is CommutativeMonoid[AbsSigma] and the other is CommutativeMonoid[RelSigma]. Decoupled parallel: nominal accumulation and sigma folding run independently. ...

Well-typed programs don’t go wrong

Overview I am doing this project 🐪 to put into practice the knowledge from Types and Programming Languages by Benjamin C. Pierce, mainly to demonstrate my understanding of the concepts presented in the book. Use OCaml 🐪 as Parser/AST: to represent the program, Typechecker: to check whether the type is correct, Evaluator: to execute step by step according to the operational semantics, Error Cases: to find the error program.📝 ...

Profunctor Optics

Overview Unify the lens/prisms/isos strategies with ProFunctor; cover audits of Cats/Monocle practices. 👁️ Incremental: Scala 3 implementation + rule checking repository + minimal counterexample for “when to break fix” Current Work Writing…. Publications Writing….