zawodnaya

5 ms·

1.
by zawodnaya 2y ago
Yes, unison detects this condition when it occurs and tells you about it.
2.
by zawodnaya 3y ago
Or like a whole language to handle them
3.
by zawodnaya 3y ago
Unison doesn't have type classes yet, no
4.
by zawodnaya 3y ago
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 of Unison Cloud (like the part that actually hosts your Uniso
5.
by zawodnaya 3y ago
There is source control on https://share.unison-lang.org/
6.
by zawodnaya 4y ago
It’s a binary-encoded merkle tree
7.
by zawodnaya 4y ago
It’s bytecode
8.
by zawodnaya 4y ago
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 can’t be made automatically because it breaks stuff, then UCM
9.
by zawodnaya 4y ago
Yeah, Unison doesn’t just infer the types, it will add type signatures automatically to top-level definitions.
10.
by zawodnaya 4y ago
Yes, Unison is a purely functional language.
11.
by zawodnaya 4y ago
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 sure of resource cleanup, you should use something like th
12.
by zawodnaya 4y ago
The latter.
13.
by zawodnaya 4y ago
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 (and the address of any given code in that space is th
14.
by zawodnaya 4y ago
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 use some kind of global lookup table (which would need to
15.
by zawodnaya 4y ago
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 will be others. So you can imagine on https://s
16.
by zawodnaya 4y ago
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 sounds. Unison is a purely functional language, so
17.
by zawodnaya 4y ago
Smalltalk had a lot of good ideas!
18.
by zawodnaya 4y ago
Well, there is a relationship. The relationship is specifically that Unison nodes can communicate code with one another unambiguously by exchanging hashes.
19.
by zawodnaya 4y ago
What's an example of a pretty language?
20.
by zawodnaya 4y ago
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 has a large operational footprint. It's also lamenta
21.
by zawodnaya 5y ago
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.unison-lang.org/ where you can l
22.
by zawodnaya 7y ago
This is the right idea. Conceptually there are conflicts which get resolved in the Unison tooling, but you will never get Git conflicts.
23.
by zawodnaya 7y ago
Unison is in alpha testing, so it's not used anywhere yet.
24.
by zawodnaya 12y ago
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.