In the arcane halls of wizardry, some mages rely on instinct, improvising spells with reckless abandon. But not you. No, you are a scholar of the arcane, a master of precise incantations. You believe in deterministic magic—spells that always resolve the same way, every time.
Welcome to Functional Magic, a Haskell-inspired language designed to describe and "cast" spells with mathematical elegance. Whether you're a wizard seeking to rewrite the very laws of magic or a developer indulging in some arcane programming, this is the language that turns spells into structured logic.
Prepare your spellbooks. The compiler awaits.
Some wizards like to make sure their magic always casts in the same way every time. These mages are here to get shit done. Progress their world. This is the language they use to communitcate and cast their magics.
A haskell style language for describing and "casting" spells.
While playing DND 5e with some friends I wanted to create a wizard that wanted to "re-write" magic. As a software developer it was a nice amount of self insersion into the character. After which I thought 'why don't we write a compiler for these "spells"' and here we are.
Note
There will be mistakes here, I'm not super well read into the dnd 5e rule set and functional programming is completely new to me.
We will be basing most of the work off Write You a Haskell. Which can also be found in this repo.
Hi 👋 I'm Alex, a software developer from the UK and a nerd. I love my career as a software developer and have a genuine passion for starting and not finishing side projects programming in my free time. I also really enjoy TTRPGs and jsut goofing around with friends. This is a product of that.
If you use this in your game, character or just enjoyed reading it, let me know! I'm super new to this and will read most things, issues will be read and PRs while welcome may not be accepted as I'm going to keep this a personal project for the time being.
This written work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. You may reproduce and edit this work with attribution for all non-commercial purposes.
The included source is released under the terms of the GNU GPLv3.