I'm going to start another new language, and I'm going to call it "Work" because it'll just work. Also because it'll truly mess with HR trying to express "5 years of $LANG experience"
"We expect you to be proficient in Work, with at least 5+ years experience with Work environment and tools, and you must love Work not for the salary but just to have the opportunity to do more Work."
@@bbourbakiEvery single language makes this exact same argument. C++ doesn't provide some magical level of control. You sound like the guy who writes game engines in ASM because C or C++ "doesn't provide nearly enough control". It's not a control == better thing. It's an I like this language thing. You're making up BS objective reasoning to replace the subjective reality. Some may choose C++ because a game engine they want needs it, so they are somewhat forced (or some other reason), this is fine, but don't make up other BS to justify it.
@@bbourbakiI once worked on a project that used ANSI C for networking. The language gave us direct control over the incoming bytes, pointer casting, endianness, etc. I think it would have been more of a headache in a higher level language that obscures these details. I have also worked on porting ML projects between Python, Java, and C++ for proofs of concept, enterprise backend, and embedded systems, respectively. There's a reason each use case calls for a different language.
@@bbourbaki "require level of control" NO, you don't require that level of control (maybe your ego does, but the problem you are solving doesn't). Programming languages are abstractions. Why don't you create your own hardware, instruction set and program it in hex code if you need that much control... What are we now ? manually moving electrons using our minds because we're control freaks ? grow up ! C++ is full of bullshit, that bullshit is expensive as hell, and the language is so complex with the only purpose of making everything hard to master. Its not for control, it actually causes lack of control, its for job security or ego or reputation or some bullshit that has no technical merit and doesn't really matter as an engineering feature, but programmers are still human, aren't they ?... so that's basically narcissism.
That's the opposite of "dead." That's a lot of engineers thinking of different and potentially better ways to do things with code. Nothing could be more alive.
The idea of value semantics is to do away with pointers (and pointer-like things). Like in Java for instance if you declare a class you'll secretly be passing around a pointer to every object, which means (as the article says) you're never quite sure if you're the only one mutating a value. Rust is very much _not_ this; the whole idea of the borrow checker is to be able to pass references around in a way that's provably safe at compile time. You need another language to do this because if you just do away with references and don't do anything else you have potentially killed performance in other ways and/or made your life harder by removing the ability to use reference semantics where it is useful. Val is a very interesting project precisely because value semantics are the better default than references everywhere and it makes the code much easier to reason about. When you first write a Rust program and just slapping .clone() everywhere, you're acknowledging that. But in Rust that will incur a performance penalty. The whole idea is to be able to write the easy code full of clones but do away with the performance overhead.
ps: haskell ain't it either; with haskell you get the benefits of values but in haskell everything is immutable (at least notionally), and that introduces a ton of overhead.
How can clones ever be performant? Either you'll spend cycles copying megabytes of data on every function call, or have cache misses if you use tree structures to keep the data static and only store changes. Or am I missing something?
I appreciate the honesty more than anything. What i mean by this is you've helped make it safe for all programmers, including experienced ones to say out loud, "i just don't get it." Often in this industry, this is used to shame or mock. You do so from a place of curiosity and learning. This approach is healthy and i hope all of our next generation programmers are watching.
This is why I'm still invested in C++, because it's a language that isn't going anywhere. There's too many languages coming out that claim to kill Rust, or C or [insert language]. I'm almost 40, and I've witnessed language hype for over 20 years, yet it's still the same players running the game. Jumping on the cool-kid bandwagon will likely leave you stranded with a flat tyer in the middle of the nowhere.
11:30 actually NASA codes like this to ensure they get fewer bugs. I forget which video I watched, might've been LowLevelLearning but was pretty cool how careful they are in their code.
8:15 Yup, that's how things should be done. Always be more restrictive by default, and in order to allow more, you have to add more code. That has been my philosophy since I'm using Rust. Or when I think about it, even before I started using Rust. I defned some language for stories, where you can define something like this: a -> b | c -> d Which means "Scene a first, then either scene b or c, then scene d" And if you defined "a -> b & c -> d", it means the same, but "both, scene b AND c" But when you define both of these at once, always the less restrictive variant is used, which means, after a comes b AND c, but d only needs b OR c to be finished. Not exactly the same, but probably similar.
I hear "new alternative to C++, Rust" and am immediately very happy. We don't have enough of those. What I wouldn't give for a language that easily allows to do the same things as C but has a syntax closer to Rust / OCaml, generics, matches and type sums. Let's watch the video to see which boxes this one ticks haha
All these new languages are also "Systems" programming languages. Why doesn't someone make the new High level "Javascript" killer? That's something I'd be excited for.
Microsoft tried with Typescript. JS lives on because Google and Apple don't care, and at the end of the day of the browser doesn't run it, your JS killer won't go anywhere. Lua website has no dark mode so obviously nobody on their team cares about basic web usability.
It’s been renamed as Hylo and I think it looks really cool. You get the good points from functional without the slowness, and the good points from Rust without the head-scratching of borrowing. Me likey
I have been writing C++ for 20 years. Every year there has been a language poised to dethrone C++, it has rarely been the same languages two years in a row, but there has always been one. I suspect there will be a language poised to dethrone C++ for the next 20 year as well.
Since you are in your "new language exploration" search about Roc programming language and the talks of its creator, Richard Feldman, he uses similar semantics, but is not haskell, Haskell is lazy evaluated and this language Val sounds like strict evaluated, the same way as Roc. Another language to check is F-star, is a language focus heavily on verification for security and other requirements
I wish he kept reading. It makes a lot more sense further down in the document. I don't think Val will replace Rust, but it will likely "replace" Rust in a lot of circumstances.
in summary, In the burgeoning landscape of computer science, the paradigm-shifting programming language, Val, has emerged as an avant-garde amalgamation of cutting-edge syntactic constructs and innovative semantic underpinnings. Rooted in the fundamental principles of readability, conciseness, and expressiveness, Val transcends the traditional boundaries of programming languages through its advanced type inference mechanisms and polymorphic abstractions, allowing programmers to seamlessly navigate the intricacies of complex data structures and algorithmic optimizations. Leveraging a sophisticated Just-In-Time (JIT) compilation framework and a novel memory management model, Val manifests unparalleled runtime efficiency and memory utilization, birthing a new era of software development prowess. Its inimitable blend of functional and object-oriented paradigms empowers programmers to orchestrate intricate orchestrations of concurrent operations effortlessly, thereby granting unprecedented scalability in the age of parallel processing architectures. As the tantalizing trajectory of Val continues to unfold, it promises to catalyze a resounding transformation in the way developers craft intelligent and resource-efficient software systems for the generations to come.
I've looked at val before when it was announced and I was kinda disappointed Unless I majorly misunderstood something they essentially just don't have references in favor or owned value semantics only. So when you pass a "reference" to a function you are actually declaring an in/out parameter where you pass the object in and then the function passes it back to the caller on return What this also means is that you can't reference something outside of a function call. Storing a "reference" in an struct like in Rust is impossible, or everything needs to be implemented as atomically reference counted, copy on write, immutable data structures (Not sure anymore if they do that but I vaguely remember it) To me this is honestly pretty boring and a lot less powerful than C++ or Rust, the latter with the obvious benefit of being able to prevent common logical race conditions like iterator invalidation too, which Val can't
I think it could be interesting in embedded programming where using the heap is a huge no no. Value semantics is the concept of passing by value instead of by reference. Mutable value semantics is value semantics with in place mutability such as You would see with references. It seems that this language prevents users from allocating heap memory while still allowing in place mutations. This is actually pretty neat something rust, to my knowledge, doesn’t provide. Basically suppose you have a struct A and you call mutate_struct_b(A). In C++ you’d have to pass a reference to A, in rust you’d have to pass a mutable reference, but if I understand correctly, this language would allow you to mutate A without any references.
Funny that Dimitri (Raccordon in this talk), was initially a colleague of mine at UNIGE. His talk about Val at CPPCON was not the best i've seen and pushing for a new language today is questionnable.
It is very bold to say the language replaces C++/Rust. Not because of how complete and robust C++/Rust are to begin with, but because of how different Val is. I suspect that she didn't really mean it replaces C++/Rust, but rather it replaces a lot of the pitfalls of higher level languages that have people running to Rust/C++ for the performance gains.
I’m glad you’re open to “this sounds like bullshit buzzwords to me.” Every now and then I noticed when something new is released and a bunch of other engineers jump the train (or want to appear to be) people start acting like they knew the importance of some random ass buzzword that was just made up. How can you know when the word itself is pretty new! The obvious cases are when people use an existing concept or word, but don’t even use it correctly. Usually this happens with “functional programming” which people conflate to having/preferring immutable variables.
Why not show people how to be better at using existing languages instead of making your own? >Proceeds to make language like Rust, but does one thing trivially better
I literally typed out this comment, "i crave new programming languages as fast as we get new javascript frameworks." but then you made the joke in the video. 😂
I realized the pet language I work on has mutable value semantics if I literally take the definitions strictest form hahahha - but had no idea what postdoc people call this shit (but its only one aspect of my lang). Tbh - when I take the written words to their face value - this is closer to my pet language than rust or zig and again mine is also focused on value semantics. I think what "mutable value semantics is" can be better understood if you think about what is value semantics: as you said if this would be C++ you would NOT use the heap and not use the NEW keyword. The word "mutable" only means that okay we have value semantics but we are not a functional language. My issue with val is probably that it is too much unnecessary academia and proglang masturbation that makes it hard to grasp what is going on - but likely theorywise I am litarally working on something that academics likely would also call mutable value semantics - but is much simpler.
I prefer academic language over all the acronyms prolific in the tech/it industry. It often makes more sense linguistically when you figure out what it means, and it becomes easier to remember after you've figured it out, because of how literal the meaning often is. I find it to be a more humble lexicon.
Local reasoning basically says: I know that if the precondition(I.e. rules for the input parameters) are met, I promise the postconditions(I.e. the output satisfy this this and this). Now that you know what this function is doing(and after you check it really does what it say it does well, say by unit testing or by an automatic formal proof), then you can compose this knowledge with another function calling this previous function. If you do it right, the story compose and you know that your whole program just works. When we say "non-local reasoning" we basically means that one part of your program uses the specific behavior of an non-tightly coupled other.
i asked AI about mutable value semantics and it basically recommended clean code. i immediately felt like i was being watched by some sort of shadowy code cabal
5:25 ohkay got it. thats what lattner said. "value semantics" is broken in java as some types (primitives) by default are passed as values, whereas object types are passed as references.
@@ThePrimeTimeagen the columns on that chart on that site explaining mvs said “multiple” value semantics and “mutable” value semantics. They didn’t say the same thing.
@@pastenml other brackets exist besides parentheses, and other data structures exist besides singly-linked lists. The syntax I'm going for will retain the prefix notation and whitespace separation of arguments, but punctuation marks will have uses, e.g. commas to denote a tuple and semicolons to denote parts of a Lua-style table (slice or map). Edit: the name will be pls, so you'd type "pls run my_script.pls" to run a script. I'm thinking of compiling to bytecode like the kool kids do and then running the bytecode in a VM/runtime kinda like Wasm, but I'm still in the phase where I write pseudocode and think about it for a while.
Wow this video is now so old Val has been renamed to Hylo. The syntax just gave me java PTSD with it's long and verbose way of writing simple programs.
FYI it is possible to create an array type that makes all inner properties readonly, one of the good things of typescript it is that it is very customizable
no metaprogramming (only a small subset of sad generics is planned), no proper concurrency sync primitives (everything is put under an async rug), hidden async flow, Java/Python style exceptions - dead on arrival. Totally not a Rust, not even an inch a C++ competitor, and if one wants to use a simple language, they'll use Lua
Rust has too much drama, so Val is the new Rust!!! When I go to the github and UNDERSTAND that "This project is written in Swift" I stopped and close the page.
There are tools to generate header files for C language files... We can rebuild him... Better than he was before... We have the technology. Except for... Jai when it comes out... That will be worth learning ;)
This article is bad, just repetitive on one thing. It's just another solution in the ocean of solutions. Which isn't a bad thing. I like having many programming languages to choose from. If one goes wild, you can use a different one (I'm looking at you Rust).
I looked at Val. It is in fact the most memory-safe language in existence that I’ve seen. Is it a Rust killer? Eeeeeehhhhhh. No. I say that for two reasons: 1. Where is the package repo for Val? And 2. There’s a whole lot of momentum behind Rust.
Hylo hasn't hit 1.0 as we are still working out the most efficient and sound form of generics system. After 1.0, we can start thinking about a package repository, or integrate with others ;)
You’re getting it a bit wrong. She’s not saying immutable. She’s just saying mutations are local and does not modify the object outside the function. Basically pass by deep copy. Tcl has this because tcl has only one type of value: strings. A list in tcl is just a space separated string of words and a dict is just a list of word pairs. She’s doing it with real structured types
Memory and type safety I'm 100% onboard, those the compiler should enforce. Adding const/mut style keywords is a bad trade-off because it significantly pollutes the code while bringing marginal gains. I would argue the percentage of bugs caused by functions mutating data without a programmer realizing are pretty small and shouldn't even be on the same list as actual issues like type safety. For example, if you work in a dynamic language like Ruby, Python, or JS, how often do you see an error because a function was called on null compared to a logic bug because of mutations? It's at least 1:1000, possibly 1:10000.
i gotta ask, how much is rust foundation drama affecting the usability & ecosystem of the language? I'm looking for another language to learn it's between rust & go, leaning towards go rn
Honestly, not much at all. I'm using it professionally 40 hours a week (not a crypto or blockchain firm, doing embedded software dev), happily chugging along, blissfully ignorant of all the drama except for when I tune into Prime's streams and vids.
3:26 Up until this point, I wondered: What the hell is mutable value semantics? Why haven’t I heard of it? My experience with Swift is limited, but I know Haskell by heart and a crapload of other languages. Apparently, I’m not alone. Good.
I just came to think of a related question I have been thinking about. What is Lua's reasoning for variables being global by default? Seems like similar errors could occur from this, like could occur not having to explicitly specify mut.
Can't wait for 'Checkmate', the language to outplay Val. Auto-complete? Try auto-imagination, it practically codes for you! And the next one? 'Deja Vu', it codes what you think! I'm bringing these to life so hard that it'll even feature as a film, soon coming to a theater screen near you. More languages, more fun! 😃
That actually sound like a thriller or horror movie where all programs for banks, electicity and everything else that needs software are managed by AI completion from imagination. A bug is introduced, but no one really knows how to debug anymore, so the economy goes to shit, you only have any power output at random times etc etc and people start turning at each other while a gang of hackers try to get into the main frame to solve it.
6:08 In C++, a std::vector has reference inside it etc., but it behaves as if it were a simple value. Two std::vector variables never share the same underlying array or something. I guess that’s what “mutable value semantics” means. It’s just confusing because of the “mutable”. Everyone with a little experience in Java or C# or whatnot knows the difference between these two. It’s actually simple: No aliasing. C# has _ref_ and you can have _ref_ things only on the stack. This is the restriction, I guess.
I do not understand how things like dependency injection will work in Val... I worry that Val will eventually end up to be another Rust where programmer spends time fighting with the compiler.
I know basically nothing about compilers, but all things considered I find it hard to believe that immutables would provide any substantial perf benefit. Couldn't the compiler just scan the function to see if it mutates if it wanted to(I know that would be kinda hard if lambdas and other things are involved)? Wouldn't even that be pointless? I think I'm gonna ask Ginger Bill about this.
We've moved from JS frameworks coming out every month to llvm languages coming out every month.
Thanks llvm😂..
hhhhhhh
I'm going to start another new language, and I'm going to call it "Work" because it'll just work. Also because it'll truly mess with HR trying to express "5 years of $LANG experience"
"We expect you to be proficient in Work, with at least 5+ years experience with Work environment and tools, and you must love Work not for the salary but just to have the opportunity to do more Work."
That's how Rockstar programming language was born
@@ivanjermakov Oh you mean PHP?
inb4 "5 years of WORKLANG experience"
This is the kind of shit my old boss would say unironically
We went from "C++ is dead" to "this new language will replace C++" really fast, huh
things happen
@@bbourbakiEvery single language makes this exact same argument. C++ doesn't provide some magical level of control. You sound like the guy who writes game engines in ASM because C or C++ "doesn't provide nearly enough control". It's not a control == better thing. It's an I like this language thing. You're making up BS objective reasoning to replace the subjective reality. Some may choose C++ because a game engine they want needs it, so they are somewhat forced (or some other reason), this is fine, but don't make up other BS to justify it.
@@bbourbakiI once worked on a project that used ANSI C for networking. The language gave us direct control over the incoming bytes, pointer casting, endianness, etc. I think it would have been more of a headache in a higher level language that obscures these details. I have also worked on porting ML projects between Python, Java, and C++ for proofs of concept, enterprise backend, and embedded systems, respectively. There's a reason each use case calls for a different language.
@@bbourbaki "require level of control" NO, you don't require that level of control (maybe your ego does, but the problem you are solving doesn't). Programming languages are abstractions.
Why don't you create your own hardware, instruction set and program it in hex code if you need that much control...
What are we now ? manually moving electrons using our minds because we're control freaks ? grow up !
C++ is full of bullshit, that bullshit is expensive as hell, and the language is so complex with the only purpose of making everything hard to master. Its not for control, it actually causes lack of control, its for job security or ego or reputation or some bullshit that has no technical merit and doesn't really matter as an engineering feature, but programmers are still human, aren't they ?... so that's basically narcissism.
TLDR; C++ control is about ego.
Language are going to be like Linux distros. The tree branches
I use NixOS btw
@@nomoredarts8918 Come back when you use Arch
brb
gonna go create a language called branch
@@nomoredarts8918that's the way
They already come with package managers now.
OMG, due to how many language killers we now have - programming might be dead 😵
That's the opposite of "dead." That's a lot of engineers thinking of different and potentially better ways to do things with code. Nothing could be more alive.
@@eksortso that`s a joke, bro 😉
@@axotellix Even with the emoji, it seemed too sincere.
True, nocode is all the rage and went from English to INI to CSV to XML to JSON to JSONP to YAML to TOML to English it seems.
Okay , i guess back to chicken farm.
The idea of value semantics is to do away with pointers (and pointer-like things). Like in Java for instance if you declare a class you'll secretly be passing around a pointer to every object, which means (as the article says) you're never quite sure if you're the only one mutating a value. Rust is very much _not_ this; the whole idea of the borrow checker is to be able to pass references around in a way that's provably safe at compile time. You need another language to do this because if you just do away with references and don't do anything else you have potentially killed performance in other ways and/or made your life harder by removing the ability to use reference semantics where it is useful.
Val is a very interesting project precisely because value semantics are the better default than references everywhere and it makes the code much easier to reason about. When you first write a Rust program and just slapping .clone() everywhere, you're acknowledging that. But in Rust that will incur a performance penalty. The whole idea is to be able to write the easy code full of clones but do away with the performance overhead.
yeah, agreed
ps: haskell ain't it either; with haskell you get the benefits of values but in haskell everything is immutable (at least notionally), and that introduces a ton of overhead.
How can clones ever be performant? Either you'll spend cycles copying megabytes of data on every function call, or have cache misses if you use tree structures to keep the data static and only store changes.
Or am I missing something?
What I'm confused about is how do you keep value semantics without copying?
Shadow data
protip: skip secondary articles unless the primary source is lacking; Val's site answers most questions.
Finally someone is putting Rust out of its misery.
just put it down already
@@ThePrimeTimeagenwasn't rust supposed to be the 1000 year language to rule them all?
@@switchblade6226 Non-programmers have infected it.
all the best engineers i know love rust lmao
@@kidmosey show me an objectively better language for building a web browser as a baseline
I appreciate the honesty more than anything. What i mean by this is you've helped make it safe for all programmers, including experienced ones to say out loud, "i just don't get it."
Often in this industry, this is used to shame or mock. You do so from a place of curiosity and learning. This approach is healthy and i hope all of our next generation programmers are watching.
This is why I'm still invested in C++, because it's a language that isn't going anywhere. There's too many languages coming out that claim to kill Rust, or C or [insert language]. I'm almost 40, and I've witnessed language hype for over 20 years, yet it's still the same players running the game. Jumping on the cool-kid bandwagon will likely leave you stranded with a flat tyer in the middle of the nowhere.
Val: "I'm compiled ahead of time to machine code"
Prime: "we just call that compiled"
*Java has left the chat*
poor java
A virtual machine is still a machine, right, eh?
Imagine someone asks what programming languages do you know and the guy says "Val, Vale, and Vala".
Valhalla
wow
** ”V, Val, Vale, and Vala”
С C ++ C# D
Lets add verse to that list for good measure.
Glad we finally got some clarity on the difference between MVS and MVS
With each passing day as an engineer -- rather than finding more answers to my questions I tend to find more questions to my questions.
11:30 actually NASA codes like this to ensure they get fewer bugs. I forget which video I watched, might've been LowLevelLearning but was pretty cool how careful they are in their code.
they also put hard limits on all loops
no recursion btw, recursion is hard
etc etc
I read some article that they had very disciplined C coding.
aircraft code, and I assume other safety related code, doesn't allocate
You're awsome man, going through some heavy stuff on my life, your videos sheer me up a lot.
Thanks Prime.
8:15 Yup, that's how things should be done. Always be more restrictive by default, and in order to allow more, you have to add more code.
That has been my philosophy since I'm using Rust. Or when I think about it, even before I started using Rust.
I defned some language for stories, where you can define something like this:
a -> b | c -> d
Which means "Scene a first, then either scene b or c, then scene d"
And if you defined "a -> b & c -> d", it means the same, but "both, scene b AND c"
But when you define both of these at once, always the less restrictive variant is used, which means, after a comes b AND c, but d only needs b OR c to be finished.
Not exactly the same, but probably similar.
I hear "new alternative to C++, Rust" and am immediately very happy. We don't have enough of those. What I wouldn't give for a language that easily allows to do the same things as C but has a syntax closer to Rust / OCaml, generics, matches and type sums.
Let's watch the video to see which boxes this one ticks haha
can’t wait for the first val foundation drama
All these new languages are also "Systems" programming languages. Why doesn't someone make the new High level "Javascript" killer? That's something I'd be excited for.
lua?
@@ThePrimeTimeagen wait, can I use Lua on frontend that is not compiling to JavaScript?
What single advantage does lua have over Js?
Microsoft tried with Typescript. JS lives on because Google and Apple don't care, and at the end of the day of the browser doesn't run it, your JS killer won't go anywhere.
Lua website has no dark mode so obviously nobody on their team cares about basic web usability.
@@Alex-kb2wsarrays start with 1
It’s been renamed as Hylo and I think it looks really cool. You get the good points from functional without the slowness, and the good points from Rust without the head-scratching of borrowing.
Me likey
I have been writing C++ for 20 years. Every year there has been a language poised to dethrone C++, it has rarely been the same languages two years in a row, but there has always been one. I suspect there will be a language poised to dethrone C++ for the next 20 year as well.
Since you are in your "new language exploration" search about Roc programming language and the talks of its creator, Richard Feldman, he uses similar semantics, but is not haskell, Haskell is lazy evaluated and this language Val sounds like strict evaluated, the same way as Roc.
Another language to check is F-star, is a language focus heavily on verification for security and other requirements
Surely at this point the actual tool to learn is LLVM.
😂fair point
New programing languages are javascript frameworks of the present.
Now, it was renamed tô Hylo programming language.
If the cargo equivalent for Val isn't named Kilmer I'm going to ignore this lang forever.
My JSON handler is named Statham. Fight me
Brilliant end! I totally resonate, I only understood that it’s something to do with mutable value semantics 😅
I wish he kept reading. It makes a lot more sense further down in the document. I don't think Val will replace Rust, but it will likely "replace" Rust in a lot of circumstances.
in summary,
In the burgeoning landscape of computer science, the paradigm-shifting programming language, Val, has emerged as an avant-garde amalgamation of cutting-edge syntactic constructs and innovative semantic underpinnings. Rooted in the fundamental principles of readability, conciseness, and expressiveness, Val transcends the traditional boundaries of programming languages through its advanced type inference mechanisms and polymorphic abstractions, allowing programmers to seamlessly navigate the intricacies of complex data structures and algorithmic optimizations. Leveraging a sophisticated Just-In-Time (JIT) compilation framework and a novel memory management model, Val manifests unparalleled runtime efficiency and memory utilization, birthing a new era of software development prowess. Its inimitable blend of functional and object-oriented paradigms empowers programmers to orchestrate intricate orchestrations of concurrent operations effortlessly, thereby granting unprecedented scalability in the age of parallel processing architectures. As the tantalizing trajectory of Val continues to unfold, it promises to catalyze a resounding transformation in the way developers craft intelligent and resource-efficient software systems for the generations to come.
Can you tell chat GPT that it's AoT?
@@Blaisem 😆 actually i prompted chatgpt to write "academic gibberish of a new programming language called val" and it give the above paragraph
@@vaisakh_km I know, but it called it JIT compiled. Shame on Chat GPT 🤣
@@Blaisem 😅 now only i noticed
Liked for the poetry up here
The higher the level, the further I feel away from my cpu where I usually experience safety and warmth.
7:47 perfectly readable font size for even at 240p - u got my like
I've looked at val before when it was announced and I was kinda disappointed
Unless I majorly misunderstood something they essentially just don't have references in favor or owned value semantics only. So when you pass a "reference" to a function you are actually declaring an in/out parameter where you pass the object in and then the function passes it back to the caller on return
What this also means is that you can't reference something outside of a function call. Storing a "reference" in an struct like in Rust is impossible, or everything needs to be implemented as atomically reference counted, copy on write, immutable data structures (Not sure anymore if they do that but I vaguely remember it)
To me this is honestly pretty boring and a lot less powerful than C++ or Rust, the latter with the obvious benefit of being able to prevent common logical race conditions like iterator invalidation too, which Val can't
Thank you for linking the article
I think it could be interesting in embedded programming where using the heap is a huge no no. Value semantics is the concept of passing by value instead of by reference. Mutable value semantics is value semantics with in place mutability such as You would see with references. It seems that this language prevents users from allocating heap memory while still allowing in place mutations. This is actually pretty neat something rust, to my knowledge, doesn’t provide. Basically suppose you have a struct A and you call mutate_struct_b(A). In C++ you’d have to pass a reference to A, in rust you’d have to pass a mutable reference, but if I understand correctly, this language would allow you to mutate A without any references.
"Close to the metal", but is it "Pedal to the metal"?
ahh man, I just started learning Rust. Now I need to start again with Val...
Val is two years away from replacing C++
lmao
Funny that Dimitri (Raccordon in this talk), was initially a colleague of mine at UNIGE. His talk about Val at CPPCON was not the best i've seen and pushing for a new language today is questionnable.
It is very bold to say the language replaces C++/Rust. Not because of how complete and robust C++/Rust are to begin with, but because of how different Val is. I suspect that she didn't really mean it replaces C++/Rust, but rather it replaces a lot of the pitfalls of higher level languages that have people running to Rust/C++ for the performance gains.
I’m glad you’re open to “this sounds like bullshit buzzwords to me.” Every now and then I noticed when something new is released and a bunch of other engineers jump the train (or want to appear to be) people start acting like they knew the importance of some random ass buzzword that was just made up. How can you know when the word itself is pretty new! The obvious cases are when people use an existing concept or word, but don’t even use it correctly. Usually this happens with “functional programming” which people conflate to having/preferring immutable variables.
prime si afraid of haskell that whenever he sees immutability, he projects his fear and calls it haskell
Val really have good logos 🤩
Why not show people how to be better at using existing languages instead of making your own?
>Proceeds to make language like Rust, but does one thing trivially better
perhaps for them, learning an existing language is more difficult than creating a new one 😂
I literally typed out this comment, "i crave new programming languages as fast as we get new javascript frameworks."
but then you made the joke in the video. 😂
you get it
I realized the pet language I work on has mutable value semantics if I literally take the definitions strictest form hahahha - but had no idea what postdoc people call this shit (but its only one aspect of my lang).
Tbh - when I take the written words to their face value - this is closer to my pet language than rust or zig and again mine is also focused on value semantics. I think what "mutable value semantics is" can be better understood if you think about what is value semantics: as you said if this would be C++ you would NOT use the heap and not use the NEW keyword. The word "mutable" only means that okay we have value semantics but we are not a functional language.
My issue with val is probably that it is too much unnecessary academia and proglang masturbation that makes it hard to grasp what is going on - but likely theorywise I am litarally working on something that academics likely would also call mutable value semantics - but is much simpler.
I prefer academic language over all the acronyms prolific in the tech/it industry. It often makes more sense linguistically when you figure out what it means, and it becomes easier to remember after you've figured it out, because of how literal the meaning often is. I find it to be a more humble lexicon.
"engineers are the worst estimators ever" it's been scientifically proven that humans are bad at time estimation and yet we still keep trying it
I think mutable value sementivs means that variables cant hold a reference
I want hard_pointers to represent what I am feeling
such hard pointers
Local reasoning basically says: I know that if the precondition(I.e. rules for the input parameters) are met, I promise the postconditions(I.e. the output satisfy this this and this).
Now that you know what this function is doing(and after you check it really does what it say it does well, say by unit testing or by an automatic formal proof), then you can compose this knowledge with another function calling this previous function.
If you do it right, the story compose and you know that your whole program just works.
When we say "non-local reasoning" we basically means that one part of your program uses the specific behavior of an non-tightly coupled other.
Maybe we need a language that designs other languages where you check boxes to include things like "mutable value semantics" in your language
i asked AI about mutable value semantics and it basically recommended clean code. i immediately felt like i was being watched by some sort of shadowy code cabal
5:25 ohkay got it. thats what lattner said. "value semantics" is broken in java as some types (primitives) by default are passed as values, whereas object types are passed as references.
thanks for converting me to neovim! i actually enjoy editing code now!
Prime is a genius.
am i?
@@ThePrimeTimeagen are u?
@@ThePrimeTimeagen waiting for PDSL
@@ThePrimeTimeagen Sorry, Prime, but you're no Tom.
@@ThePrimeTimeagen the columns on that chart on that site explaining mvs said “multiple” value semantics and “mutable” value semantics. They didn’t say the same thing.
Good thing that new languages are needed, because I'm cooking up a Lisp killer. (It is both true and a joke.)
Opting for fewer of more parentheses?
@@pastenml other brackets exist besides parentheses, and other data structures exist besides singly-linked lists. The syntax I'm going for will retain the prefix notation and whitespace separation of arguments, but punctuation marks will have uses, e.g. commas to denote a tuple and semicolons to denote parts of a Lua-style table (slice or map).
Edit: the name will be pls, so you'd type "pls run my_script.pls" to run a script. I'm thinking of compiling to bytecode like the kool kids do and then running the bytecode in a VM/runtime kinda like Wasm, but I'm still in the phase where I write pseudocode and think about it for a while.
Can I just say that anyone who says "0 cost abstraction" is not an engineer and has never seen a poorly named variable
4:10 thank you Primeagen!
Wow this video is now so old Val has been renamed to Hylo. The syntax just gave me java PTSD with it's long and verbose way of writing simple programs.
V, Val, Vala and Vale
FYI it is possible to create an array type that makes all inner properties readonly, one of the good things of typescript it is that it is very customizable
Doesn't "as const" do just that?
Really excited about Hylo.
I think what they mean is - behaves like “pass by copy” but actually is “pass by reference” unless they modify.
I move the basepointer to allocate memory...no need for calls to the os or memory manager to allocate memory for the heap.
It's also faster.
I think it's "pass by value" vs "pass by reference". Or "copy to stack" vs "pointer to stack"
I checked the language tour of Val and I must say I really liked it!
Same. I've never read language docs before and thought "this is exactly what I want" but that happened multiple times when I read the tour.
@@tacticaltaco7481 yeah the only thing holding me back at the moment is that they haven't finished the language but I still feel like giving it a go
@@kallekula84 It seems like a lot of people dislike it in the comments 🤣 I guess it will become a niche language.
no metaprogramming (only a small subset of sad generics is planned), no proper concurrency sync primitives (everything is put under an async rug), hidden async flow, Java/Python style exceptions - dead on arrival. Totally not a Rust, not even an inch a C++ competitor, and if one wants to use a simple language, they'll use Lua
Didn't we used to call this referential transparency???
“And it’s been two years.” - Yeah, I’m in this picture and I don’t like it.
Lol, the rust logo on thumbnail did look like a goat from a far xD
Rust has too much drama, so Val is the new Rust!!! When I go to the github and UNDERSTAND that "This project is written in Swift" I stopped and close the page.
Why?
academics: throw around big words until no one understands you.
We are living in an exciting time of the Cambrian Explosion of programming languages.
There are tools to generate header files for C language files... We can rebuild him... Better than he was before... We have the technology. Except for... Jai when it comes out... That will be worth learning ;)
yaya!
This article is bad, just repetitive on one thing. It's just another solution in the ocean of solutions. Which isn't a bad thing. I like having many programming languages to choose from. If one goes wild, you can use a different one (I'm looking at you Rust).
It looks bad because the writer hadn't understood either what mutable value semantics stands for 😂
in short - academic gibberish
At this point I would really appreciate someone porting borrow checker to C.
I looked at Val. It is in fact the most memory-safe language in existence that I’ve seen. Is it a Rust killer? Eeeeeehhhhhh. No. I say that for two reasons: 1. Where is the package repo for Val? And 2. There’s a whole lot of momentum behind Rust.
Hylo hasn't hit 1.0 as we are still working out the most efficient and sound form of generics system. After 1.0, we can start thinking about a package repository, or integrate with others ;)
You’re getting it a bit wrong. She’s not saying immutable. She’s just saying mutations are local and does not modify the object outside the function. Basically pass by deep copy. Tcl has this because tcl has only one type of value: strings. A list in tcl is just a space separated string of words and a dict is just a list of word pairs. She’s doing it with real structured types
Okay, the definition was pretty hard to find, as you can see I did look
Memory and type safety I'm 100% onboard, those the compiler should enforce. Adding const/mut style keywords is a bad trade-off because it significantly pollutes the code while bringing marginal gains. I would argue the percentage of bugs caused by functions mutating data without a programmer realizing are pretty small and shouldn't even be on the same list as actual issues like type safety. For example, if you work in a dynamic language like Ruby, Python, or JS, how often do you see an error because a function was called on null compared to a logic bug because of mutations? It's at least 1:1000, possibly 1:10000.
Disagree. Immutability makes passing objects around safer, and that extends to concurrency too.
'I would choose ts instead of js' and I would choose dirt over dog shit
i gotta ask, how much is rust foundation drama affecting the usability & ecosystem of the language?
I'm looking for another language to learn it's between rust & go, leaning towards go rn
Honestly, not much at all. I'm using it professionally 40 hours a week (not a crypto or blockchain firm, doing embedded software dev), happily chugging along, blissfully ignorant of all the drama except for when I tune into Prime's streams and vids.
3:26 Up until this point, I wondered: What the hell is mutable value semantics? Why haven’t I heard of it? My experience with Swift is limited, but I know Haskell by heart and a crapload of other languages. Apparently, I’m not alone. Good.
9:30 You want D where _const_ is transitive. Whatever you reach through a _const_ reference is also _const._
I love that we have Vala, Vale, and now Val.
Sounds cooler (thanks chat gpt), now we need to wait for someone smarter than us to use it first
I just came to think of a related question I have been thinking about. What is Lua's reasoning for variables being global by default? Seems like similar errors could occur from this, like could occur not having to explicitly specify mut.
5 pages of text about a programming language without a single line of code
4:05 "...differences between MVS and MVS"
Oh, cool.
Can't wait for 'Checkmate', the language to outplay Val. Auto-complete? Try auto-imagination, it practically codes for you! And the next one? 'Deja Vu', it codes what you think! I'm bringing these to life so hard that it'll even feature as a film, soon coming to a theater screen near you. More languages, more fun! 😃
That actually sound like a thriller or horror movie where all programs for banks, electicity and everything else that needs software are managed by AI completion from imagination. A bug is introduced, but no one really knows how to debug anymore, so the economy goes to shit, you only have any power output at random times etc etc and people start turning at each other while a gang of hackers try to get into the main frame to solve it.
8:42 so this is the "interior mutability" rust people talk about right? :p
6:08 In C++, a std::vector has reference inside it etc., but it behaves as if it were a simple value. Two std::vector variables never share the same underlying array or something. I guess that’s what “mutable value semantics” means. It’s just confusing because of the “mutable”. Everyone with a little experience in Java or C# or whatnot knows the difference between these two. It’s actually simple: No aliasing. C# has _ref_ and you can have _ref_ things only on the stack. This is the restriction, I guess.
At least it's not a javascript framework
The C++ substitution race began!😊
I do not understand how things like dependency injection will work in Val... I worry that Val will eventually end up to be another Rust where programmer spends time fighting with the compiler.
New libraries werent enough, they made frameworks. frameworks werent enough, runtimes. now we have new programming language every day
Read the title as: Val "The Rust" Kilmer
thanks val for explaining mutable value semantics. time to put it in my resume btw
damn we went from having 10 js frameworks per day to 10 new programming languages per day
I know basically nothing about compilers, but all things considered I find it hard to believe that immutables would provide any substantial perf benefit. Couldn't the compiler just scan the function to see if it mutates if it wanted to(I know that would be kinda hard if lambdas and other things are involved)? Wouldn't even that be pointless? I think I'm gonna ask Ginger Bill about this.
then it would compile for ages
Syntax is kinda ugly in the end!