Terms and Truth-Conditions
About Archive

Archive of tag 'programming'

  • Mar 11, 2024 • haskell, programming

    Why is defunctionalization good?

  • Jun 12, 2022 • programming, haskell

    Lenses for Tree Traversals Redux

  • Apr 24, 2022 • programming

    On Commenting Code

  • Jan 2, 2021 • programming, haskell

    Elementary programming

  • Nov 18, 2020 • programming, maths, probability

    Why doesn't software project management handle risk better?

  • Oct 29, 2020 • programming, haskell

    Your orphan instances are probably fine

  • Aug 2, 2020 • programming, haskell

    Lenses for Tree Traversals

  • Sep 16, 2018 • programming, haskell

    Roll your own stack traces

  • Apr 8, 2018 • programming, haskell

    A catamorphic lambda-calculus interpreter

  • Mar 16, 2013 • Scala, programming

    Using the free monad to avoid stack overflows in Scala

  • Dec 29, 2012 • programming, Scala, category theory

    Covariance and contravariance in Scala

  • Nov 4, 2012 • programming, git

    Syncing dotfiles with git

2025