Csongor Kiss

@Lowert

pick the right job for the tool (he/him)

London
Vrijeme pridruživanja: siječanj 2009.

Tweetovi

Blokirali ste korisnika/cu @Lowert

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

  1. proslijedio/la je Tweet
    20. sij

    Always thought that generic-lens was a shining library usability-wise but a straightforward application of GHC Generics. But after looking at the implementation... It is truly a work of art under the hood, w a LOT more going on than I had thought

    Poništi
  2. 25. ruj 2019.

    New blog post on hiding internal details of "constraint synonyms" in

    Poništi
  3. 18. ruj 2019.

    Wrote a blog post about tripping up GHC's type inference to improve readability

    Poništi
  4. 12. ruj 2019.

    I decided to start writing about my favourite vim features. First up is <C-a>

    Poništi
  5. proslijedio/la je Tweet
    7. ruj 2019.
    Poništi
  6. 7. ruj 2019.

    writing some lens code, and GHC's hole fit suggestions have been super helpful (thanks !)

    Poništi
  7. proslijedio/la je Tweet
    2. ruj 2019.

    We are delighted to announce the first Hackage release of optics, a Haskell library for defining and using lenses, traversals, prisms and other optic kinds.

    Poništi
  8. 26. kol 2019.

    wanted to change the background colour in emacs. One thing led to another and now I'm pulling my hair out trying to debug this elisp lens library that I'm sure no one needed

    Poništi
  9. proslijedio/la je Tweet
    20. kol 2019.

    "I'm going to talk about Haskell 98, by which I mean Haskell with 98 extensions enabled" -

    Prikaži ovu nit
    Poništi
  10. 18. kol 2019.

    What if you remove CPP?

    Prikaži ovu nit
    Poništi
  11. 18. kol 2019.

    OK, here's a tough question. What's the type of x2?

    Prikaži ovu nit
    Poništi
  12. 17. kol 2019.

    on my way to ICFP!

    Poništi
  13. 11. srp 2019.

    Everything you didn't want to know about implicit parameters

    Poništi
  14. 11. lip 2019.

    Started collecting some tips & tricks on using type families in Haskell for a blog post. Here's how stuck type families can be exploited for debugging purposes

    Poništi
  15. proslijedio/la je Tweet
    10. lip 2019.
    Odgovor korisniku/ci

    Here's a solution using generic-lens (which should be more performant)

    Poništi
  16. proslijedio/la je Tweet
    7. lip 2019.

    I accept your challenge, , and offer the fastest-running implementation of ever written 🤺 (shout-out )

    Poništi
  17. proslijedio/la je Tweet
    1. svi 2019.

    I wrote a post for curious people that are just starting out! Learn why pure code is so important to write correct software.

    Poništi
  18. proslijedio/la je Tweet
    27. ožu 2019.

    Here's a short demo of using haskell-ide-engine on GHC's code base using my fork which integrates HIE into hadrian/cabal/rules_haskell/stack/obelisk

    Poništi
  19. proslijedio/la je Tweet
    8. ožu 2019.

    At the type-level, no one can hear you scream

    Poništi
  20. proslijedio/la je Tweet
    15. ožu 2019.

    I have very real doubts about being able to continue my PhD in Graded Modal and Linear Types at because HM government is penalising us for having a disabled child. I know this is a long shot, but please get in touch if you have any ideas about alternate funding. RT❤️

    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:

    ·