Viewing profile — pchiusano

Use Unison Share, it's great for all that! https://share.unison-lang.org/ It's open source, you can create a free account with GitHub OAuth, and you can push projects there and col…

Thanks for this report. The tooling takes a little getting used to but it’s extremely powerful. Here are a few benefits you’ll see - UCM keeps a perfect incremental compilation cac…

Thanks! I am not 100% sure the origin of the idea but I do remember being influenced by git and Nix. Basically "what if we took git but gave individual definitions a hash, rather t…

You can gradually adopt Unison, it's not all or nothing. It's true that when programming in Unison, you use Unison's tooling (which is seriously one of the best things about it), b…

Mobile or browser clients talk to a Unison backend services over HTTP, similar to any other language. Nothing fancy there.[1] > sending code over the network to be executed elsewhe…

That depends. What are you wanting to accomplish more broadly with the integration? I'll mention a couple things that might be relevant - you could have the git repo reference a br…

Unison code is published on https://share.unison-lang.org/ which is itself open source (it's a Haskell + postgres app), as is the language and its tooling. You can use Unison like …

We do have an FFI now! https://github.com/unisonweb/unison/pull/6008 It's very recent and we'll be adding more types to it soon, this first PR was just focused on the core machiner…

Yes, we have a way of hashing literally all values in the language, including arbitrary data types, functions, continuations, etc. For instance, here, I'm hashing a lambda function…

Erlang is great and was one inspiration for Unison. And a long time ago, I got a chance to show Joe Armstrong an early version of Unison. He liked the idea and was very encouraging…

https://www.unison-lang.org/docs/the-big-idea/ might be a good starting point! For interesting usage - we built Unison Cloud (a distributed computing platform) with the Unison lang…

Also, hi, I'm one of the language creators, feel free to ask any questions here!

The Unison language supports algebraic effects and optimizes handlers that call their continuation at most once in tail position (we call these "affine"), so you can have the best …

If I understand your question, this would work much the same way as any other language. Suppose you have: allocationPolicy = 23484 -- two usages of allocationPolicy foo = allocatio…

I know what you mean with those other tools, but this doesn't happen in Unison. The reason those systems are somewhat flaky is that the cache of what's in memory can diverge from t…

Hi there, I'm one of the creators of Unison, feel free to AMA!

The language is open source. See this reply re: self-hosting https://news.ycombinator.com/item?id=39293568

Hi, one of the Unison creators here. We've held off working on FFI until the JIT compiler[1] is completed since FFI is closely connected to the runtime. There's some interesting su…

Thanks for this feedback. We will get there!

No worries! It is true that tech exists that try to make all 3 of those items easier. YMMV, but having used these technologies myself and now having used Unison + Unison Cloud, all…

Yes, I think Deno's a decent analogue for what we're doing, though the Unison language provides some additional superpowers that we find essential. The https://www.unison.cloud/our…