John Azariah's Blog

Ruminations of a partially-applied functional programmer...

Follow me on GitHub

algorithms

February 08, 2026: One Loop to Traverse Them All

Home

RSS

One Loop to Traverse Them All

Tagless Final in F# - Part 6: The Power of Tagless-Final: Code as Model

Tagless Final in F# - Part 5: Verifying the Elevator

Tagless Final in F# - Part 4: A Surprising New DSL: Elevators

Tagless Final in F# - Part 3: Goals, Threats, and Getting Stuck

Tagless Final in F# - Part 2: Maps, Branches, and Choices

Tagless Final in F# - Part 1: Froggy Tree House

The Parseltongue Chronicles: Sinuous Strongly-Typed Pipelines

The Parseltongue Chronicles: Enchanting Embeddings with Python Decorators

The Parseltongue Chronicles: My Journey Into Python

Y, oh Y!

This is not a Monad Tutorial

Scientific Computing with F# - Post 5 : Conclusion

Scientific Computing with F# - Post 4 : Solving TSP with BRKGA

Scientific Computing with F# - Post 3 : BRKGA

Scientific Computing with F# - Post 2 : TSP

Scientific Computing with F# - Post 1 : Introduction

Bouncing around with Recursion

Lego, Railway Tracks, and Origami - Post 5

Lego, Railway Tracks, and Origami - Post 4

Lego, Railway Tracks, and Origami - Post 3

Lego, Railway Tracks, and Origami - Post 2

Lego, Railway Tracks, and Origami - Post 1

F# & Q# - A tale of two languages

Monkeying Around : Fun with Trees

applicatives (5)

composition (5)

computation expressions (6)

evolutionary algorithms (5)

functional data structures (1)

functional programming (22)

immutable data structures (1)

lambda calculus (1)

optimization (1)

programming (2)

programming languages (1)

quantum computing (1)

scientific computing (5)

tagless final (6)

trampolines (1)

y combinator (1)

This page was generated by GitHub Pages.