News for hackers. Stuff that matters.

A comment on Pyret: A new programming language from the creators of Racket. Parent comment

Re:Pyret: A new programming language from the creators of Ra... by skrishnamurthi on Monday November 11, 2013 @08:09AM (#6711384)
Well, there's a preliminary answer!

Though I'm not enamored of the Typed Racket style of wrapping everything at the boundary (even as I appreciate why it's there). Not even hypothetical: we actually began developing Pyret in TR but, with great sadness, ended up having to move it out because of the enormous performance hits.

[ Parent | on HN ]
Re:Pyret: A new programming language from the creators of Ra... by samth on Monday November 11, 2013 @09:05AM (#6711607)
But neither of those is a "primitive". The first is a major restriction on contracts (and not a restriction Pyret enforces, AFAICT). The second isn't a language feature at all. How would having a new language help give me either of these?

And yes, soundness + interoperation + structural types = heavy performance cost. You can give up on one of those easily, but the combination can't be free.

But the best way to make TR programs not pay that cost is to not cross the boundary all the time, which it sounds like is what you were doing. Why was that necessary?

[ Parent | on HN ]