• 2023-02-28
  The Yoneda Lemma

  • mathematics
  • scala
  • functional-programming

• 2022-08-02
  Products, coproducts, and algebraic data types

  • mathematics
  • scala
  • functional-programming

• 2022-07-23
  A category of types and functions

  • mathematics
  • scala
  • functional-programming

• 2022-07-06
  Categories, functors, and natural transformations

  • mathematics
  • scala
  • functional-programming

• 2018-10-11
  Using Boost.Hana to simplify the generation of Python bindings

  • cpp
  • python