Off topic but wow cannot believe someone used comic sans.
The Verse Programming Language [pdf]
11–20 of 387 posts
Re: The Verse Programming Language [pdf]
#12Off topic but wow cannot believe someone used comic sans.
He has used that PowerPoint style for years if not decades.
Re: The Verse Programming Language [pdf]
#13Off topic but wow cannot believe someone used comic sans.
It's just because SPJ likes it. He uses it for presentations a lot.
Re: The Verse Programming Language [pdf]
#14Text 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 first…
I'll add text from the "Take-aways" slide:
--
Verse is extremely ambitious
Kick functional logic programming out the lab and into the mainstream
Stretches from end users to professional developers
Transactional memory at scale
Very strong stability guarantees
A radical new approach to types [me: predicate functions]
Verse is open
Open spec, open-source compiler, published papers (I hope!)
Before long: a conversation to which you can contribute
Re: The Verse Programming Language [pdf]
#15The TFA slides live on [1], along with the paper[2].
[1] https://simon.peytonjones.org/verse-calculus/ [2] https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf
Re: The Verse Programming Language [pdf]
#16I 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 s…
I mean logic languages have a history of... trying to be distributed but it's never really worked out.
Re: The Verse Programming Language [pdf]
#17I'm sure they know a lot more about language design than I do, but the use of what is essentially SQL's NULL for boolean false doesn't feel like a good idea at first blush.
Re: The Verse Programming Language [pdf]
#18This looks a lot like a functional version of Icon
https://en.wikipedia.org/wiki/Icon_(programming_language)
Re: The Verse Programming Language [pdf]
#19Re: The Verse Programming Language [pdf]
#20The metaverse angle doesn’t make much sense to me but whatever.
The big idea I see is that prolog-style backtracking logic becomes a first class notion in the language – every expression denotes a sequence of values reached through backtracking-like behaviour – which allows mixing logic-programming with a more familiar kind of functional programming. Though perhaps there are other ideas too.
I think it will be interesting to see where this goes. Perhaps this will be another Fortress but SPJ is well regarded, has written a bunch of interesting papers, and has a bunch of experience managing a programming language project from haskell which will hopefully carry over.