Focustro: Development Notes for a Replicating React Application
Notes on an experimental, minimalist 'todo' app that can synchronise with a remote server.
Applying "Make Invalid States Unrepresentable"
That is "Make Invalid States Unrepresentable"
I'm a software developer with an interest in functional programming, language design, type systems, databases and database design.
I'm currently in Bristol, UK working remotely for FeatureSpace/VISA (CV).
Articles
My Principles for Building Software
These are my personal principles for building software.
Tests vs Types
When should you use tests and when should you use types? What information and guarantees do we get for our efforts?
Haskell IO Without the M-word
A brief introduction to IO in Haskell.
Projects
Deklara
Deklara is a tool that allows you to write a declarative schema and auto-generate migrations.
Kuljet
Kuljet is a happy little language for writing database-backed HTML applications. Its type checking and integration with relational databases should help you whip up prototypes in no time.
OCellator
A spin-off of the OCell structural editor project for writing synths with a lispy flavour.
OCell
Another attempt at structural code editor.
Squee
Squee is an experimental language that breaks relational queries down in to composable functions that can be fully inferred with a few extensions to Hindley Milner. It compiles to SQL and so can be used with relational databases.
Structural Editor
A structural code editor and IDE that operates directly on abstract syntax trees instead of text files.
Document Rendering
An experimental way of rendering web documents.