ic
Normand
Sent: Monday, December 11, 2017 4:12:37 PM
To: Clojure
Subject: Re: Immutable names of things?
Hi Didier,
Are you familiar with Unison (http://unisonweb.org/)? It has this same feature.
Functions are named by a hash of their code (the AST). Names refer to hashes.
So if you want to reco
What if the code segments were hashed by zipper coordinates instead of
line-column location? I like this idea of structurally navigating the code
as an AST of EDN :)
John
On Mon, Dec 11, 2017 at 7:55 PM, John Newman wrote:
> This might be a step towards a more clojury way: http://blog.datomic.c
This might be a step towards a more clojury way:
http://blog.datomic.com/2012/10/codeq.html
John
On Mon, Dec 11, 2017 at 7:53 PM, Didier wrote:
> I'll have a look at all these other projects, its very interesting. Unison
> seems to embody the spirit or Richs talk about never changing anything t
I'll have a look at all these other projects, its very interesting. Unison
seems to embody the spirit or Richs talk about never changing anything too.
I guess I was trying to think how could you bring some of this to Clojure.
And in a way, if the constructs like functions had an id and a name, y
Hi Didier,
Are you familiar with Unison (http://unisonweb.org/)? It has this same
feature. Functions are named by a hash of their code (the AST). Names refer
to hashes. So if you want to recompile a function, you can optionally
choose newer versions of all of the functions. But changing a funct
I think it's a great idea and it may even be a missing piece in the 'Grow,
not Break' approach https://youtu.be/oyLBGkS5ICk?t=1946 , namely to the
problem that good names are hard to come by.
Suppose a library author wants to make a breaking change to some function.
They change the doc-name of
No, this is an excellent idea.
Joe Armstrong is probably the most notable modern figure to have written
and talked about making code content-addressable, with chunks of code (I
forget the granularity he proposed, probably top-levels?) having names as
metadata. IIRC, first at https://www.youtube
Warning: This is the spawn of an idea, not very well refined, and that is
little extravagant.
I've been doing some hammock time, and I've been thinking that names in a
programming language are kind of a complecting of two things, the human
readable form, and the machine identifier. What if a fu
