varkor's blog
about

Posts

  • 25 November, 2020

    Announcing quiver: a new commutative diagram editor for the web

  • 28 March, 2019

    Idiomatic monads in Rust

  • 11 January, 2019

    const types, traits and implementations in Rust

  • 10 November, 2018

    Monadic do notation in Rust: Part I

  • 28 August, 2018

    Feasible functors in Rust

  • 30 July, 2018

    Types for units of measure

  • 04 July, 2018

    A new perspective on impl Trait

  • 03 July, 2018

    Existential types in Rust

subscribe via RSS

varkor's blog

  • varkor's blog
  • varkor

A small blog about Rust, type theory and mathematics.