Alexis King

@lexi_lambda

A little too into programming languages. Currently getting paid to write Haskell for .

Chicago, IL
Vrijeme pridruživanja: listopad 2012.
Rođen/a 1997.

Tweetovi

Blokirali ste korisnika/cu @lexi_lambda

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @lexi_lambda

  1. proslijedio/la je Tweet
    prije 23 sata

    I wrote some thoughts on software performance:

    Poništi
  2. 2. velj
    Poništi
  3. 1. velj

    aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa (mentally preparing myself to see a lot of SIGSEGV)

    Poništi
  4. 1. velj

    I just wrote 85 lines of C code in the GHC RTS in an attempt to implement extremely naïve support for capturing portions of the RTS stack, and (1) I am pretty certain it’s wrong in more ways than I can even begin to imagine, and (2) I feel incredibly dirty.

    Poništi
  5. 31. sij

    when you have to write a 40 line shell script to get searchable local documentation because none of your ecosystem’s tools actually work together

    Poništi
  6. 30. sij

    This is a really nice article. It’s also relevant to Haskell: I see people in the Haskell community ask, “Why don’t we just monomorphize everything, like Rust? Then we could have zero-cost abstractions!” I hope none of those people are the ones complaining about compile times.

    Poništi
  7. 28. sij

    Answering “yes” to questions of the form “is X or Y true?” is my least favorite internet joke. Not only is it completely unhelpful, people think they’re making a clever joke about “inclusive or,” which is wrong: “yes” would still be a valid answer if the question used “xor.”

    Poništi
  8. proslijedio/la je Tweet
    27. sij

    most expressive type system in the world, howeve,r it is so fragile as to become inconsistent when handled by any force other than the delicate touch of a lesbian .

    Poništi
  9. 26. sij

    Whenever I play old PC games, I always get a kick out of looking at the system requirements

    Poništi
  10. 25. sij

    “This morning (January 24), the US Centers for Disease Control and Prevention confirmed that a second US case has been identified in Chicago.” oh good

    Poništi
  11. 24. sij

    can’t wait for Dependent Haskell so that I can get even more frustrated at all the things that are just barely out of reach

    Prikaži ovu nit
    Poništi
  12. 24. sij

    me: f :: Sing a -> F a b :~: F a c f SA = Refl f SB = Refl GHC: ok me: g :: F a b :~: F a c g = Refl GHC: I don’t get it

    Prikaži ovu nit
    Poništi
  13. 24. sij

    Are there any languages that can decouple logical representation from physical representation in this way? The only language I can think of that might be able to do it is ATS, but I don’t know ATS. Can I write an inductive GADT that is represented as a packed array in ATS?

    Prikaži ovu nit
    Poništi
  14. 24. sij

    An observation from my Haskell effect system project: inductive data structures are awesome, but as soon as you want your inductive data structure to be represented in memory as something other than a linked list, all of Haskell’s nice type system features go out the window.

    Prikaži ovu nit
    Poništi
  15. 24. sij

    I’ve been tinkering a little more with my work-in-progress effect system implementation, and I can confidently say this is some extremely weird Haskell code

    Poništi
  16. 23. sij

    one of these days I’m going to figure out this “sleeping” thing everyone tells me about and I bet it’s going to be awesome

    Poništi
  17. proslijedio/la je Tweet
    21. sij

    I say this partly because some of the reaction to 's recent very nice blog post seems to be summarised by "No! This is how you do programming! Everyone's problems are just like mine and everyone thinks the same way as me!"

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    21. sij
    Poništi
  19. proslijedio/la je Tweet
    20. sij
    Odgovor korisniku/ci

    I almost universally see this used as a way of dismissing dynamic languages and it makes me think less of people who say it; at least, less open to having a genuine or respectful conversation about it.

    Poništi
  20. 20. sij

    Likewise, I’ve seen people pointing out that you can do everything you can do in Python in Haskell because you can implement a Python interpreter in Haskell. This is also technically true but not at all practically useful. Please stop making these arguments.

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·