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’m currently researching and building Miru, a strictly evaluated functional language that borrows much of its syntax from languages like Clojure, Carp, and Shen while implementing the semantics of languages like OCaml, Haskell, and Koka. with great premise on Algebraic Effects and Effect Tracking (WikiPedia for your reference). It additionally provides native array-language extensions including contiguous N-dimensional tensors and broadcasting inspired by Julia. It’s designed to be pragmatic and useful for day to day general purpose tasks while also being a great fit for doing math and science. A great way to get an overview of the language is to read the DRAFT specification.
Conversely, I like building things that solve my day to day chores. Good examples being minework to manage everything Minecraft, .bootstrap’s generate templates for Haskell, OCaml, Rust etc. and mfctl to control my Arturia MiniFuse 1 (it was based on a fork I modified to work with Nix).
A tool is as good as the thought (documentation) and care it’s creator put into it.
You might’ve noticed that my content is generally very heavy on text; you’d be correct and this place is no different. That said, d’DG 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.
Feel free to email me at debarchiton@proton.me if you want to talk about type systems, compilers, functional programming, free software, game emulation, FPGAs, digital sovereignty, space, archaeology, progressive music, or just about anything.