d'DG(orddgfor URI safe) is a simple abbreviation: debarchito’s Digital Garden.
Yahallo! I’m debarchito, a computer science student who likes a good type system. I like building things that solve my day to day chores; minework to manage Minecraft mods, modpacks, et al. and mfctl (it was based on a fork I modified to work nicely with Nix) to control my Arturia MiniFuse 1 are good examples of it. You might’ve noticed that my content is generally very heavy on text; you’d be correct and this place is no different.
A tool is as good as the thought (documentation) and care it’s creator put into it.
I am currently researching and building Miru. It is a statically typed Lisp+ML hybrid that uses algebraic effect handlers for all non-local control flow (even errors are just a subset of effects that discard their continuations). The primary objective is to combine the type safety of OCaml with the ergonomics of Clojure with differences drawn where it makes sense. It was and still is heavily inspired by Shen and Koka.
This site is open-ended so navigating it can be a bit daunting at first. Thus, I’ve divided the content into distinct categories:
- The Nursery is my experimental blog.
- Evergreen Shelf holds my literary works viz. poems, stories, et al.
- Night Garden is my place to get realist when no one calls for it.
Have fun!