BAM Weblog

Type system of Fortnite's Verse language

2023-03-29

Architecture diagrams should be code

2023-01-09

Higher Kinded Parametricity

2018-12-24

Polymorphic Programming

2018-01-07

Constraints are for methods, not data

2017-11-22

10x Engineers were the Silver Bullet

2017-11-21

Tool Subsumption and Silver Bullets

2017-10-09

Haskell on Android using Eta

2017-05-23

Running Unpatched Binaries on NixOS

2017-03-22

How to stop functional programming

2016-02-23

Don't write code on line #45

2016-02-22

QuickChecking non-Haskell Code

2015-03-10

This Blog Uses Idris

2015-02-12

EvenOdd in Agda, Idris, Haskell, Scala

2014-01-23

Idris as a Library

2013-12-22

Scala Code Linting via WartRemover 0.4

2013-09-16

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

2013-08-03

Bottom-up Type Annotation with the Cofree Comonad

2013-07-06

Row Polymorphism Isn't Subtyping

2013-05-05

Read-only Guest tmux Sessions

2013-04-29

Category Theory for Promises/A+

2013-04-09

Applicative Validation in JavaScript

2013-03-27

Haskell Buildpack for Heroku

2012-11-07

bilby.js - QuickCheck

2012-09-16

Introducing bilby.js

2012-09-09

Roy - Constraint Typing

2012-09-02

GLL Combinators - Whitespace Fix

2012-08-26

Dripper git support

2012-08-19

ScalaSyd - Monad Transformers

2012-08-12

OSXMonad using StackSet

2012-08-05

OSXMonad as an XMonad library

2012-07-29

OS X Tiling Window Manager

2012-07-22

JavaScript ad hoc single dispatch library

2012-07-15

SpainJS

2012-07-08

CraftyJS running character demo

2012-07-01

Foldable1/Traverse1 for scalaz

2012-06-24

Using ScalaCheck with Akka and Specs2

2012-06-17

Roy - IEEE Article

2012-06-10

GovHack 2012

2012-06-03

Naggly

2012-05-27

Haskell on Heroku

2012-05-20

Roy - Jasmine tests

2012-05-13

Roy - Type-class function constraints

2012-05-06

Roy - Initial Source Maps

2012-04-29

Roy - Type-classes and how they fix primitives

2012-04-22

Roy - Highlighting on Website

2012-04-15

Roy - CLI Compile Browser Modules

2012-03-25

Roy - Modules in master

2012-03-18

Roy - Breaking Changes

2012-03-11

Ray - Roy on Play

2012-03-04

Diabetes Fundraiser Poster

2012-02-26

Roy - fp-syd

2012-02-19

Roy - REPL Improvements

2012-02-12

Roy - DOM Tests

2012-02-05

Roy - Browser Modules

2012-01-29

Roy - node.js Modules

2012-01-22

Roy - Type System Documentation

2012-01-15

Type Errors as Warnings

2012-01-11

Roy - Documentation

2012-01-08

Roy - Literate Roy

2012-01-01

Rome - Roy as Chrome Extension

2011-12-25

Roy - Separate Compilation

2011-12-18

Roy - Pretty Printing

2011-12-11

Roy - Recursive Data

2011-12-04

Roy's Big Week

2011-11-27

SydJS Presentation on altJS

2011-11-20

BigText Slideshow

2011-11-13

S-expression Compiler in Scala

2011-11-06

Launch48 Sydney

2011-10-30

Roy - Type Aliases

2011-10-23

Roy - Tuples

2011-10-16

Roy - Deep Pattern Matching

2011-10-09

Roy Improvements

2011-10-02

Time Lapse

2011-09-25

PyWeek #13

2011-09-18

JReversePro

2011-09-11

Cloud9 User Script

2011-09-04

PyWeek - 8 pixels and Python reloading

2011-08-28

Odd Odd Even Agda Proof

2011-08-21

GDD HTML5 Challenge

2011-08-14

Ringneck - PASM to JS

2011-08-07

Climacs

2011-07-31

Escaping Callback Hell with ClojureScript macros

2011-07-24

Roy - Tests (finally)

2011-07-17

Learn Nintendo DS a Haskell

2011-07-10

Roy - Meta-programming and a REPL

2011-07-03

Roy - Standard Library

2011-06-26

Roy - Monad Syntax

2011-06-19

Roy - Structural Typing

2011-06-12

Roy - Simple Pattern Matching

2011-06-05

Roy

2011-05-29

Simple Lexer in JavaScript

2011-05-22

Type Inference in JavaScript

2011-05-15

Minimalist Android Scala Environment

2010-12-28

Haskell: From a Parallel Perspective

2010-10-13

When I was 3...

2010-09-06

Wanted: Unparallel project in need of good optimisation

2010-07-29

node.js WebGL

2010-06-09

GSoC Introduction

2010-05-19

PyWeek 2010

2010-04-29

JavaScript as a Functional Language

2010-04-28

node.js via CGI

2010-04-27