This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
Everything is connected, and the way it connects is kinda complex.
For example, continuing my silly example habit: {-# LANGUAGE PatternSynonyms #-} module Example where main :: IO ( ) main = getChar >>= \ c -> print …
The semantics of the application logic are completely mixed up with implementation-level details, and having all these functions just return IO () me…
include information, don’t include information, or are indifferent to whether
Contain the information and context to diagnose and fix the problem.
Latest 2 Posts New Blog 28 Mar 2021 Eleventy Functional Programming with Type Guards 16 May 2020 Typescript advanced types More posts can be found in…
Ben Blaxill Github Contact Ben Blaxill ☰ Recent posts: Compdata Trees and Catamorphisms 03-18-2019 Practical Type Configured Hashing Circuits 03-…
if you're here, you shouldn't be!
thare are easier to reason about, better structured and can evolve over time.