Raúλ Rajⓐ

@raulraja

Functional Programmer. Co-founder & CTO . Scala, Kotlin, maintainer. Be kind.

Multiverse
Vrijeme pridruživanja: siječanj 2009.
Rođen/a 06. studenoga

Tweetovi

Blokirali ste korisnika/cu @raulraja

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

  1. Prikvačeni tweet
    18. pro 2019.

    Today I got type proofs working in Kotlin in the IDE with Union types and synthetic subtypes using the standard compiler resolution. We are getting close 🏹! Type proofs unlock ad-hoc Polymorphism, refinements and more you can draw with extension functions from A -> B.

    Poništi
  2. proslijedio/la je Tweet
    prije 10 sati

    NE Scala's CFP is open now, reminder to also send in your proposals for the Typelevel Summit, which closes tomorrow!

    Poništi
  3. proslijedio/la je Tweet

    So it has finally seen the light! OpenAPI lets you: 💡 Generate your network layer 📦 as a Swift package 📃 from a spec file, ⚡️ suspending side-effects ✅ and letting you test them easily, 🔨 playing nicely with Xcode. We are looking forward to your feedback!

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    3. velj

    Remember selective functors? Here they show up in the context of probabilistic programming where select :: f (Either a b) -> f (a -> b) -> f b turns into Dist (Either a b) -> Matrix Prob a b -> Dist b Here Dist is a vector i.e. 1-dimensional matrix: Dist a ~ Matrix Prob () a

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    2. velj

    New optics! An introduction to kaleidoscopes and what they bring to the table 🔍 Interested in optics? Check out my book! Based on recent work by , Derek Elkins &

    Poništi
  6. proslijedio/la je Tweet
    prije 13 sati

    Introducing OpenAPI! Bow OpenAPI is a command-line tool that will generate a network client from an OpenAPI or Swagger specification file. Read more from here:

    Poništi
  7. proslijedio/la je Tweet
    prije 15 sati

    I want to see you (yes you!) roll up at this conference! We’re putting together a great program - I can’t wait to share it with you!

    Poništi
  8. proslijedio/la je Tweet
    2. velj

    Building a compiler plugin using from The future is bright!

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

    Experimental Scala Live pilot with Scala journey, SIP-35, Dotty features Short and dynamic interview made at last year ❤️

    Poništi
  10. proslijedio/la je Tweet
    prije 21 sat

    Super Early Bird ticket sale has started for Seattle and Berlin 🎟 Buy the tickets at the lowest possible price before the program goes live soon.

    Poništi
  11. proslijedio/la je Tweet
    prije 21 sat

    The third speaker is now on stage: Tomás Ruiz-López , iOS/Swift Technical Lead at and creator of .

    Poništi
  12. proslijedio/la je Tweet
    prije 21 sat
    Poništi
  13. proslijedio/la je Tweet
    2. velj

    wrote a blog post 'liberty, equality, and boxed primitive types'

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

    Make sure to sleep well tonight before ! I will be around, so feel free to talk to me and ask for one of this nice stickers!

    Poništi
  15. 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
  16. proslijedio/la je Tweet
    1. velj

    You don't have to wait much longer! Ticket sale will start 🎉 🎟️ Scala Days Seattle: Sunday, February 2nd, 10.30 pm PST 🎟️ Scala Days Berlin: Sunday, February 2nd, 7.30 am CET

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

    Announcing MUnit, a new Scala testing library with actionable errors and extensible APIs

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

    This looks really nice! It also made me aware of which seems super cool. Can't wait to try it out.

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

    Introducing Mu for ! This release comes w/ full support for building gRPC microservices, shifts a lot of checks to compile-time schemas & readily integrates with well-known Haskell libraries for many tasks. More here: Thx & !

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

    with Category theory introduction & the Bad, The Good and the Ugly + permanent discount code: podscalalove19 + 5 free ebooks: gpcll-DAD8, gpcll-DDDB, gpcll-5DA6, gpcll-52B9, gpcll-F32D ❤️

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

    We're extremely excited to reveal the date and location for KotlinConf 2020. We'll be opening up registration very soon. Stay tuned!

    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:

    ·