Simon Peyton Jones gave the very first talk about Verse, the new programming language we're building for the metaverse. (Warning: this talk is for programming language theorists and implementors, not new programmers. Tutorials coming in early 2023!)
Simon Peyton Jones gave the very first talk about Verse, the new programming language we're building for the metaverse. (Warning: this talk is for programming language theorists and implementors, not new programmers. Tutorials coming in early 2023!)
@TimSweeneyEpic For use in multiplayer games, does Verse plan to use an explicit RPC calling model like current UE or will there be special features baked into the language? I don't know much about FP so I may have missed it in the slides
@aidanshandle The aim is a transactional programming model with no visible networking or multithreading: you write normal code, and the system distributes the simulation across cores, servers, and servers by running updates speculatively, then committing or aborting them.
@TimSweeneyEpic @aidanshandle So the compiler "sort of" knows what to make of workloads based on what...? Also async with multithreading at the same time, without any additional syntax?
@TimSweeneyEpic @aidanshandle I scaled Ruby1.8 to 10k cores with MPI, it is doable. Still going to want localhost aware to pin CPUs/NUMA and green threads.
@TimSweeneyEpic @aidanshandle Do you envision a node based version of Verse, like UE4/5's Blueprints? Is Verse for a future Unreal version or its own thing?
@TimSweeneyEpic @aidanshandle This is a great point and should honestly be highlighted a bit more in the presentation on Verse
@TimSweeneyEpic @aidanshandle Oh wow a distributed approach from the beginning. That is neat. I need to finish studying the slides.
@TimSweeneyEpic @aidanshandle So for UE5/Fortnite, if this is a scripting language, the logic would be in verse while the heavy computation in C++? Like how the current relation is between BP and C++?
@TimSweeneyEpic @aidanshandle I'm curious about the relation of Verse and other logic(-functional) languages like Prolog, Mercury, Curry, Picat, Oz; Why a new language instead of supporting these other languages? The logic programming community would really love to hear your insights!