Viewing profile — zawodnaya

Yes, unison detects this condition when it occurs and tells you about it.

Or like a whole language to handle them

Unison doesn't have type classes yet, no

The language and all the libraries are open source. The storage layer API is open-source as well though the implementation is proprietary, as is the implementation of other parts o…

There is source control on https://share.unison-lang.org/

It’s a binary-encoded merkle tree

It’s bytecode

The UCM tool propagates the changes for you automatically. It also creates a patch that you can distribute with your release to update any dependents automatically. If the change c…

Yeah, Unison doesn’t just infer the types, it will add type signatures automatically to top-level definitions.

Yes, Unison is a purely functional language.

This is true, if you write `bracket` for e.g. `Exception`, then you can break out of the bracket with `abort` if your bracket doesn't handle aborts. So if you want to be really sur…

The latter.

An issue with exchanging WASM is you'll have to do either dynamic or static linking of dependencies. Unison works around this by having all definitions share a global address space…

Well, it could be done in JS or Lisp. You'd have to replace all the references to dependencies in every function with a hash of the implementation of the referenced function and us…

Good news: the surface syntax of Unison is totally arbitrary and can in practice be swapped out. There's currently only one (Haskell-like) syntax, but in future I imagine there wil…

You can simply expose an HTTP endpoint that receives the data. You wouldn't want to expose the internode protocol endpoint to the internet. That said, it wouldn't be as bad as it s…

Smalltalk had a lot of good ideas!

Well, there is a relationship. The relationship is specifically that Unison nodes can communicate code with one another unambiguously by exchanging hashes.

What's an example of a pretty language?

Well, Spark does allow you to accomplish distributed workloads for certain forms of computation. But it's limited to those forms of computations (streaming, map-reduce). It also ha…

In practice it's a lot less annoying than navigating a file hierarchy and looking in text files that have a lot of things other than what you're looking for. See also https://share…

This is the right idea. Conceptually there are conflicts which get resolved in the Unison tooling, but you will never get Git conflicts.

Unison is in alpha testing, so it's not used anywhere yet.

This may not be a very useful method for IMDB. If you follow this method you will be watching a lot of documentaries and movies made before 1970.