Live data from Hacker News

The Verse Programming Language [pdf]

simon.peytonjones.org

41–50 of 387 posts

Re: The Verse Programming Language [pdf]

#41
The choice stuff might make vector and GPU programming more natural, assuming it can be made efficient enough. The syntax it provides is certainly convenient for that. Might even be an advance over array programming in some ways, by being more flexible and opening up more forms of expression. Has this been considered?

Re: The Verse Programming Language [pdf]

#43

The metaverse is a collection of 3D environments just like web2 is collection of documents. A webserver serves document while a metaverse server is basically a multiplayer videogame host. Your browser opens a metaverse site by downloading a game engine and running it through JS and fetches the resources from the server to load the 3D environments. All this to say: what has this functional programming language actuall…

ugh, so many downvotes and not a single person to explain why this is "a language for the metaverse" as opposed to being just "a new language"

The short answer is Innate parallelism at a far higher degree than most languages.

The longer answer is pure functions applied to immutable objects (or objects held in a transition) can be applied in parallel.

The language is designed in a way to give you that, in a way where it is by default rather than in special cases.

The second part is, it being at a mid point between lazy and not - things will be evaluated as there is processor to do so. So things which can be delayed will be, but if something can be done now, for later, it will be.

The combo of this means you can handle more interactions with entities per second, using the cores available.

Re: The Verse Programming Language [pdf]

#44
post #21

> Like the metaverse vision, Verse itself is open Aren't these companies pursuing a "metaverse" product because they can lock it down, control it and make money on it? Otherwise rather than FB and Epic etc making their own, you'd have something developers could work with and use right now I wonder if maybe Simon Peyton-Jones has to play along with the whole metaverse fad just to do something he wants to do.

The strategy is more about getting a first mover's advantage. Companies believe the metaverse is inevitable and they believe that it will become a big part of the everyday person's life. These companies want to be key players in this space.

Look at the open ecosystem of the web and think about how much money ICANN and Verisign make from their DNS. Anyone can make their own independent DNS (see projects like namecoin), but ICANN's has a big first mover's advantage that makes it hard to compete with them.

Re: The Verse Programming Language [pdf]

#45
post #8

I'm not sure about the "learn it as a first language" bit. x:=(1|2); y:=(7|8); (x,y) This stuff just doesn't seem intuitive to me. It's not verbose enough to be obvious to someone who doesn't know what's going on. Looks interesting though; that's a really bright group of people. Be curious to see where their project ends up.

I'll be the first to hate on C++, but the only reason C++ might be considered a "don't learn it as a first language" language, is because it's huge. It's got 40 years worth of baggage, and it's "standard" libraries are an absolute mess. Javascript has a super simple syntax, and it's standard libraries though sometimes a bit idiosyncratic are comparatively clean and pragmatic.

If you just removed like 90% of C++'s useless standard library, and restricted the syntax to purely what's in Strousup's "Tour of C++" book, then I'm pretty sure that would be a pretty acceptable "learn it as a first language" language. Of course in that imaginary world C++ would also not have been deprecated by Rust.

Re: The Verse Programming Language [pdf]

#46

Off topic but wow cannot believe someone used comic sans.

He has used that PowerPoint style for years if not decades.

He used it in the "Tackling the Awkward Squad" talk from 2001[0], so it's been a long time.

[0] https://www.microsoft.com/en-us/research/publication/tacklin...

Re: The Verse Programming Language [pdf]

#47

As a programming language - I mean it seems cool but it doesn't seem like much of an innovation when things like Granule, Idris, Unison, Erlang, and more already exist. I want to take a moment to look at the Metaverse angle. If there is going to be a unique programming language for the metaverse, I think it's not going to be textual but instead is going to primarily be a 3D language. This poses a big challenge for a…

Jaron Lanier developed a language in VR in the 80s much like you describe (apparently). Unfortunately, there is little evidence of it beyond some of his later testimony.

Re: The Verse Programming Language [pdf]

#50

It's riveting to follow the evolution of Tim Sweeney's dream of a more Haskell-like programming language for games since his 2005 talk: https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced...

Very interesting slides. As someone not very acquainted with game programming it helped me better understand the logic behind it.

As a sidenote, I found funny his predictions for 2009, because they're not far off from what we currently are aiming for: - 20+ cores - 80+ hardware threads - GPU's with general computing capabilities

Post reply on HN