Tweetovi

Blokirali ste korisnika/cu @JulienTruffaut

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

  1. Prikvačeni tweet
    27. sij

    I wrote a blog post about a new optics encoding which enables custom error reporting in Dotty. I am super excited because it offers flawless type inference thanks to Scala unique features like variance and union types.

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

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

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

    Just realized all the videos are gone … anyone know if there's a chance of moving them to YouTube or something? Would be a shame to lose all that knowledge.

    Poništi
  4. 30. sij

    Does anyone know a quiet place to record a screencast in London? Preferably central or east London, rent by the hour/day.

    Poništi
  5. proslijedio/la je Tweet
    28. sij

    I think scala is finally reaching its "productivity plateau", having made peace with variance and pure functional programming (and error reporting). , , that optic lib... Really nice to see. Yeah, took a bit of time and epic blood feuds and community wars, but still

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

    I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.)

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

    If you're lucky you find a project/maintainer(s) with enough bandwidth for you, in a subject matter you're interested in. (That is, this isn't guaranteed to work, you need some luck too.)

    Prikaži ovu nit
    Poništi
  8. 17. sij
    Poništi
  9. 15. sij

    I am also playing with various composition for traversal where you could either fail early, discard error from the left, discard error from the right and I guess accumulate errors.

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

    (PTraversal.pair >>> PTraversal.pair).toList(((1, 3), (6, 10))) == List(1, 3, 6, 10)

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    15. sij

    I give up. Support for 1.0 not happening for a long while, unfortunately. I was writing a PR for shapeless, needed with PRs to refined, discipline, scalacheck to create a PR for Monocle so that I can get my 2nd of 10 libraries to compile. They're non-trivial.

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

    Special thanks to and for helping me solving an issue with Mima.

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

    Monocle 2.0.1 is available with a bug fix around macro hygiene and couple of new features. Thank you to all contributors.

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    13. sij

    As I finish writing my book, I need to start looking for my next challenge. Anyone in the UK hiring FP devs? Ideally, an eco-friendly company who cares about climate change. FYI: I can start on April 1st & I need Visa sponsorship. RTs much appreciated.

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

    Dotty type inference is so great! It seems we can have fully inferred polymorphic optics in Scala 3. I am so excited. Here is an example:

    Poništi
  16. proslijedio/la je Tweet
    7. sij

    "'The newer machines, any time something breaks, you’ve got to have a computer to fix it,' Stock said."

    Poništi
  17. 7. sij

    Do you want to learn how to handle errors using functional programming in Scala? Then join me on Saturday 18th of January for a 1-day training course in London. Financial aid is available for qualified applicants who cannot afford the listed price.

    Poništi
  18. 7. sij

    Friendly optics type parameters. It is a small change, but it should make Monocle code base more beginner-friendly. What do you think?

    Poništi
  19. 6. sij

    I blogged about the next major version Monocle (3.x), our objectives and some of the features we have in mind. I am incredibly interested in getting your feedback.

    Poništi
  20. proslijedio/la je Tweet
    3. sij
    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:

    ·