News for hackers. Stuff that matters.
Re:A look at Unison: a revolutionary programming language by naikrovek on Tuesday January 10, 2023 @09:43PM (#34334438)
JavaScript doesn't have a build step either. sounds like it is interpreted and you reference methods by hash instead of by name. sorta?
Re:A look at Unison: a revolutionary programming language by __MatrixMan__ on Wednesday January 11, 2023 @12:26AM (#34335303)
I'm not an expert at JS internals, but I'm under the impression that if you call a function ten times, its code has to be interpreted ten times, so you get ten, temporary, abstract syntax trees. Such is life in interpreter-land--the code is authoritative, the instructions are ephemeral.

My impression of Unison is that if you want to call a function ten times, you just need to evaluate that code into an AST once. Once you have the hash of that AST, you can delete the code and still call the function 9 more times without having to bother with building the tree each time.

I don't know what to call it, but I don't think it's interpreted because you don't need the code to run it (except the first time, which is how you know find the hash of the function).

Re:A look at Unison: a revolutionary programming language by goto11 on Wednesday January 11, 2023 @01:35AM (#34335750)
> I'm not an expert at JS internals, but I'm under the impression that if you call a function ten times, its code has to be interpreted ten times, so you get ten, temporary, abstract syntax trees.

This is not the case even in an interpreted language. You only need to build an AST once, at parse time. In JavaScript the AST is then compiled into byte code or machine code depending on the implementation.

Re:A look at Unison: a revolutionary programming language by __MatrixMan__ on Wednesday January 11, 2023 @02:06AM (#34335892)
Sorry, let me rephrase.

In JS, if 1 developer and 9 users with a total of 10 separate browser instances all call the same function, the code will be parsed 10 times.

In Unison, the AST is generated by the developer, cached, and the 9 users can call it by hash (assuming they have access to that database where the AST lives) without reparsing the code.

Re:A look at Unison: a revolutionary programming language by goto11 on Wednesday January 11, 2023 @11:28AM (#34340269)
So the AST is transferred over the wire? How is it serialized?
Re:A look at Unison: a revolutionary programming language by zawodnaya on Wednesday January 11, 2023 @06:47PM (#34346804)
It’s a binary-encoded merkle tree
Re:A look at Unison: a revolutionary programming language by __MatrixMan__ on Wednesday January 11, 2023 @11:41PM (#34349302)
It's in a sqlite database. Unison doesn't prescribe how those are passed around, but since everything is content addressed there are never any collisions. You can always merge two of them into one without having to resolve conflicts and without breaking anything.

The way I intend to use it is that users periodically fetch the codebases from all of the developers that they trust. This has no immediate effect because you're still calling the same function that you're used to. So the sync can be very latency tolerant.

Then, when you decided to use the new version of something, you call the new hash. If something goes wrong, you just go back to calling the old hash--atomic upgrade/downgrades, no merge conflicts.

Re:A look at Unison: a revolutionary programming language by osigurdson on Wednesday January 11, 2023 @12:34AM (#34335363)
I think the compiled form is associated with the hash of the source. It can’t be machine code though.
Re:A look at Unison: a revolutionary programming language by zawodnaya on Wednesday January 11, 2023 @06:45PM (#34346785)
It’s bytecode
Re:A look at Unison: a revolutionary programming language by osigurdson on Wednesday January 11, 2023 @10:51PM (#34348960)
Does it require a jit then or more like llvm?
Re:A look at Unison: a revolutionary programming language by brabel on Wednesday January 11, 2023 @02:32AM (#34336036)
JS doesn't type check, generate an AST, or even minifies anything until the user runs the code. If you just write JS in notepad then immediately send it over to your users, then yeah, there's no build in JS.

But if your idea of writing software involves:

* type checking, linting and otherwise ensuring properties of the code before even running it.

* testing code before deploying it.

* turning it from text into a representation that's more compact and safer to run.

* generating documentation.

Then you'll definitely need a build, and a very complex one for that matter, in JS world. Have you ever seen a JS project without any sort of build in a professional context?

And you'll need a big IDE to help you make sense of anything because JS doesn't even have a "compiler" or "helper tool" that'll give you any help to navigate and understand the code base.

Re:A look at Unison: a revolutionary programming language by zdragnar on Wednesday January 11, 2023 @10:18AM (#34339361)
> Have you ever seen a JS project without any sort of build in a professional context?

Imagine a world that pre-dates typescript, node, webpack, browserify, gulp, grunt. You were lucky if you had a server framework that concatenated files for you, otherwise you were stuck with 6000+ line "global.js" files. Then you had to fix merge conflicts in that file because SVN.

Whenever someone complains that frontend JS is too much, I just think back to how it used to be.