Alexis King

@lexi_lambda

Programming language nerd (she/her). Currently building a language called Hackett and playing with fancy types and macros.

Chicago, IL
lexi-lambda.github.io
Joined October 2012
Born in 1997
135 Photos and videos Photos and videos

Tweets

You blocked @lexi_lambda

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

  1. Pinned Tweet
    Mar 21

    It’s been a long time coming, but I am excited to finally announce that, starting next month, I am going to be working with full-time at Northwestern University’s programming languages group!

    36 replies 13 retweets 419 likes
    Undo
  2. Aug 18

    really glad to be a CS person so that “maybe the panicking is okay in a theoretical sense” is a sentence I can use in a casual conversation

    34 likes
    Undo
  3. Aug 17

    really not into this trend in which every single iOS messaging app I use has removed the ability to select parts of a message and only allows me to copy the whole text at once

    4 replies 6 retweets 57 likes
    Undo
  4. Aug 15

    programming is hard

    11 replies 2 retweets 57 likes
    Undo
  5. Aug 12

    Trying to write total programs (using dependent-ish types) that process blobs of bytes in Haskell while attempting to maintain any remotely efficient data representation is an exercise in frustration. I’m tempted to give up and just write lots of partial functions.

    6 replies 41 likes
    Undo
  6. Retweeted
    Jul 27

    Strange Loop 2018 preview: "Hackett: a metaprogrammable Haskell" by Alexis King

    9 retweets 34 likes
    Undo
  7. Retweeted
    Jul 27

    Racket v7.0 has been released! Highlights include: Substantial internal changes towards supporting multiple runtime systems, including a new expander written in Racket Interactive overlays and candlestick charts for plots

    1 reply 107 retweets 182 likes
    Undo
  8. Jul 26

    Local Haskell programmer gets “too carried away”, claims in a fit of reactionary passion that Functor has nothing to do with mapping

    4 replies 5 retweets 69 likes
    Undo
  9. Retweeted
    Jul 19

    i can't afford any generics because i spent too much money on the elaborate sign over my empty bookcase which reads "REASONS YOU DONT NEED GENERICS"

    2 replies 21 retweets 97 likes
    Show this thread
    Show this thread
    Undo
  10. Jul 19

    Now that I’m back from Curry On and my talk is over, it’s time to pull Racket HEAD and rebuild for the first time in about a month… (I normally update every few days.)

    1 reply 14 likes
    Undo
  11. Jul 17

    It went by so quickly, but having the opportunity to attend this year was awesome. Lots of fantastic talks, and getting to chat with some of you was really nice! So many thanks to the organizers, the speakers, and the other attendees for an amazing time.

    1 reply 3 retweets 35 likes
    Undo
  12. Retweeted
    Jul 17

    on a rickety stage at some empty roadhouse, a True mississippi Comicsans man is howling aobut linear types, unappreciated by the ordinary type using masses

    4 replies 19 retweets 118 likes
    Undo
  13. Retweeted
    Jul 16

    Fellow Racketeer rolling with Hackett at !

    5 retweets 35 likes
    Undo
  14. Retweeted
    Jul 16

    Now powerful type system also in Haskell macros, thanks to Hackett! Thanks for presenting on 2018

    7 retweets 17 likes
    Undo
  15. Retweeted
    Jul 16

    Loved 's talk on Hackett at Best of all worlds coming soon maybe 😀

    4 replies 11 retweets 27 likes
    Undo
  16. Jul 16

    It just so happens that talks on bookend the first day of this year, and I’m excited to see the first one from !

    1 reply 7 retweets 26 likes
    Undo
  17. Jul 15

    Sorry to those I didn’t respond to earlier; I found some plans! Thank you all for the offers, though, and I look forward to seeing you tomorrow. :)

    I am excited to finally be in Amsterdam for ! Any followers attending want to get dinner this evening? I could very much use some food after the travel.
    2 likes
    Undo
  18. Jul 15

    I am excited to finally be in Amsterdam for ! Any followers attending want to get dinner this evening? I could very much use some food after the travel.

    3 replies 3 retweets 24 likes
    Undo
  19. Retweeted
    Jun 14

    If you're booking hotel or flight for Strange Loop, consider staying a day or two more for RacketCon.

    12 retweets 18 likes
    Undo
  20. Retweeted
    Jun 14
    Replying to

    Haskell 😂

    4 replies 76 retweets 119 likes
    Undo
  21. Jun 11

    🎉

    1 reply 1 retweet 8 likes
    Undo

@lexi_lambda 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

    ·