Kitsune Vi

Hello, my name is Violet (born 2003), I am a mathematician and functional programmer. I have been self studying pure mathematics since I was 11 and picked up programming by the age of 16.

As a mathematician I am used to problems being solved, not just dealt with, the sheer scale of human hours wasted by improperly handling issues is… harrowing. Proper solutions take research, care, and a desire for nobody else to ever have to worry about the problem again. On the scale of an individual or even a company this is not effective, but on the scale of a society it is necessary.

…So anyways I got into language development. :3

I hope you find what you are looking for on my site!

Blogs

Where I write about functional programming, my research, and whatever else happens to be on my mind.

The Chiral Product architecture

An algebraic approach to mutation in linearly typed systems.

Handling Weak Monads Using Folds functionconstruction

Linear and affine typing breaks do blocks, this is how we fix can them.