Juan Pablo Romero Méndez writes about type theory, functional programming, math visualization and proof assistants. @1jpablo1
Posts
Piecewise Isometries in 3D
Jul 17, 2026
Stacking fractal slices along a parameter-space trajectory into a 3D structure
Surface Plotter
Dec 28, 2025
Interactive 3D parametric surface visualization with WebXR support
Simulating Subtyping and Object Oriented Polymorphism in Lean
Sep 13, 2022
The Object Oriented design pattern
Lean for Scala programmers - Part 4
Jun 1, 2021
Proofs and tactics
Lean for Scala programmers - Part 3
Apr 16, 2021
Dependent Types and Type Classes
Lean for Scala programmers - Part 2
Mar 14, 2021
Inductive types and pattern matching
Lean for Scala programmers - Part 1
Feb 28, 2021
Exploring dependent types with Lean and Scala
A tour of String Diagrams and Monoidal Categories
Nov 20, 2020
Diagrams meet Category Theory meet Scala
Notes on Category Theory in Scala 3
Dec 23, 2019
Using Scala to learn Math (and vice versa).
Illustrated guide to Types, Sets and Values
Sep 20, 2019
A graphical exploration of the relationship between Types, Sets and Values.
