Sofia

is creating Mirth

20

patrons
Hello! My name is Sofia and I'm working on a new programming language called Mirth.

Mirth is inspired by Forth, Joy, Haskell, Idris, Rust, and Lisp. It is a type-safe concatenative functional programming language. It has the following lofty goals:

  • strongly-typed concatenative functional programming;
  • typeclasses, i.e. Haskell-style ad hoc polymorphism, with laws;
  • linear types, refinement types, dependent types;
  • referentially transparent effects;
  • optional garbage collection or explicit memory management;
  • elaborator macros, i.e. type-aware Lisp-style macros;
  • deep connections to symmetric monoidal category theory.

Mirth is an early-stage work-in-progress. You can check it out on GitHub (https://github.com/mirth-lang/mirth) -- it is still in a nascent stage. Mirth is open source, distributed under the Mozilla Public License 2.0.

Your money goes to support the development of Mirth. This Patreon is to support the development of Mirth, and help cover the costs associated with its creation and distribution, and of its libraries, tools, docs, tutorials, etc.

In return for your patronage, you will be credited in the official distribution, and you may gain access to early releases. Please check out the Tier List for a full breakdown of patron perks.

About Me:
I'm a functional programmer, a type theorist, and a trans woman trying to make her way in this world. I have an M.S. in Computer Science, and I'm also a former PhD student of Computer Science at Cornell University, with a strong focus on dependent type theory. I am now a full-time Haskell programmer who specializes in programming language engineering. Programming languages are my passion.
Tiers
Patron
$2 or more per month

Your name in the credits distributed with the source code.

Early Access
$5 or more per month

All of the above, plus early access to any release.

Super Patron
$10 or more per month

All of the above, plus your name in the REPL banner! Thank you!

Super Duper Patron
$20 or more per month

All of the above, plus my undying gratitude. There is nothing more I can give, but to thank you for your generosity. Thank you!

Goals
20 of 50 patrons
Mirth gets a book! Mirth needs tutorials and docs, of course, but a nice open book will go a long way bringing people in to the language and letting them explore.
4 of 5
Hello! My name is Sofia and I'm working on a new programming language called Mirth.

Mirth is inspired by Forth, Joy, Haskell, Idris, Rust, and Lisp. It is a type-safe concatenative functional programming language. It has the following lofty goals:

  • strongly-typed concatenative functional programming;
  • typeclasses, i.e. Haskell-style ad hoc polymorphism, with laws;
  • linear types, refinement types, dependent types;
  • referentially transparent effects;
  • optional garbage collection or explicit memory management;
  • elaborator macros, i.e. type-aware Lisp-style macros;
  • deep connections to symmetric monoidal category theory.

Mirth is an early-stage work-in-progress. You can check it out on GitHub (https://github.com/mirth-lang/mirth) -- it is still in a nascent stage. Mirth is open source, distributed under the Mozilla Public License 2.0.

Your money goes to support the development of Mirth. This Patreon is to support the development of Mirth, and help cover the costs associated with its creation and distribution, and of its libraries, tools, docs, tutorials, etc.

In return for your patronage, you will be credited in the official distribution, and you may gain access to early releases. Please check out the Tier List for a full breakdown of patron perks.

About Me:
I'm a functional programmer, a type theorist, and a trans woman trying to make her way in this world. I have an M.S. in Computer Science, and I'm also a former PhD student of Computer Science at Cornell University, with a strong focus on dependent type theory. I am now a full-time Haskell programmer who specializes in programming language engineering. Programming languages are my passion.

Recent posts by Sofia

Recent posts by Sofia

Tiers
Patron
$2 or more per month

Your name in the credits distributed with the source code.

Early Access
$5 or more per month

All of the above, plus early access to any release.

Super Patron
$10 or more per month

All of the above, plus your name in the REPL banner! Thank you!

Super Duper Patron
$20 or more per month

All of the above, plus my undying gratitude. There is nothing more I can give, but to thank you for your generosity. Thank you!