expede / brainfucker

A simple Brainfuck interpreter

Brooklyn Zelenka

Hey there, I'm Brooke 👋 I'm a composer-turned-programmer living in beautiful, rainy Vancouver.

Depending on the community, I'm best known for:

• UCAN, a form of distributed, user-owned auth
• Witchcraft, which ports Haskell idioms to Elixir
• Working on Ethereum Virtual Machine improvements
• E2EE for Local-First applications

I sometimes give conference talks. You can find many of them on my public notebook.

What I'm (Currently) Excited About 🙌

• Programming languages / PLT
• Distributed systems
• CRDTs-as-databases
• Tech community
• Startups & advising

Live Stats 📊

brainfucker's Issues

Get CI working

Get either CircleCi or TravisCI up and running. Both doctests and Spec build and run fine locally.

CircleCI

• Does not recognise GHC 7.8.4
  • Does seem to understand GHC 7.8.3
• Doesn't recognise cabal 1.22.x.x
• Fails to build dependencies

Improve interpret

Can use foldM_ to fold over the structure. Would require creating a type to told the AST and Tape with a Traversable.

Something like:
data Machine = Machine Tape (AST ()) deriving (Traversable, Foldable)

The only wrinkle is Loop xs ys. If cursor tape == 0, then skip xs, otherwise run ys and recurse.

Switch to Free Monad strategy

• As per Gabriel Gonzalez's tutorial
• Looks like a much more elegant solution
• Get to play with the Free Monad!