Alejandro Serrano, Haskeller

@trupill

Engineer at , FP and Haskell passionate, author of 'The Book of Monads' and 'Practical Haskell'

Utrecht, NL
Vrijeme pridruživanja: rujan 2009.

Tweetovi

Blokirali ste korisnika/cu @trupill

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

  1. proslijedio/la je Tweet

    There's upcoming work for updating docs and adding missing sections, so it'd be helpful to get feedback on what pages you find naive, wrongly explained, complicated, missing, or whatever. Any feedback through any via is welcome 🙏

    Poništi
  2. proslijedio/la je Tweet

    Una empresa de digitalización de historias clínicas tenía un pacto secreto con una farmacéutica para que el promoviera sus medicamentos. ¿Cómo es posible que se pueda vender software de sin auditoría ni control?

    Poništi
  3. proslijedio/la je Tweet
    1. velj

    ¿En qué momento te parece mal esto? Que haya padres que están en el paro cuyos hijos tienen iPad, y hasta lujos, en lugar de aspirar solo a trabajar, tener casa y comer. Lipovetsky:

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    31. sij
    Odgovor korisniku/ci

    Thanks! Although there are probably other papers which give a better introduction! (esp. since we have to dive in fairly quick) This paper with and Alan Mycroft has more background/intro relating more to effect systems and semantics

    Poništi
  5. 31. sij

    Looking forward to reading (and maybe even understanding a bit) about graded monads!

    Poništi
  6. proslijedio/la je Tweet
    31. sij

    Graded monads and parameterised monads both generalise monads to indexed forms, but with different kinds of indexing. , Phil Wadler, and I show that they can both be subsumed by a particular class of lax functors (with a little extra structure)

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    31. sij

    Sadly is not something we have business-wise (yet) but, each piece of content or open source project we share about Haskell, it has an unusual level of traction

    Poništi
  8. 30. sij

    Mu-Haskell 0.1 is here! Try and tell us (or send issues for bugs or new features)

    Poništi
  9. 30. sij

    Y de ahí mi "entrañable" acento madrileño al hablar neerlandés. Ya tengo excusa para no saber decir "huis" ni "brug" correctamente.

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

    Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See for details. With , and many contributors from both sides.

    Poništi
  11. 27. sij
    Poništi
  12. 27. sij
    Poništi
  13. 26. sij

    I actually don't find any difference in doing so, as they both expose the same API. In fact, I prefer to expose patterns, because that way users can match on the result.

    Poništi
  14. 25. sij

    Who should I follow on Twitter or in the blogosphere to learn more about ?

    Poništi
  15. proslijedio/la je Tweet
    25. sij

    The GHC Steering Committee welcomes , Cale Gibbard and as new members!

    Poništi
  16. 24. sij

    I'm really honored to become part of the GHC Steering Committee 🎊🧙‍♂️

    Poništi
  17. 24. sij

    Hopefully, that will make GHC be much simpler in its treatment of arrows

    Poništi
  18. proslijedio/la je Tweet
    24. sij

    The GHC Steering Committee just accepted “Simplify subsumption” by Simon PJ himself

    Poništi
  19. proslijedio/la je Tweet
    24. sij

    If you're at the today, don't miss Imran Settuba from giving an introduction to type-proofs powered by at 11:35 on the FP track!

    Poništi
  20. proslijedio/la je Tweet
    24. sij

    Folds! Learn about folds! This example comes just after for-loops in the Phrasebook, as "folding" a list is often described as the "functional" alternative to "looping over" a list.

    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:

    ·