Jon Pretty

@propensive

Supporting Scala through professional training and open-source software. Responsible for Magnolia, Fury, Scala World and Functional Africa.

Europe
propensive.com
Joined July 2010
534 Photos and videos Photos and videos

Tweets

You blocked @propensive

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @propensive

  1. Pinned Tweet
    21 Dec 2020

    Developers who live in the poorest parts of the world can't easily participate in the global tech economy, and for no good reason: after all, remote work is now our new normal. So why can't a functional programmer in Africa export code and be paid for it?

    6 replies 25 retweets 84 likes
    Show this thread
    Show this thread
    Undo
  2. 8 hours ago

    3 retweets 17 likes
    Undo
  3. Retweeted
    Apr 23

    Join us, ask questions, and let's celebrate all the successes that led us to Scala 3 release! Starting soon, registrations still open & free 🥰

    3 retweets 15 likes
    Undo
  4. Retweeted
    Apr 22

    This is going to be a great party 🔥

    Over 900 people registered for the 3 Release Party! Will we reach 1000? Let's find out 😎 Only 2 days left, last spots available here:
    2 retweets 9 likes
    Undo
  5. Retweeted
    Apr 22

    Metals support for 3.0.0-RC3 is already here! ⤵️

    2 retweets 17 likes
    Undo
  6. Apr 21

    Everyday duality! Intersection types are intersections of instances. Union types are unions of instances. Intersection types are unions of properties. Union types are intersections of properties.

    Today we look at Intersection Types in Scala, like A & B, Scala 3's replacement for Compound Types. We look at their instances and properties, and how they interact with subtyping.
    1 reply 1 retweet 8 likes
    Undo
  7. Apr 19

    Compare that to a "normal" (non-context) function parameter, where one user will write `{ r => ... }`, another will write `{ req => ... }` and another will write `{ httpRequest => ... }`. Any user reading that code needs to learn the parameter name for each use site.

    1 reply 9 likes
    Show this thread
    Show this thread
    Undo
  8. Apr 19

    For example, imagine an HTTP server's request handler is typed `Request ?=> Response`, so the request object is "given" within its body at the callsite. Defining, def request(using Request) = summon[Request] in the library means the request will always have the name `request`.

    3 replies 6 likes
    Show this thread
    Show this thread
    Undo
  9. Apr 19

    An interesting consequence of Scala 3's context functions is that since the parameter's name isn't chosen at the call site (it's implicit), it's often accessed using a helper method, and that method will have a consistent canonical name across codebases. That helps readability.

    2 replies 4 retweets 21 likes
    Show this thread
    Show this thread
    Undo
  10. Apr 15

    More careful use of visibility modifiers can help to hide methods. But here's a question: would it be a reasonable approach to nest non-user-facing types (which can't be private) inside the companion objects of related, public types, as a way of making them less visible?

    3 replies 14 likes
    Show this thread
    Show this thread
    Undo
  11. Apr 15

    Since the Scala IDE experience is getting better at completions, API hygiene is becoming more important: users should not have to wade through lots of "incidental" methods and types to find the ones that are relevant to them.

    2 replies 2 retweets 27 likes
    Show this thread
    Show this thread
    Undo
  12. Apr 14

    An experiment started by and continued by a couple of years ago resulted in Scala 3 getting kind polymorphism. I've written a lesson all about it... and for an advanced feature, I think it's actually easier than it sounds.

    We're going to jump ahead to an advanced lesson on ScalaZONE this week: kind polymorphism! We take a philisophical look at higher-kinded types, cover the limitations imposed by the `AnyKind` type constraint, and then delve into a worked example.
    4 replies 3 retweets 21 likes
    Undo
  13. Retweeted
    Apr 14

    We're going to jump ahead to an advanced lesson on ScalaZONE this week: kind polymorphism! We take a philisophical look at higher-kinded types, cover the limitations imposed by the `AnyKind` type constraint, and then delve into a worked example.

    1 reply 7 retweets 31 likes
    Undo
  14. Retweeted
    Apr 14

    “Good things come to those who wait”… so we’ll have to wait for Scala 3 a few more weeks 😀. But we're not planning on delaying the celebration! See you on April 23rd at Scala 3 (pre) Release Party! 🎉🎉🎉

    Scala 3 Heads-Up: There will be a 3.0.0-RC3 before the final release. See more info here:
    8 retweets 32 likes
    Undo
  15. Retweeted
    Apr 7

    Metals preparing to lead the way for tooling support in 3!

    Metals v0.10.1 is released! 🐣 - Scala 3.0.0-RC2 - Smoother main and test discovery - Bug fixes! Try it out with VS Code, Vim, Emacs, Sublime or Eclipse.
    2 retweets 12 likes
    Undo
  16. Retweeted
    Apr 8

    For the last year we were cooperating with Scala Center on development of project. We have compared it's performance aspects with JVM and Graal Native Image in this article ⤵️

    15 retweets 47 likes
    Undo
  17. Retweeted
    Apr 13

    Scala 3 Heads-Up: There will be a 3.0.0-RC3 before the final release. See more info here:

    49 retweets 155 likes
    Undo
  18. Retweeted
    Apr 9

    Shapeless 2.3.4 with Scala Native support is out 🎉

    1 reply 12 retweets 62 likes
    Undo
  19. Apr 9

    Fair warning... this is a question involving opinions about whitespace. How should I start writing an type-parameterized extension method in Scala 3?

    12 replies 2 retweets 6 likes
    Undo
  20. Apr 8

    (all dates approximate)

    1 reply 1 like
    Show this thread
    Show this thread
    Undo
  21. Apr 8

    Scala 3.0, 2021: given Eq[Int] = _ == _ (7/8)

    3 replies 2 retweets 21 likes
    Show this thread
    Show this thread
    Undo

@propensive hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·