BAM Weblog

follow: @[email protected]

Posts

Overriding Flakes Inputs in Hydra

Off-Grid Men's Shed

Type system of Fortnite's Verse language

Architecture diagrams should be code

Higher Kinded Parametricity

Polymorphic Programming

Constraints are for methods, not data

10x Engineers were the Silver Bullet

Tool Subsumption and Silver Bullets

Haskell on Android using Eta

Running Unpatched Binaries on NixOS

How to stop functional programming

Don't write code on line #45

Optimising the PureScript Compiler

QuickChecking non-Haskell Code

This Blog Uses Idris

EvenOdd in Agda, Idris, Haskell, Scala

Idris as a Library

Scala Code Linting via WartRemover 0.4

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

Bottom-up Type Annotation with the Cofree Comonad

Row Polymorphism Isn't Subtyping

Read-only Guest tmux Sessions

Category Theory for Promises/A+

Applicative Validation in JavaScript

Haskell Buildpack for Heroku

bilby.js - QuickCheck

Introducing bilby.js

Roy - Constraint Typing

GLL Combinators - Whitespace Fix

Dripper git support

ScalaSyd - Monad Transformers

OSXMonad using StackSet

OSXMonad as an XMonad library

OS X Tiling Window Manager

JavaScript ad hoc single dispatch library

CraftyJS running character demo

Foldable1/Traverse1 for scalaz

Using ScalaCheck with Akka and Specs2

Roy - IEEE Article

Haskell on Heroku

Roy - Jasmine tests

Roy - Type-class function constraints

Roy - Initial Source Maps

Roy - Type-classes and how they fix primitives

Roy - Highlighting on Website

Roy - CLI Compile Browser Modules

Roy - Modules in master

Roy - Breaking Changes

Ray - Roy on Play

Diabetes Fundraiser Poster

Roy - REPL Improvements

Roy - DOM Tests

Roy - Browser Modules

Roy - node.js Modules

Roy - Type System Documentation

Type Errors as Warnings

Roy - Documentation

Roy - Literate Roy

Rome - Roy as Chrome Extension

Roy - Separate Compilation

Roy - Pretty Printing

Roy - Recursive Data

SydJS Presentation on altJS

BigText Slideshow

S-expression Compiler in Scala

Launch48 Sydney

Roy - Type Aliases

Roy - Deep Pattern Matching

Roy Improvements

Cloud9 User Script

PyWeek - 8 pixels and Python reloading

Odd Odd Even Agda Proof

GDD HTML5 Challenge

Ringneck - PASM to JS

Escaping Callback Hell with ClojureScript macros

Roy - Tests (finally)

Learn Nintendo DS a Haskell

Roy - Meta-programming and a REPL

Roy - Standard Library

Roy - Monad Syntax

Roy - Structural Typing

Roy - Simple Pattern Matching

Simple Lexer in JavaScript

Type Inference in JavaScript

Minimalist Android Scala Environment

Haskell: From a Parallel Perspective

When I was 3...

Wanted: Unparallel project in need of good optimisation

GSoC Introduction

JavaScript as a Functional Language

node.js via CGI