Brandon Kase

@bkase_

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

San Francisco, CA
bkase.com
Joined December 2013
11 Photos and videos Photos and videos

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.

    7 replies 29 retweets 88 likes
  2. Jun 3
    Replying to

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

    2 retweets 3 likes
  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:

    1 reply 9 retweets 35 likes
  4. Jun 2

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

    2 retweets 10 likes
  5. May 27
    Replying to

    Thanks !

    1 retweet 2 likes
  6. May 27

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

    3 replies 7 retweets 23 likes
  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!

    1 reply 1 retweet 10 likes
  8. Retweeted
    May 24

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

    1 retweet 4 likes
  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

    1 reply
  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?

    1 reply
  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

    1 reply
  12. May 15

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

    1 reply 4 likes
  13. Retweeted
    May 11

    hmm

    4 replies 33 retweets 83 likes
  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.”

    9 replies 20 retweets 53 likes
  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

    31 replies 1,418 retweets 1,746 likes
  16. Retweeted
    May 4

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

    6 replies 78 retweets 168 likes
  17. Apr 29

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

    1 like
  18. Retweeted
    Apr 28
    Replying to

    1 reply 5 retweets 24 likes
  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.

    2 likes
  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

    1 reply 1 like

@bkase_ hasn't Tweeted yet.

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

    ·