stevensonmt

stevensonmt

I recently came across the Unison programming language. Their “big idea” of Unison is hashing every definition and syntax tree. This seemed reminiscent of something Joe Armstrong mentioned in a talk about doing away with URLs and so forth. I can’t remember which talk it was exactly. If anyone else knows which talk that was I’d like to rewatch it to see if there’s any real connection.

Unison appears to lean heavily on Haskell, but I wonder if this approach is something that BEAM languages might leverage as well.

Showing Posts 1 to 3

ken-kost

ken-kost

Shout out to shout out by José :raised_hands: Unison
Might try to solve an aoc challenge with it since they’re promoting it. :santa:

joelpaulkoch

joelpaulkoch

I played around with unison some time ago. Super interesting ideas, especially the core idea of hashing definitions but also the effect system (“abilities” ? :thinking:)

If I remember correctly they didn’t went with an open source license because they imagined it to be tightly integrated with a runtime cloud environment and raised money to realize that. Do you know if that’s still the case?

— All posts loaded —

Where Next? Top

Trending in Discussions Top

AstonJ
As the title says, please share what you’ve been up to with Elixir. Whether that’s been learning it, looking into it, making stuff with i...
2977 94592 917
New
cblavier
Hey there, It’s been more than a year since we started using LiveView as our main UI library and building a whole library of UI componen...
New
mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
New
heathen
Quite interesting article Google brought me. Didn’t find any mentions about it here. What do you think in general? Would you use togethe...
New
mhanberg
Hi everyone! The first release candidate for the Expert language server project is now available! We’ve published a press release detai...
New
AstonJ
Since we have deprecated our Erlang sections (as we have dedicated Erlang Forums now) let’s add this thread for those who’d like to post ...
New
Null-logic-0
What IDE or editor are you using for Elixir development? Personally, I use Zed, and I really like it, but sometimes I wish there were a ...
New

Other Trending Topics Top

JesseHerrick
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
marciok
Hi there! We created Gust: A task orchestrator inspired by Airflow. For those who have never heard about Aiflow, it’s a Python-based wor...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
Dmk
Xamal is a deployment tool for Elixir apps that deploys native releases to bare metal servers over SSH. It’s a port of GitHub - basecamp/...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
webofbits
With AI doing more of the implementation work, I’ve been wondering how much coding I should deliberately keep doing myself. My main conc...
#ai
New

Latest on Elixir Forum

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews