The Curious Engineer

All blogs / Functional / PL theory

BAM Weblog

brianmckenna.org/blog

Functional / PL theoryHaskellCompilers

’10’15’20’25
Posts
105 from 27 Apr 2010 to 17 Jan 2025
Posting
now and then
Kind
personal blog
Feed
https://brianmckenna.org/blog/feed

2025 1

  1. Overriding Flakes Inputs in Hydra

2024 1

  1. Off-Grid Men's Shed

2023 2

  1. Type system of Fortnite's Verse language
  2. Architecture diagrams should be code

2018 2

  1. Higher Kinded Parametricity
  2. Polymorphic Programming

2017 5

  1. Constraints are for methods, not data
  2. 10x Engineers were the Silver Bullet
  3. Tool Subsumption and Silver Bullets
  4. Haskell on Android using Eta
  5. Running Unpatched Binaries on NixOS

2016 2

  1. How to stop functional programming
  2. Don't write code on line #45

2015 3

  1. Optimising the PureScript Compiler
  2. QuickChecking non-Haskell Code
  3. This Blog Uses Idris

2014 1

  1. EvenOdd in Agda, Idris, Haskell, Scala

2013 8

  1. Idris as a Library
  2. Scala Code Linting via WartRemover 0.4
  3. Odd Odd Even Agda Proof, Take (suc (suc zero))
  4. Bottom-up Type Annotation with the Cofree Comonad
  5. Row Polymorphism Isn't Subtyping
  6. Read-only Guest tmux Sessions
  7. Category Theory for Promises/A+
  8. Applicative Validation in JavaScript

2012 38

  1. Haskell Buildpack for Heroku
  2. bilby.js - QuickCheck
  3. Introducing bilby.js
  4. Roy - Constraint Typing
  5. GLL Combinators - Whitespace Fix
  6. Dripper git support
  7. ScalaSyd - Monad Transformers
  8. OSXMonad using StackSet
  9. OSXMonad as an XMonad library
  10. OS X Tiling Window Manager
  11. JavaScript ad hoc single dispatch library
  12. SpainJS
  13. CraftyJS running character demo
  14. Foldable1/Traverse1 for scalaz
  15. Using ScalaCheck with Akka and Specs2
  16. Roy - IEEE Article
  17. GovHack 2012
  18. Naggly
  19. Haskell on Heroku
  20. Roy - Jasmine tests
  21. Roy - Type-class function constraints
  22. Roy - Initial Source Maps
  23. Roy - Type-classes and how they fix primitives
  24. Roy - Highlighting on Website
  25. Roy - CLI Compile Browser Modules
  26. Roy - Modules in master
  27. Roy - Breaking Changes
  28. Ray - Roy on Play
  29. Diabetes Fundraiser Poster
  30. Roy - fp-syd
  31. Roy - REPL Improvements
  32. Roy - DOM Tests
  33. Roy - Browser Modules
  34. Roy - node.js Modules
  35. Roy - Type System Documentation
  36. Type Errors as Warnings
  37. Roy - Documentation
  38. Roy - Literate Roy

2011 33

  1. Rome - Roy as Chrome Extension
  2. Roy - Separate Compilation
  3. Roy - Pretty Printing
  4. Roy - Recursive Data
  5. Roy's Big Week
  6. SydJS Presentation on altJS
  7. BigText Slideshow
  8. S-expression Compiler in Scala
  9. Launch48 Sydney
  10. Roy - Type Aliases
  11. Roy - Tuples
  12. Roy - Deep Pattern Matching
  13. Roy Improvements
  14. Time Lapse
  15. PyWeek #13
  16. JReversePro
  17. Cloud9 User Script
  18. PyWeek - 8 pixels and Python reloading
  19. Odd Odd Even Agda Proof
  20. GDD HTML5 Challenge
  21. Ringneck - PASM to JS
  22. Climacs
  23. Escaping Callback Hell with ClojureScript macros
  24. Roy - Tests (finally)
  25. Learn Nintendo DS a Haskell
  26. Roy - Meta-programming and a REPL
  27. Roy - Standard Library
  28. Roy - Monad Syntax
  29. Roy - Structural Typing
  30. Roy - Simple Pattern Matching
  31. Roy
  32. Simple Lexer in JavaScript
  33. Type Inference in JavaScript

2010 9

  1. Minimalist Android Scala Environment
  2. Haskell: From a Parallel Perspective
  3. When I was 3...
  4. Wanted: Unparallel project in need of good optimisation
  5. node.js WebGL
  6. GSoC Introduction
  7. PyWeek 2010
  8. JavaScript as a Functional Language
  9. node.js via CGI