Brandon Kase

@bkase_

Types and FP in weird places. Software Engineer @ Pinterest.

Joined December 2013

Tweets

You blocked @bkase_

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @bkase_

  1. Retweeted
    Jun 9

    Just blogged, 'Data Structures Are Antithetical to Functional Programming'—a short rant on overspecialization in FP.

  2. Jun 3
    Replying to

    I ported wl-pprint-annotated by Daniel Mendler (an implementation of Wadler's "A prettier printer") to !

  3. Jun 3

    If you're using to generate code or any sort of text meant for humans to view, you should check this out:

  4. Jun 2

    Exploring Cake, Free Monad, and Reader Monad for Functional DI with literate Hopefully it makes sense!

  5. May 27
    Replying to

    Thanks !

  6. May 27

    Functions are to relations as functors are to profunctors. Mind blown at unconference

  7. May 24

    Purescript conf talk by was super cool. His app uses free for redux actions with separate interpreters for the client and server!

  8. Retweeted
    May 24

    Hey folks! "Composable Caching in " by frm coming up in a few weeks! Join us!

  9. May 16
    Replying to

    In other words, does there exist some f constrained only by A such that we can use f alone to derive map<B> on Parsers? I can't think of one

  10. May 16
    Replying to

    If the stored function didn't need the <B> constraint we'd be good. AnySequence solves this by making map from iterator. Could that work?

  11. May 15
    Replying to

    Can't use an enum because the variants vary in their type parameters. Mostly using the Scala one as my guide

  12. May 15

    Can any pros help me to model the optparse-applicative parser? . Can we type erase generic methods?

  13. Retweeted
    May 11
  14. Retweeted
    May 8

    “Don’t use RC4.” “That’s unproductive you should tell people how to use RC4 safely and let them make their own decisions.”

  15. Retweeted
    Apr 25

    "How many hacks around Go's lack of generics are you on?" "3. Maybe 4." "You are like baby! Watch this" h/t

  16. Retweeted
    May 4

    The repl reduced the compiled output of 's Pulp skeleton to a single line 🚀

  17. Apr 29

    This is a (very) long read (took me 2+ hours), but is super interesting

  18. Retweeted
    Apr 28
    Replying to
  19. Apr 28
    Replying to

    At the highest level you just <> things and all the inner pieces <> together precisely in the right way. It's pretty legit.

  20. Apr 28

    Today at work, I wrote simple code for this week's hard thing to model: A monoid of 2 monoids where one of those is itself 4 monoids

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·