Full-stack developer working with functional programming languages, living in Los Angeles, CA. I enjoy applying the techniques of pure functional programming to real-world problems.
This teaching tool allows developers to step through the evaluation of a MicroKanren program, observing values as unifications happen, for debugging purposes.
I wrote this blog series to highlight some of the activity in the PureScript developer community.
This web application allows developers to try the PureScript programming language without installing the compiler. It compiles the user's code on the server, and executes it in an iframe.
Many of my PureScript articles can be found on the PureScript wiki.
The Damas-Hindley-Milner type system is a classical system for the first-order polymorphic lambda calculus, and the ML family of programming languages. This paper introduces Algorithm W, a simple algorithm for type reconstruction in the DHM type system. I'll walk through the main results of the paper, and compare the DHM type system with other more modern systems.
Reactive UIs with PureScript and Halogen
Halogen is a new library for developing reactive front-end web applications in PureScript, based on a simple HTML templating language and the concept of signal functions. I will give a brief overview of the ideas behind the library, and we will be lead naturally from signals to signal functions as we try to solve some simple problems.
React has popularized the idea of user interfaces as pure functions of application state, an approach which is perfectly suited for a language like PureScript. In this 90 minute workshop, we solved problems in an application built with React and PureScript.
I led a 90-minute workshop in which attendees learned to solve common problems in web programming using the PureScript programming language.