BAM Weblog

Type system of Fortnite's Verse language

2023-03-29
Comments —

Architecture diagrams should be code

2023-01-09
Comments —

Higher Kinded Parametricity

2018-12-24
Comments —

Polymorphic Programming

2018-01-07
Comments —

Constraints are for methods, not data

2017-11-22
Comments —

10x Engineers were the Silver Bullet

2017-11-21
Comments —

Tool Subsumption and Silver Bullets

2017-10-09
Comments —

Haskell on Android using Eta

2017-05-23
Comments —

Running Unpatched Binaries on NixOS

2017-03-22
Comments —

How to stop functional programming

2016-02-23
Comments —

Don't write code on line #45

2016-02-22
Comments —

QuickChecking non-Haskell Code

2015-03-10
Comments —

This Blog Uses Idris

2015-02-12
Comments —

EvenOdd in Agda, Idris, Haskell, Scala

2014-01-23
Comments —

Idris as a Library

2013-12-22
Comments —

Scala Code Linting via WartRemover 0.4

2013-09-16
Comments —

Odd Odd Even Agda Proof, Take (suc (suc zero))

2013-08-03
Comments —

Bottom-up Type Annotation with the Cofree Comonad

2013-07-06
Comments —

Row Polymorphism Isn't Subtyping

2013-05-05
Comments —

Read-only Guest tmux Sessions

2013-04-29
Comments —

Category Theory for Promises/A+

2013-04-09
Comments —

Applicative Validation in JavaScript

2013-03-27
Comments —

Haskell Buildpack for Heroku

2012-11-07
Comments —

bilby.js - QuickCheck

2012-09-16
Comments —

Introducing bilby.js

2012-09-09
Comments —

Roy - Constraint Typing

2012-09-02
Comments —

GLL Combinators - Whitespace Fix

2012-08-26
Comments —

Dripper git support

2012-08-19
Comments —

ScalaSyd - Monad Transformers

2012-08-12
Comments —

OSXMonad using StackSet

2012-08-05
Comments —

OSXMonad as an XMonad library

2012-07-29
Comments —

OS X Tiling Window Manager

2012-07-22
Comments —

JavaScript ad hoc single dispatch library

2012-07-15
Comments —

SpainJS

2012-07-08
Comments —

CraftyJS running character demo

2012-07-01
Comments —

Foldable1/Traverse1 for scalaz

2012-06-24
Comments —

Using ScalaCheck with Akka and Specs2

2012-06-17
Comments —

Roy - IEEE Article

2012-06-10
Comments —

GovHack 2012

2012-06-03
Comments —

Naggly

2012-05-27
Comments —

Haskell on Heroku

2012-05-20
Comments —

Roy - Jasmine tests

2012-05-13
Comments —

Roy - Type-class function constraints

2012-05-06
Comments —

Roy - Initial Source Maps

2012-04-29
Comments —

Roy - Type-classes and how they fix primitives

2012-04-22
Comments —

Roy - Highlighting on Website

2012-04-15
Comments —

Roy - CLI Compile Browser Modules

2012-03-25
Comments —

Roy - Modules in master

2012-03-18
Comments —

Roy - Breaking Changes

2012-03-11
Comments —

Ray - Roy on Play

2012-03-04
Comments —

Diabetes Fundraiser Poster

2012-02-26
Comments —

Roy - fp-syd

2012-02-19
Comments —

Roy - REPL Improvements

2012-02-12
Comments —

Roy - DOM Tests

2012-02-05
Comments —

Roy - Browser Modules

2012-01-29
Comments —

Roy - node.js Modules

2012-01-22
Comments —

Roy - Type System Documentation

2012-01-15
Comments —

Type Errors as Warnings

2012-01-11
Comments —

Roy - Documentation

2012-01-08
Comments —

Roy - Literate Roy

2012-01-01
Comments —

Rome - Roy as Chrome Extension

2011-12-25
Comments —

Roy - Separate Compilation

2011-12-18
Comments —

Roy - Pretty Printing

2011-12-11
Comments —

Roy - Recursive Data

2011-12-04
Comments —

Roy's Big Week

2011-11-27
Comments —

SydJS Presentation on altJS

2011-11-20
Comments —

BigText Slideshow

2011-11-13
Comments —

S-expression Compiler in Scala

2011-11-06
Comments —

Launch48 Sydney

2011-10-30
Comments —

Roy - Type Aliases

2011-10-23
Comments —

Roy - Tuples

2011-10-16
Comments —

Roy - Deep Pattern Matching

2011-10-09
Comments —

Roy Improvements

2011-10-02
Comments —

Time Lapse

2011-09-25
Comments —

PyWeek #13

2011-09-18
Comments —

JReversePro

2011-09-11
Comments —

Cloud9 User Script

2011-09-04
Comments —

PyWeek - 8 pixels and Python reloading

2011-08-28
Comments —

Odd Odd Even Agda Proof

2011-08-21
Comments —

GDD HTML5 Challenge

2011-08-14
Comments —

Ringneck - PASM to JS

2011-08-07
Comments —

Climacs

2011-07-31
Comments —

Escaping Callback Hell with ClojureScript macros

2011-07-24
Comments —

Roy - Tests (finally)

2011-07-17
Comments —

Learn Nintendo DS a Haskell

2011-07-10
Comments —

Roy - Meta-programming and a REPL

2011-07-03
Comments —

Roy - Standard Library

2011-06-26
Comments —

Roy - Monad Syntax

2011-06-19
Comments —

Roy - Structural Typing

2011-06-12
Comments —

Roy - Simple Pattern Matching

2011-06-05
Comments —

Roy

2011-05-29
Comments —

Simple Lexer in JavaScript

2011-05-22
Comments —

Type Inference in JavaScript

2011-05-15
Comments —

Minimalist Android Scala Environment

2010-12-28
Comments —

Haskell: From a Parallel Perspective

2010-10-13
Comments —

When I was 3...

2010-09-06
Comments —

Wanted: Unparallel project in need of good optimisation

2010-07-29
Comments —

node.js WebGL

2010-06-09
Comments —

GSoC Introduction

2010-05-19
Comments —

PyWeek 2010

2010-04-29
Comments —

JavaScript as a Functional Language

2010-04-28
Comments —

node.js via CGI

2010-04-27
Comments —

I am Brian McKenna, principal engineer at Atlassian.

My interests cross:

  • Programming languages
  • Functional programming
  • Type theory
  • Logic
  • Web applications

You can find me on Mastodon.