nowfound

Life & fun · May 8, 2020

Micro-mitten – Research language with compile-time memory management

I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.

Micro-mitten – Research language with compile-time memory management launched on May 8, 2020 with 236 votes, #95 of 4,813 launches that month and more than 95% of that year's launches. The site was still online in September 2026, 6 years on.

Visit github.com ↗Alternativestop 2% of May 2020

In plain words

Micro-mitten is a research programming language implementing compile-time memory management based on academic techniques. It is designed for developers and researchers interested in functional programming with automatic memory handling determined at compilation rather than runtime. The language shows mixed performance results and aims to evolve into a more comprehensive functional language system.

written from the facts on this page · September 2026

From the sources

You might not need your garbage collector. Contribute to cofibrant/micro-mitten development by creating an account on GitHub.

Does a similar job

all alternatives →
  • A dependently-typed programming language with static memory management2020 · github.com · ▲456

    A functional programming language with static memory management - vekatze/neut

  • Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model)2025 · gist.github.com · ▲226

    Heap based scheme machine. GitHub Gist: instantly share code, notes, and snippets.

  • ScrapScript – A tiny functional language for sharable software2023 · scrapscript.org · ▲503

    Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas/implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)

  • IW
    I wrote a technical history book on LispFeb 2026 · berksoft.ca · ▲252

    The book page links to a blog post that explains how I got about it (and has a link to sample content), but the TL&DR is that I could not find a lot of books that were on "our" history _and_ were larded with technical details. So I set about writing one, and some five years later I'm happy to share the result. I think it's one of the few "computer history" books that has tons of code, but correct me if I'm wrong (I wrote this both to tell a story and to learn :-)). My favorite languages are Smalltalk and Lisp, but as an Emacs user, I've been using the latter for much longer and for my…

  • GI
    Going into freshman year, figured I should build an interpreter2023 · ▲138

    Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D

  • A hash array-mapped trie implementation in C2023 · github.com · ▲171

    Long-simmering side project that is finally ready to see the light. HAMTs are a cool persistent data structure and implementing one has been a lot of fun. Beyond the code, there is likely some value in the extensive and largely complete implementation docs; basic benchmarks are linked in the README, too. Kind of aiming to be "the libavl for HAMTs". That is obviously a high and aspirational bar but a distinct possibility if it stirs up a little interest and/or contribution. Anyways, it's time for this to go out, collect feedback and maybe even some use outside of toy projects. Let me…

More life & fun this month

the category →

Source: Show HN post ↗

Launched alongside, May 2020

the whole month →
  • Blush▲1,462

    Illustrations for everyone

    Dev tools · 2020 · blush.design

  • SHA-256 Animation▲1,053

    Animation of the SHA-256 hash function in your terminal. - in3rsha/sha256-animation

    Dev tools · 2020 · github.com

  • This Word Does Not Exist▲956

    This Word Does Not Exist uses an artificial intelligence model named GPT-2 to invent new English words.

    AI · 2020 · thisworddoesnotexist.com

  • P3
    Plotting 3 years of hourly data in 150ms▲785

    Life & fun · 2020 · leeoniya.github.io

  • Untools▲783

    Hand-picked tools for better thinking

    Work · 2020 · untools.co

  • Copytesting▲781

    Improve your website copy based on data from your audience

    Growth · 2020 · wynter.com