ra’s avatarra’s Twitter Archive—№ 39,228

  1. …in reply to @BaptisteDupuch
    @BaptisteDupuch that's where things get interesting! the plan is call-site specialization: for every call-site to a method that had missing parameter types jn will attempt compile a *new method* using the argument types as parameter types and the original method's body.
    On twitter.com Twitter logo ra’s avatar ❤️ 1 Favorite Mood 0
    1. …in reply to @ra
      @BaptisteDupuch so calling (foo 10 "hello") it will be as if a method for foo with parameters long, string already existed. the compiler will generate it or throw a compiler error if it can't. I had a version of this working in an older version of jn and it was pretty good.
      Permalink On twitter.com Twitter logo ra’s avatar ❤️ 1 Favorite Mood +2 🙂
      1. …in reply to @ra
        @BaptisteDupuch put another way @ra/1024062972581371905
        Permalink On twitter.com Twitter logo ra’s avatar ❤️ 1 Favorite Mood 0