Your browser does not support css scopes! As a result some things on this page may not render properly!
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!
Where I write about functional programming, my research, and whatever else happens to be on my mind.
An algebraic approach to mutation in linearly typed systems.
UNDER CONSTRUCTION