A Good Lemma Is Worth a Thousand Theorems (2007)

22 points by susam 1 day ago | 3 comments

whateveracct 1 hour ago |

coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade

LPisGood 1 hour ago | |

How has it helped in production software? Are you writing a lot of Haskell?

pfdietz 2 hours ago |

(2007)

whateveracct 1 hour ago |

coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade

LPisGood 1 hour ago | |

How has it helped in production software? Are you writing a lot of Haskell?

pfdietz 2 hours ago |

(2007)