Is the Unison codebase manager written in Unison?
What other user-facing open-source softwares have been written in Unison?
Which of those softwares has been used for months or years by at least one person?
The Unison language
131–140 of 144 posts
Re: The Unison language
#132Earlier quoted context omitted.
I want both.
That's the ideal amount of information. A reasonable example of a good page that is informative and provides lots of examples (enough at least!) is the one for D: https://dlang.org/
I also like the "Ecosystem" part of Julia: https://julialang.org/
Sadly, for some reason code samples are lacking.
Re: The Unison language
#133Earlier quoted context omitted.
I have done exactly that with a language called Pilot. It is not pure JS but based on JavaScript and all code is content addressable and indexed by the sha256 of the code
Google isn't turning up much. Is the project open source? Would love to take a look.
Sure, go to yazz.com and click on github to see the source
Re: The Unison language
#134I find the content-addressed, name-independent, immutable (kind of blockchainy) approach to source code very interesting. On the other hand this seems to be rather orthogonal to other (semantic) aspects of the language. I wonder what would happen if we would change one thing at a time to test the idea: create something like unison based on an existing popular programming language. (python, javascript, java, etc...) A…
I tried something like that in 2016 with Javascript. I parsed the source code and put every AST node on IPFS and linked it to the other node using the hashes. The problem was that this is a _lot_ of overhead...
Interesting, you have published the results/source somewhere public? Would love to take a look at it.
If you're using a language that doesn't need a AST/where the AST is the same as the source code, I'm sure we could pull out more benefits of this approach. Seems one would need a lisp or lisp-like language that is homoiconic.
Re: The Unison language
#135Very cool. Glad to see someone tackling the idea I first saw brought up by Joe Armstrong[0]. When I read his post it made so much sense, I was hoping I'd get to see someone try it. [0] https://joearms.github.io/published/2015-03-12-The_web_of_na...
from the link:
> Once we have the SHA1 name of a file we can safely request this file from any server and don't need to bother with security.
> For example, if I request a file with SHA1 cf23df2207d99a74fbe169e3eaa035e623b65d94 from a server then I can check that the data I got back was correct by computing its SHA1 checksum.
—-
that’s crazy! i’ve had the same thought myself, and wondered why no one had done something like that... i hope this becomes more and more common (though not using sha-1 ^^)
Re: The Unison language
#136Earlier quoted context omitted.
That's the ideal amount of information. A reasonable example of a good page that is informative and provides lots of examples (enough at least!) is the one for D: https://dlang.org/
I also like the "Ecosystem" part of Julia: https://julialang.org/ Sadly, for some reason code samples are lacking.
Julia is a language I love that I don't see myself using sadly. It does some amazing things that leave me shocked, like it can show you the assembly you generate while using a REPL. That's impressive to me. However, I'm not the target developer for Julia.
Edit:
Course after clicking your link, I am wondering how wrong I am since it is still technically general purpose capable. Wow Julia has grown so much!
Re: The Unison language
#137Very cool. Glad to see someone tackling the idea I first saw brought up by Joe Armstrong[0]. When I read his post it made so much sense, I was hoping I'd get to see someone try it. [0] https://joearms.github.io/published/2015-03-12-The_web_of_na...
from the link: > Once we have the SHA1 name of a file we can safely request this file from any server and don't need to bother with security. > For example, if I request a file with SHA1 cf23df2207d99a74fbe169e3eaa035e623b65d94 from a server then I can check that the data I got back was correct by computing its SHA1 checksum. —- that’s crazy! i’ve had the same thought myself, and wondered why no one had done somethin…
There is bunch of systems implementing things like this, commonly referred to as "content-addressable storage" as the address of the content is based on the content itself. See https://en.wikipedia.org/wiki/Content-addressable_storage
Re: The Unison language
#138Earlier quoted context omitted.
from the link: > Once we have the SHA1 name of a file we can safely request this file from any server and don't need to bother with security. > For example, if I request a file with SHA1 cf23df2207d99a74fbe169e3eaa035e623b65d94 from a server then I can check that the data I got back was correct by computing its SHA1 checksum. —- that’s crazy! i’ve had the same thought myself, and wondered why no one had done somethin…
There is bunch of systems implementing things like this, commonly referred to as "content-addressable storage" as the address of the content is based on the content itself. See https://en.wikipedia.org/wiki/Content-addressable_storage
that’s really cool, thanks for the link
Re: The Unison language
#139Earlier quoted context omitted.
I also like the "Ecosystem" part of Julia: https://julialang.org/ Sadly, for some reason code samples are lacking.
Julia is a language I love that I don't see myself using sadly. It does some amazing things that leave me shocked, like it can show you the assembly you generate while using a REPL. That's impressive to me. However, I'm not the target developer for Julia. Edit: Course after clicking your link, I am wondering how wrong I am since it is still technically general purpose capable. Wow Julia has grown so much!
Out of curiosity, what sort of development do you do? Julia is a very flexible language. The majority of its community is still focused on numerical scientific computing, but it's great for all sorts of usecases these days.
The way I think of it, in order to build a language that was flexible enough to cover all these different weird needs you find in the scientific computing community, they ended up needing to build a general purpose language.
Re: The Unison language
#140Earlier quoted context omitted.
Small code samples tell me next to nothing. How could they. I want a clear explanation of the foundational aspects.
How can you choose a language without knowing the syntax? It's not arbitrary. Some languages have elegance or gotchas in how the syntax is laid out
Arguably, the syntax is the simplest thing one can change in a language, by creating a wrapper (like there are, as evoked in this thread, such wrappers around OCaml for instance.)
Francky, syntax has little to no incidence about how well a given language fits a domain problem, and in my experience the only thing syntax is really important to, is how attractive the language is to programmers who judge languages by their cover.
I remember having read somewhere that the initial versions of lisp where missing an actual syntax, and that it was planned to add one later, but that until then users would have to write directly the AST in an ugly syntax full of parentheses and devoid of familiar syntactic landmarks. Well, time passed, an nobody cared enough to add that user friendlier syntax :)