The Verse Programming Language [pdf]
simon.peytonjones.org
The Verse Programming Language [pdf]
1–10 of 387 posts
Re: The Verse Programming Language [pdf]
#2Text from the "10,000 Foot View" slide:
--
Verse is a functional logic language (like Curry or Mercury).
Verse is a declarative language: a variable names a single value, not a cell whose value changes over time.
Verse is lenient but not strict:
Like strict:, everything gets evaluated in the end
Like lazy: functions can be called before the argument has a value
Verse has an unusual static type system: types are firstclass values.
Verse has an effect system, rather than using monads.
Re: The Verse Programming Language [pdf]
#3The 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 actually to do with the metaverse?
Re: The Verse Programming Language [pdf]
#4No post body was provided.
Re: The Verse Programming Language [pdf]
#5These look like they might be the slides from SPJ's talk at Haskell eXchange this year.
I'm hoping they'll upload a video soon, which'll probably be a lot more fun than slides. They've only got the recording up for one of this year's talks so far.
https://skillsmatter.com/conferences/13688-haskell-exchange-...
Re: The Verse Programming Language [pdf]
#6It'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...
Re: The Verse Programming Language [pdf]
#7This language is cyuuuute! The multi-valuedness making "if (x | y) then…" work is so neat, and having `x : int` be a thing of exactly the same nature as `x = 3` is cool to see; even in a fully dependently-typed language, those things are not of the same kind. This looks super mind-expanding to try out!
(My first reaction is some slight aversion to what the "flexible" and "rigid" stuff is doing in the conditional scrutinee body, but maybe that'll feel natural after playing with the formal specification a bit.)
Re: The Verse Programming Language [pdf]
#8I'm not sure about the "learn it as a first language" bit.
x:=(1|2); y:=(7|8); (x,y)
Looks interesting though; that's a really bright group of people. Be curious to see where their project ends up.
Re: The Verse Programming Language [pdf]
#9The 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"
Re: The Verse Programming Language [pdf]
#10I honestly fail to see what properties of the language has anything to do with the metaverse, or millions of devs, etc...
At first I though the "choice" construct would be a way to distribute code execution among multiple computers (using the fact that in a grandiose metaverse, everything would be a connected computer with lots of compute time to spare ?) but there is not much detail.
Also it's not obvious from the slide if there is already a compiler / exécution env at the moment, or how far they are from it.
Now, the names behind this aren't exactly bozos, so I suppose we'll get to know soon.
Wait and see, I guess ?